∀

For All Symbol (∀)

Copy the For All symbol ∀ to your clipboard, and see its Unicode code point, HTML entity, LaTeX command and how to type it on any device.

What does ∀ mean?

The universal quantifier ∀ means “for all” or “for every” in logic and mathematics: ∀x ∈ ℝ, x² ≥ 0. Its official Unicode name is FOR ALL.

Copy & paste: press the Copy button above, then paste ∀ anywhere — Word, Google Docs, email, chat or code.
Windows (Word, WordPad, Outlook): type 2200 then press Alt+X. In any app, Win+. opens the symbol panel.
Mac (any symbol): switch to the Unicode Hex Input keyboard, hold Option and type 2200; or press Ctrl+Cmd+Space and search “for all”.
Linux (GTK/IBus): press Ctrl+Shift+U, type 2200, then Space.
HTML: ∀ renders as ∀.
LaTeX: \forall in math mode (amssymb package for some symbols).

How do I type ∀ on Windows?

In Microsoft Word type 2200 and press Alt+X. In any app press Win+. to open the symbol panel, or copy ∀ from this page.

How do I type ∀ on a Mac?

Open the Character Viewer with Ctrl+Cmd+Space and search “for all”, or switch to Unicode Hex Input and hold Option while typing 2200.

What is the HTML code for ∀?

Use ∀ or ∀ (hex) or ∀ (decimal).

What is the LaTeX command for ∀?

Use \forall in math mode.