Skip to content

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.

UnicodeU+2200
HTML
U+2200

Character codes

Unicode code pointU+2200
Decimal8704
HTML named entity
HTML (hex)
HTML (decimal)
CSS\2200
JavaScript\u2200
Python\u2200
UTF-8 bytesE2 88 80
UTF-162200
URL-encoded%E2%88%80

Character details

Official nameFOR ALL
Unicode blockMathematical Operators
General categoryMath Symbol (Sm)
SymbolHero categoryMath Symbols
EmojiNo

How to type ∀

Windows

  • In Microsoft Word or Outlook: type 2200 then 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.

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 ∀.