∀
See also: Appendix:Variations of "a"
|
Translingual edit
Description edit
An upside-down capital letter A.
Etymology edit
Introduced by Gerhard Gentzen who based it on the Latin letter A, by analogy with ∃.
Symbol edit
∀
- (mathematics, logic) The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”.
- Synonym: ⋀