Fuente TeX:

(\bar \forall \varphi \in PROP)((\bar \exists \psi \in PROP_{\lbrace \lor, \neg \rbrace})(\varphi\ eq\ \psi))\ (\ast)