In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+00F7 (DIVISION SIGN).
See also#
\divcommand
The ÷ symbol (Division sign, U+00F7), written as \div in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+00F7 (DIVISION SIGN).
\div command