In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22B2 (NORMAL SUBGROUP OF).
Collapse vartriangleleft to the more common lhd character.
\vartriangleleft \lhdIn Relations103
All 103 in RelationsThe ⊲ symbol (Normal subgroup of, U+22B2), written as \vartriangleleft in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22B2 (NORMAL SUBGROUP OF).
Collapse vartriangleleft to the more common lhd character.
\vartriangleleft \lhd