Logical Not

Type it

Ways to write the Logical Not symbol
UnicodeU+00AC
LaTeX\neg
HTML entity¬
Character¬

Meaning

Reverses the truth value of a statement: true becomes false and false becomes true. Compare with Logical And and Logical Or.

How to read it

¬P

is read “not P”.

More Logic symbols