¬

Character	¬ U+00AC, ¬
Name	NOT SIGN
Block	Latin-1 Supplement
LaTeX input	\neg
← « [U+00AB] [U+00AD] →

Contents

TranslingualEdit

EtymologyEdit

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

SymbolEdit

¬

1. (logic) not

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

SynonymsEdit

• ~, !

Usage notesEdit

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

ReferencesEdit