¬

¬ U+00AC, ¬ NOT SIGN ← « [U+00AB] Latin-1 Supplement → [U+00AD]

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

¬

1. (logic) not

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

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

• ~, !