Fuente TeX:
\forall n \geq 1, P(n)