In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22EA (NOT NORMAL SUBGROUP OF).
\ntriangleleftSymbol
The ⋪ symbol (Not normal subgroup of, U+22EA), written as \ntriangleleft in LaTeX math mode.
The ⋪ symbol (Not normal subgroup of, U+22EA), written as \ntriangleleft in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22EA (NOT NORMAL SUBGROUP OF).