In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22CC (RIGHT SEMIDIRECT PRODUCT).
\rightthreetimesSymbol
The ⋌ symbol (Right semidirect product, U+22CC), written as \rightthreetimes in LaTeX math mode.
The ⋌ symbol (Right semidirect product, U+22CC), written as \rightthreetimes in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22CC (RIGHT SEMIDIRECT PRODUCT).