Fuente TeX:

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