This is LaTeX code:

[latex]

 H_1 \unlhd H 

[/latex]