Fuente TeX:

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