¬
Not Sign (¬)
Copy and paste the not sign ¬ — click the button or any variant below
Not Sign Copy and Paste
Click any symbol below to copy it to your clipboard instantly.
¬
Not Sign
Copied!
~
Tilde
Copied!
!
Exclamation Mark
Copied!
About the Not Sign
Last reviewed on October 1, 2026
The not sign ¬ is logical negation: ¬P is true exactly when P is false. Programming languages usually write it as ! or ~ instead.
Where ¬ is used
- Propositional and predicate logic (¬P, ¬(A ∧ B)).
- Boolean algebra and digital logic.
- On many European keyboards ¬ has its own key, next to 1 on UK layouts.
Related characters
Browse the full Mathematical Symbols list, or pick a sibling character from the grid below.
How to Type the Not Sign
Windows: Hold Alt and type 0172 (or Alt+170) on the numeric keypad
Mac: Press Option+L
Microsoft Word: Type 00AC then press Alt+X to convert it into ¬
LaTeX: \neg in math mode
HTML: Use the entity ¬ or the numeric code ¬
Phone & tablet: Copying ¬ from this page is fastest — see our mobile typing guide for keyboard tricks
Not Sign Code for HTML, CSS & JavaScript
HTML: ¬
CSS: content: '\00AC';
JavaScript: '\u00AC'
Unicode: U+00AC
Frequently Asked Questions
How do I type the not sign ¬ on Windows?
Hold Alt and type 0172 (or Alt+170) on the numeric keypad. You can also copy ¬ straight from this page — it pastes into any app.
How do I type ¬ on a Mac?
Press Option+L.
What is the Unicode and HTML code for the not sign?
The not sign is Unicode code point U+00AC. In HTML, use ¬ or the numeric reference ¬.
How do I write ¬ in LaTeX?
Use \neg in math mode, for example $\neg$.