Fuente TeX:

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