Fuente TeX:

\frac{\exists z (P(x,x,z) \land P(x,x,z))}{\exists y \exists z (P(x,y,z) \land P(y,x,z))}