Fuente TeX:

\varphi = (\exists x') \varphi_{1}