Fuente TeX:

\psi \in \text{PROP}_{\{\downarrow\}} \quad \text{tal que} \quad \alpha' \land \beta' \equiv \psi