In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22B5 (CONTAINS AS NORMAL SUBGROUP OR EQUAL TO).
Collapse trianglerighteq to the more common unrhd character.
\trianglerighteq \unrhdIn Relations103
All 103 in RelationsThe ⊵ symbol (Contains as normal subgroup or equal to, U+22B5), written as \trianglerighteq in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22B5 (CONTAINS AS NORMAL SUBGROUP OR EQUAL TO).
Collapse trianglerighteq to the more common unrhd character.
\trianglerighteq \unrhd