¬

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

Symbol

 * 1)  not
 * (x ≠ y) ↔ ¬(x = y)

Usage notes

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