Fuente TeX:

\displaystyle f\left( \varphi \neg \right):=\left( \neg f\left( \varphi \right) \right)={{f}_{2}}\left( x,\varphi ,f\left( \varphi \right) \right)