Fuente TeX:
\forall n\in \mathbb{N} (P(n) \rightarrow P(n+1))