Fuente TeX:

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