This is LaTeX code:
[latex]
f : \mathbb{R} \to [0, +\infty \rangle
[/latex]