Fuente TeX:

\bar{\exists} a \in \mathbb{N} : \bar{a}^{M_1} \in \mathbb{N}