This is LaTeX code:

[latex]
f:[1,+\infty> \to [0,+ \infty>
[/latex]