Fuente TeX:

(\forall x') \varphi_{1}