TeX source:
\forall x\;(0(x)\rightarrow P(x,y))