This is LaTeX code:

[latex]
f:[a, b] \to A
[/latex]