Fuente TeX:

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