Translingual

Symbol

∀

1. (mathematics, logic) The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning "for all".

Synonyms

• (universal quantifier): ⋀

See also

• ∃
• da, de, di, ro, zo'u (Lojban)