∀

Description
An upside-down capital letter A.

Etymology
Introduced by Gerhard Gentzen who based it on the Latin letter, by analogy with.

Symbol

 * 1)  The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”.