¬

¬ U+00AC, ¬ 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)

Symbol

¬

1. (logic) not

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

Usage notes

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

Synonyms

• ~, !