This is LaTeX code:

[latex]
x_1 :\mathbb{R} \to \mathbb{R}
[/latex]