Not Sign
On Windows, hold Alt and type 0172 on the numeric keypad to insert not sign.
- Alt code
- Alt+0172
- HTML entity
- ¬
- Unicode
- U+00AC
About this symbol
The not sign means “not” in logic: ¬p reads as “not p”. The Dutch mathematician Arend Heyting introduced it in 1930, and it was one of the few logic symbols to reach early computer character sets.
Unicode facts
- Official name
- NOT SIGN
- Also called
- Angled dash (in typography)
- Type
- Maths symbol
- Unicode block
- Latin-1 Supplement
- Unicode group
- Latin-1 punctuation and symbols
- Added in
- Unicode 1.1 (1993)
Click the symbol or any value at the top of the page to copy it. See the full Windows Extended Codes: 0128 to 0255 chart for related characters.