∄

There Does Not Exist

Unicode: U+2204

HTML: ∄

About this Symbol

The There Does Not Exist symbol (∄) is a Unicode character with code point U+2204. It belongs to the Logic Symbols category of Unicode symbols.

Usage Examples

  • Plain text: ∄
  • HTML: ∄
  • Unicode: U+2204

How to Type

Windows

Hold Alt and type 8708 on the numeric keypad.

macOS

Press Command + Control + Space to open the Character Viewer, then search for "There Does Not Exist".

Related Symbols

∧ ∨ ¬ ⊢ ⊨ ⊭