∀x for all x Something is true for all (any) value of x (usually with a side condition like ∀x > 0).