Fuente TeX:
\bar{\exists} a \in |M_1| : M_1 \vDash P_1(\bar{a})