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