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.

\forall