TeX source:

f: A \rightarrow A