Fuente TeX:
f : A \to B