Binary operators\lnot

\lnotSymbol

The ¬ symbol (Not sign, U+00AC), written as \lnot in LaTeX math mode.

\lnot
Available in
base
Allowed mode
math
Frequency
<0.01% of corpus formulasrank 238 of 474
Glyph
¬
Unicode
U+00AC · NOT SIGN

In TeXForm#

TeXForm parses this entry as a character leaf mapped to U+00AC (NOT SIGN).

base/lnot-to-negfrom Authoringrender

Collapse lnot to the standard neg character.

\lnot \neg

See also#

All 76 in Binary operators