From CS2800 wiki


If [math]P [/math] is a predicate depending on [math]x [/math], then "∀x, P" is shorthand for "for all x, P". The LaTeX symbol is \forall.