In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22A5 (UP TACK).
See also#
\backslashbase\lnotbase\negbase
The ⊥ symbol (Up tack, U+22A5), written as \bot in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22A5 (UP TACK).
\backslash base\lnot base\neg base