Fuente TeX:

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