TeX source:
f\colon A \to f[A]