∀

For All

Unicode: U+2200

HTML: ∀

About this Symbol

The For All symbol (∀) is a Unicode character with code point U+2200. It belongs to the Logic Symbols category of Unicode symbols.

Usage Examples

  • Plain text: ∀
  • HTML: ∀
  • Unicode: U+2200

How to Type

Windows

Hold Alt and type 8704 on the numeric keypad.

macOS

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

Related Symbols

∧ ∨ ¬ ⊢ ⊨ ⊭