TeX source:
f\colon A \to B