βˆ€

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.

Codes and properties

Characterβˆ€
Unicode nameFOR ALL
Code pointU+2200
Decimal8704
Unicode blockMathematical Operators
HTML entity∀ Β· ∀ Β· ∀
CSS\2200
JavaScript / JSON\u2200
Python\u2200 or \N{FOR ALL}
UTF-8 bytesE2 88 80
LaTeX\forall

How to type βˆ€

  • 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: 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).

Frequently asked questions

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.

What is the HTML code for βˆ€?

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

What is the LaTeX command for βˆ€?

Use \forall in math mode.

Related symbols