TeX source:
\forall n\in\mathbb{N}