Not Negation symbol
Type :not_negation: · Math
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
More from math
:pm: × :times: ÷ :divide: ≈ :approx: ≠ :neq: ≡ :identical_to: ≤ :lte: ≥ :gte: ∞ :inf: √ :sqrt: ∑ :sum: ∏ :product_pi: 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, 280 KB, no account. Two letters from now you will never open an emoji panel again.