TeX source:
f: \mathbb{R} \to \mathbb{R}