Fuente TeX:

\bar{\forall} a, b \in |M_2| : M_2 \vDash P_2(\bar{a},\bar{b})