¬

¬

¬ U+00AC, ¬ (LaTeX: \eg) NOT SIGN ← « [U+00AB] Latin-1 Supplement → [U+00AD]

￢ U+FFE2, ￢ FULLWIDTH NOT SIGN ← ￡ [U+FFE1] Halfwidth and Fullwidth Forms ￣ → [U+FFE3]

Translingual

Etymology

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

Symbol

¬

1. (logic) not

   (x ≠ y) ↔ ¬(x = y)

Usage notes

• When used in a symbolic logic context, this symbol can be called tilde.

Synonyms

• ~, !

References

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