Fuente TeX:
\forall yP(x,y)