TeX-källa:

f: X\to Y