TeX source:

\varphi(\bar{x})~\equiv ~\exists y ~p( \bar{x}, y) = 0