In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22B4 (NORMAL SUBGROUP OF OR EQUAL TO).
Collapse unlhd to the descriptive trianglelefteq character.
\unlhd \trianglelefteqThe ⊴ symbol (Normal subgroup of or equal to, U+22B4), written as \unlhd in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22B4 (NORMAL SUBGROUP OF OR EQUAL TO).
Collapse unlhd to the descriptive trianglelefteq character.
\unlhd \trianglelefteq