In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22B3 (CONTAINS AS NORMAL SUBGROUP).
Collapse vartriangleright to the more common rhd character.
\vartriangleright \rhdIn Relations103
All 103 in RelationsThe ⊳ symbol (Contains as normal subgroup, U+22B3), written as \vartriangleright in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22B3 (CONTAINS AS NORMAL SUBGROUP).
Collapse vartriangleright to the more common rhd character.
\vartriangleright \rhd