Fuente TeX:

( \bar{\forall} a \epsilon N )( \bar{\forall} b \epsilon N ) M_1 \not\models P_1(\bar{a}) \leftrightarrow P_2(\bar{a},\bar{b})