¬

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

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

Contents

TranslingualEdit

EtymologyEdit

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

SymbolEdit

¬

1. (logic) not

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

Usage notesEdit

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

SynonymsEdit

• ~, !

ReferencesEdit