In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22B3 (CONTAINS AS NORMAL SUBGROUP).
The ⊳ symbol (Contains as normal subgroup, U+22B3), written as \rhd in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22B3 (CONTAINS AS NORMAL SUBGROUP).