SYMBOL
¬ negation
Unicode information
negationNOT SIGNU+00AC¬¬\00ac\u00ACMath17.0Meaning of ¬ negation
The ¬ character is listed as negation in SymbolDex. Its technical Unicode name is NOT SIGN. It is associated with mathematical notation; its exact function depends on the formula or notation system in which it appears.
Common uses
- Mathematical formulas and expressions.
- Scientific, technical or educational documentation.
- Unicode text that requires this specific notation.
How to type ¬ on Windows, Mac and mobile
Windows
The universal method is to use Copy on this page and paste ¬. On Windows 10/11 you can press Win + . and browse the Symbols section, or open Character Map (charmap) to locate characters supported by your fonts.
Mac
Press Control + Command + Space to open Character Viewer, search for negation, then double-click it to insert the character.
Microsoft Word
Type 00AC without U+, then immediately press Alt + X. Word converts the code into ¬. You can also use Insert → Symbol.
Google Docs
Open Insert → Special characters and search by name, or paste ¬ directly. For emoji, you can also use your operating system emoji picker.
iPhone / iPad
iOS does not provide a direct Unicode-code entry method for every symbol. Copy ¬ from SymbolDex or check long-press variants on related keys. For frequent use, create a shortcut under Settings → General → Keyboard → Text Replacement.
Android
Availability varies by Android keyboard. In Gboard, browse the symbols panel and long-press related keys for variants. If it is not available, copy ¬ from SymbolDex and paste it where needed.
Linux
In many Linux apps using GTK/IBus, press Ctrl + Shift + U, type 00ac, then confirm with Enter or Space. If your app does not support this method, copy and paste ¬.
Web and programming codes
Copy the representation you need for HTML, CSS, JavaScript or Python. For emoji sequences, SymbolDex includes every code point in the correct order.
¬¬\00ac\u00AC\u00AC¬Usage examples
¬ — negationUnicode: U+00ACHTML: ¬