Fuente TeX:
(\neg \varphi_{1})