Skip to content
EmojiDB

U+2200 · Math symbol

HTML entity

∀

LaTeX

\forall

For All Symbol ∀

∀ is for all, U+2200. Unicode also records it as “universal quantifier”. It was added in Unicode 1.1, and Unicode files it under Math symbol.

Also known as

  • universal quantifier

Codes & technical data

UnicodeU+2200
HTML hex∀
HTML decimal∀
CSS\2200
JavaScript\u{2200}
Python\U00002200
Java / C#\u2200
Rust\u{2200}
Swift\u{2200}
PHP\u{2200}
URL encoded%E2%88%80
UTF-8 bytesE2 88 80
UTF-16 bytes2200
Base644oiA
Decimal8704
HTML entity∀
LaTeX\forall
CategoryMath symbol (Sm)
IntroducedUnicode 1.1

Will ∀ survive being pasted?

  • Normalisation. Yes. ∀ is unchanged by NFKC, so it survives normalising systems intact.
  • Legacy encodings. ∀ is Unicode-only — it has no Latin-1 equivalent, so a system stuck on an 8-bit encoding cannot represent it.
  • Size. 3 bytes in UTF-8. Character-limited fields — SMS, bios, some form validators — usually count bytes, not characters.

Nearby in Mathematical Operators

The operators mathematics and programming share — set theory, logic, calculus, comparison. Almost every character here has a LaTeX command, which is usually the fastest way to name the one you mean.

All 256 characters in Mathematical Operators →

How to type ∀

WindowsType 2200 then press Alt+X
macOSPress Ctrl+Cmd+Space, then search for “for all”
LinuxPress Ctrl+Shift+U, type 2200, press Enter
HTML∀

About Unicode’s Math symbol category

Unicode classifies this as a mathematical symbol, which means software that lays out formulas treats it as an operator or relation and gives it spacing accordingly, rather than setting it tight against its neighbours like a letter.

Frequently asked questions

How do I type the ∀ for all symbol?
On Windows, type 2200 and press Alt+X. On Linux press Ctrl+Shift+U then 2200. On any system the quickest route is the copy button on this page.
What is the code for ∀?
For All is U+2200, written in HTML as ∀ and in LaTeX as \forall. In UTF-8 it takes 3 bytes. The table above lists every escape format.
What kind of character is ∀?
For All is filed under Math symbol in the Mathematical Operators block, and was introduced in Unicode 1.1. Unicode classifies this as a mathematical symbol, which means software that lays out formulas treats it as an operator or relation and gives it spacing accordingly, rather than setting it tight against its neighbours like a letter.