In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22B5 (CONTAINS AS NORMAL SUBGROUP OR EQUAL TO).
The ⊵ symbol (Contains as normal subgroup or equal to, U+22B5), written as \unrhd in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22B5 (CONTAINS AS NORMAL SUBGROUP OR EQUAL TO).