¬

Definition from Wiktionary, the free dictionary
Jump to: navigation, search
Character ¬
Unicode name NOT SIGN
Code point U+00AC
Unicode block Latin-1 Supplement
LaTeX input \neg
« [U+00AB] [U+00AD]

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)

Synonyms[edit]

Usage notes[edit]

References[edit]

  1. ^ http://jeff560.tripod.com/set.html