This is LaTeX code:
[latex]
a \trianglelefteq a = a
[/latex]