Last modified on 25 October 2014, at 15:41

¬

Character ¬
Unicode name NOT SIGN
Code point U+00AC
Unicode block Latin-1 Supplement
LaTeX input \neg
« [U+00AB] [U+00AD]

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