U+2200 • logic
The universal quantifier symbol (∀) used in logic and mathematics to denote "for all" or "for every" element in a domain. It introduces statements that assert a property holds for all members of a specified set or range.
The Symbol For For All (∀) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Mathematical Operators block and was approved as part of Unicode Version 1.1 in 1993
logicmathematicssymbolquantifieruniversalforallpredicateformalnotationstatementCopy the For All dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.
∀ Click to copy