Fuente TeX:

( \forall a \in |M|)( \forall b \in |M|)(v(P1(a))=1 \Leftrightarrow v(P2(a,b))=1)