This is LaTeX code:

[latex]

{\sf Int} \, A = A

[/latex]