Fuente TeX:

(\bar{\forall} \varphi \in FORM_\mathcal{L}) \mathcal{P}(\varphi)