GlyphIndexSingle proposition
If P means “the list is empty,” ¬P means “the list is not empty.”
The negation applies to the defined statement.
Logical-not sign
Logical not ¬ negates the statement that follows it. Parentheses make the scope clear in a compound expression such as ¬(P ∧ Q).
NOT SIGN
Appearance can vary by font.
Character details
♡→✦
3 code pointsMeaning and context
Logical not ¬ negates the statement that follows it. Parentheses make the scope clear in a compound expression such as ¬(P ∧ Q).
How to use it
Use parentheses around a compound statement after ¬. This distinguishes negating the whole expression from negating only its first part.
Examples
Compound scope
¬(P ∧ Q)
This negates the combined and-expression, not just P.
Similar shapes, different characters
Exclamation mark
U+0021Its programming or factorial meaning depends on context.
Not-equal
U+2260This negates equality specifically rather than any proposition.
DetailsSources and method
- Unicode 18.0.0 character database — Pinned standard character identities and properties; the application computes UTF encodings from the original text.
- Unicode character code charts — Reference glyphs are not a guarantee of the appearance in a user’s font.