In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+2280 (DOES NOT PRECEDE).
The ⊀ symbol (Does not precede, U+2280), written as \nprec in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+2280 (DOES NOT PRECEDE).