Fuente TeX:

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