Fuente TeX:

\bar{\forall} a \in |M_2| : M_2 \vDash \lnot (\exists y) \lnot P_2(\bar{a},y)