Fuente TeX:

\bar{\exists} a \in \mathbb{N} : v^{M_1} (P_1(\bar{a})) = 1