In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+25C3 (WHITE LEFT-POINTING SMALL TRIANGLE).
\triangleleftSymbol
The ◃ symbol (White left-pointing small triangle, U+25C3), written as \triangleleft in LaTeX math mode.
The ◃ symbol (White left-pointing small triangle, U+25C3), written as \triangleleft in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+25C3 (WHITE LEFT-POINTING SMALL TRIANGLE).