This is LaTeX code:
[latex]
f:[a, b] \to A
[/latex]