¬

Logical NOT

Unicode: U+00AC

HTML: ¬

About this Symbol

The Logical NOT symbol (¬) is a Unicode character with code point U+00AC. It belongs to the Logic Symbols category of Unicode symbols.

Usage Examples

  • Plain text: ¬
  • HTML: ¬
  • Unicode: U+00AC

How to Type

Windows

Hold Alt and type 172 on the numeric keypad.

macOS

Press Command + Control + Space to open the Character Viewer, then search for "Logical NOT".

Related Symbols

∧ ∨ ⊢ ⊨ ⊭ ∀