For any
∀
Universal operator
Universal quantification
Given any
For every
Universally quantified
Universal quantifier
Upside Down A
For All
For all
All (logic)
Forall
Logical universal
Universally quantify
Universal closure
Upside-down A
universally quantify
universal operator
for all
universal quantifier
given any
universally quantified
for every
universal quantification
upside down
logical universal
all logic
forall
for any
universal closure