¬ 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)[1]

SymbolEdit

¬

  1. (logic) not
    (x ≠ y) ↔ ¬(x = y)

SynonymsEdit

Usage notesEdit

ReferencesEdit

  1. ^ http://jeff560.tripod.com/set.html