¬

See also: ㄱ

¬ U+00AC, ¬
NOT SIGN
← «
[U+00AB] 		Latin-1 Supplement →
[U+00AD]
Character variations
￢ U+FFE2, ￢
FULLWIDTH NOT SIGN
← ￡
[U+FFE1] 		Halfwidth and Fullwidth Forms ￣ →
[U+FFE3]

Translingual

Etymology

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

Symbol

¬

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

Usage notes

Synonyms

References

  1. ^ http://jeff560.tripod.com/set.html
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.