Fuente TeX:
\alpha = P(x,y) \land y =' g(x)