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