Fuente TeX:

P(x,y) \land y =' g(x)