Source TeX:
F:I \longrightarrow \mathbb{R}