U+2200 "∀" For All Unicode Character
Unicode Version 17.0
∀
U+2200 "∀" For All is a mathematical symbol representing the universal quantifier, which signifies that a given statement applies to every element within a specific domain, and it is fundamentally used in formal logic, set theory, and predicate calculus to express statements like "for all x, P(x) is true." This character, which appears as an inverted capital letter A, was introduced as part of the Mathematical Operators block in Unicode 1.1 in 1993, and it is commonly employed in fields such as computer science, mathematics, and philosophy to denote universal generalization or the concept of "for every" in propositions and formulas.
General Properties
| Code Point | U+2200 |
| Version Added | 1.1 |
| Name | For All |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
Encodings
| HTML Decimal Encoding | ∀ |
| HTML Hex Encoding | ∀ |
| UTF-8 Encoding | 0xE2 0x88 0x80 |
| UTF-16 Encoding | 0x2200 |
| UTF-32 Encoding | 0x00002200 |
| C/C++/Java Escape | \u2200 |