Fuente TeX:

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