SymbolHub

For All Symbol (∀)

The for all symbol ∀ is Unicode U+2200, the universal quantifier, read “for all”. Press Copy to put it on your clipboard.

Unicode
U+2200
HTML
∀
Word
2200 Alt+X

How to type the for all symbol (∀)

The quickest way is to press Copy above and paste. To type ∀ yourself, use the method for your device below.

Windows

  1. In Word or Outlook, type 2200 and press Alt + X. Alt + X converts the hex code before the cursor into the character, and back again.
  2. Press Win + R, type charmap and press Enter. Tick “Advanced view”, search for For All, then Select and Copy. Character Map is built into every version of Windows.

Mac

  1. Press Control + Command + Space to open the Character Viewer, search for for all and double-click it.
  2. With the Unicode Hex Input keyboard enabled (System Settings → Keyboard → Input Sources), hold Option and type 2200.

Linux & ChromeOS

  1. Press Ctrl + Shift + U, type 2200, then press Enter or Space. Works in GTK and IBus apps (GNOME, Firefox, Chrome, LibreOffice) and on ChromeOS.

iPhone & iPad

  1. Copy ∀ from this page, then go to Settings → General → Keyboard → Text Replacement and add it with a shortcut such as ;for. The shortcut then turns into the symbol as you type, in every app.

Android

  1. Copy ∀ here, then open Gboard settings → Dictionary → Personal dictionary and add it with a shortcut.

Microsoft Word

  1. Type 2200, then press Alt + X.
  2. Insert → Symbol → More Symbols. Set “from” to Unicode (hex), type 2200 in “Character code” and click Insert.

Google Docs

  1. Insert → Special characters, then search for “for all” or draw it in the box.

Excel & Google Sheets

  1. Enter =UNICHAR(8704) in a cell. It works in Excel 2013 and later and in Google Sheets.

HTML

  1. Write ∀ or ∀ in your HTML.

What does ∀ mean?

∀ is the universal quantifier: ∀x P(x) means “P holds for every x”. It is an upside-down A, for “all”, and Gerhard Gentzen introduced it in 1935. It pairs with ∃ (“there exists”), and the two swap under negation: “not everything is red” is the same as “something is not red”, ¬∀x R(x) ⇔ ∃x ¬R(x). Informally, maths teachers also write ∀ as shorthand for “for each” in notes.

Common uses

  • Formal logic: ∀x ∈ ℝ, x² ≥ 0
  • Definitions and specifications in computer science

For All Symbol codes for HTML, CSS and programming

Every code below produces ∀. Use the HTML entity in web pages, the CSS escape in content, and the escape sequence in source code.

Unicode code pointU+2200
HTML entity (named)∀
HTML decimal∀
HTML hex∀
CSS contentcontent: "\2200";
JavaScript"\u2200"
Python"\u2200"
Python (by name)"\N{FOR ALL}"
Java / C#"\u2200"
LaTeX\forall
UTF-8 bytesE2 88 80
UTF-162200
URL encoded%E2%88%80

∀ vs look-alike characters

These characters look similar to ∀ but have a different meaning and code. Pasting the wrong one can break search, sorting and screen readers.

CharNameWhen to use it
There Exists
U+2203		There exists, the existential quantifier.
Capital Turned A
U+2C6F		Latin capital letter turned A, used in phonetics and some orthographies.

Symbols similar to ∀

Click to copy, or open a symbol for its codes. See the full math symbols collection.

∀ character properties

Official Unicode name
FOR ALL
Also known as
universal quantifier, for every, turned a
Code point
U+2200
Unicode block
Mathematical Operators (U+2200–U+22FF)
General category
Math symbol (Sm)
Added in
Unicode 1.1 (1993)
Plane
Basic Multilingual Plane (0)
Emoji
No, it is a text symbol

Frequently asked questions

How do you read ∀x ∃y?

“For every x there exists a y”. The order matters: ∃y ∀x (“there is one y that works for every x”) is a much stronger claim.

Is there an alt code for the for all symbol?

No. ∀ is outside the Windows-1252 and code page 437 character sets, so no Alt + number code produces it. Copy it from this page, type 2200 then Alt + X in Word, or find it in Character Map.

How do I type the for all symbol on a Mac?

There is no single Option shortcut for ∀ on the US layout. Press Control + Command + Space to open the Character Viewer, search for “for all” and double-click it, or copy it from this page.

What is the HTML code for the for all symbol?

Use the named entity ∀ or the numeric reference ∀ (hex ∀). All three display ∀ in every browser.

What is the Unicode for the for all symbol?

∀ is U+2200, officially named FOR ALL, in the Mathematical Operators block. It has been part of Unicode since version 1.1 (1993).