Source TeX:

f : A \rightarrow B