Not Negation symbol
Type :not_negation: · Math
Unicode name Not Sign · Latin-1 Supplement block · added in Unicode 1.1, 1993
What ¬ is for
Logical negation: ¬P is true exactly when P is false. Common in logic and in a few programming languages, though most use an exclamation mark instead.
How to type ¬
The shortcuts below are the built-in routes. With
Emoji Anywhere
installed you can skip all of them and type
:not_negation: in any text field instead, which
is the same on every platform.
macOS
No direct shortcut. Use Edit → Emoji & Symbols, or switch to the Unicode Hex
Input source and type 00AC with Option
held.
Windows
No Alt code. In Word, type 00AC then press Alt +
X. Elsewhere use the emoji panel with Win + Period, or Character Map.
Shortcodes
:not_negation: On the web
HTML ¬
Unicode U+00AC
JavaScript '\u{00AC}'
CSS "\00AC"
Python '\u00AC'
URL %C2%AC
More from math
:subset_of: ∪ :union: ∩ :intersection: ∀ :for_all: ∃ :there_exists: ∅ :empty_set: ∧ :logical_and: ∨ :logical_or: ∴ :therefore: ∵ :because: ∝ :proportional_to: ℝ :reals: Every symbol and kaomoji is in the full gallery .
Tired of copying ¬ from pages like this one?
That is exactly what the extension removes. Here is the whole interaction, in every text field you already use:
You type
You get
Your keyboard already knows what you mean
Free, 290 KB, no account. Two letters from now you will never open an emoji panel again.
