Fuente TeX:
\forall n\in \mathbb{N}, \, P(n)