ForAll

ForAll is a synonym for ∀.