Fuente TeX:
\exists n_0 \in \mathbb{N} /