In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22EC (NOT NORMAL SUBGROUP OF OR EQUAL TO).
\ntrianglelefteqSymbol
The ⋬ symbol (Not normal subgroup of or equal to, U+22EC), written as \ntrianglelefteq in LaTeX math mode.
The ⋬ symbol (Not normal subgroup of or equal to, U+22EC), written as \ntrianglelefteq in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22EC (NOT NORMAL SUBGROUP OF OR EQUAL TO).