Fuente TeX:

F_{\wedge}(\varphi_{1},\varphi_{2}) =(\varphi_{1} \wedge \varphi_{2}), F_{\neg}(\varphi_{1})=\neg(\varphi_{1})