Fuente TeX:

v(P1(a))=1 \Leftrightarrow v(P2(a,b)=1)