This is LaTeX code:

[latex]
 
a \trianglelefteq a = a
 
[/latex]