Not Sign

A symbol from the Math Symbols collection. Click the symbol or the button below to copy.

Symbol: ¬
Unicode: U+00AC
HTML entity: ¬
Category: Math Symbols

Export

Download Not Sign as a vector SVG or a raster PNG.

PNG size

SVG uses the system font stack — open in any vector editor and convert to outlines if needed. PNGs have a transparent background.

44 of 58 in the math symbols collection

About the not sign symbol

Representing a fundamental concept in logic, the ¬ symbol is formally known as the Not Sign. It is typically read as "not" or "logical negation." Though it originates from the Latin 1 Supplement block and belongs to the Common script, it is most frequently recognized globally as a specialized punctuation mark for formal systems. The character consists of a short horizontal stroke with a small downward-pointing tail at the right end, distinguishing it from a standard hyphen or dash.

In contemporary writing, this character is primarily categorized among math symbols. It is used extensively in symbolic logic and computer science to indicate that a following proposition is false. For instance, in mathematical proofs, it precedes a statement to flip its truth value. Beyond academic settings, programmers sometimes employ it in specific coding environments or legacy systems to denote negation. It also appears in formal philosophy and linguistics to diagram complex arguments and structural meanings.

How to type Not Sign

Native keyboard shortcuts for each operating system — derived from the codepoint, so the steps below are always accurate.

Windows

2 options

Hold Alt and type 0172 on the numeric keypad, then release Alt.
Or, in Word: type 00AC then press Alt + X.

Numeric keypad required (laptops: enable Num Lock or use Fn).

macOS

2 options

Enable “Unicode Hex Input” in System Settings → Keyboard, then hold Option and type 00AC.
Or: Control + Command + Space opens the Character Viewer — search by name.