TeX source:

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