TeX source:
f\colon A\to B