¬

Definition from Wiktionary, the free dictionary
(Redirected from )
Jump to: navigation, search
¬ U+00AC, ¬
(LaTeX: \neg)
NOT SIGN
«
[U+00AB]
Latin-1 Supplement
[U+00AD]
U+FFE2, ¬
FULLWIDTH NOT SIGN

[U+FFE1]
Halfwidth and Fullwidth Forms
[U+FFE3]

Translingual[edit]

Etymology[edit]

Introduced by Arend Heyting in “Die formalen Regeln der intuitionistischen Logik” (1930)[1]

Symbol[edit]

¬

  1. (logic) not
    (x ≠ y) ↔ ¬(x = y)

Usage notes[edit]

Synonyms[edit]

References[edit]