U+2200 · Mathematical Operators
For All ∀
The universal quantifier, drawn as an upside-down A, means "for all" or "for every" in predicate logic and set theory. A statement such as ∀x P(x) claims that property P holds for every value of x in the domain. It is standard in math, computer science and formal logic courses, and in formal specifications of software.
Character codes
| Unicode code point | U+2200 | |
|---|---|---|
| Decimal | 8704 | |
| HTML named entity | ∀ | |
| HTML (hex) | ∀ | |
| HTML (decimal) | ∀ | |
| CSS | \2200 | |
| JavaScript | \u2200 | |
| Python | \u2200 | |
| UTF-8 bytes | E2 88 80 | |
| UTF-16 | 2200 | |
| URL-encoded | %E2%88%80 |
Character details
| Official name | FOR ALL |
|---|---|
| Unicode block | Mathematical Operators |
| General category | Math Symbol (Sm) |
| SymbolHero category | Math Symbols |
| Emoji | No |
How to type ∀
Windows
- In Microsoft Word or Outlook: type
2200then press Alt + X. - Open Character Map (search “Character Map” in Start), tick “Advanced view”, search for “for all”, then Select and Copy.
Mac
- Press Control + Command + Space to open the Character Viewer, search “for all”, and double-click the result.
- With the Unicode Hex Input keyboard enabled (System Settings → Keyboard → Input Sources), hold Option and type
2200.
iPhone & Android
- Tap Copy at the top of this page, then long-press where you want it and choose Paste.
Docs & web
- Google Docs: Insert → Special characters, then search “for all” or enter
U+2200. - HTML:
∀or∀ - Excel / Google Sheets:
=UNICHAR(8704)
Examples
- ∀x ∈ ℝ, x² ≥ 0
- ∀n ∈ ℕ: n + 1 > n
- ∀ε > 0 ∃δ > 0
Good to know
Don’t mix it up: It looks like Ɐ (U+2C6F, LATIN CAPITAL LETTER TURNED A), a letter used in some phonetic transcriptions, which should not be used in math.
Tip: The HTML named entity is ∀.
Display: the character itself is always the same code point, but its shape comes from the font on the device showing it. If you see an empty box, the font lacks this glyph—the text is still correct.
Similar math symbols
Questions
What is the Unicode for ∀?
It is U+2200 (FOR ALL), decimal 8704.
Is there a Windows Alt code for it?
No standard Alt code exists for this character. In Word type 2200 then Alt+X, or copy it from this page.
How do I type it on a Mac?
There is no built-in Option shortcut. Use the Character Viewer (Control + Command + Space) and search “for all”, or copy it from this page.
What is the HTML code?
Use the named entity ∀ or the numeric reference ∀.