In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+00AC (NOT SIGN).
Collapse lnot to the standard neg character.
\lnot \negThe ¬ symbol (Not sign, U+00AC), written as \lnot in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+00AC (NOT SIGN).
Collapse lnot to the standard neg character.
\lnot \neg