∀
Appearance
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: ⋀