Definify.com

Definition 2024

¬

¬

¬	U+00AC, ¬ (LaTeX: `\neg`) NOT SIGN

← «
[U+00AB]

Latin-1 Supplement

→
[U+00AD]

Translingual

Symbol

¬

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

Synonyms

~, !

Usage notes

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

References

↑ http://jeff560.tripod.com/set.html