Fuente TeX:

\bar{\exists} a \in \mathbb{N} : M_1 \vDash P_1(\bar{a})