Fuente TeX:

(\bar \forall \varphi \in PROP)((\bar \exists \psi \in PROP_{A})(\varphi\ eq\ \psi))