Fuente TeX:

(\bar{\exists} v : val)((\bar{\forall} \varphi \in \Gamma) v(\varphi) = 1) \Leftrightarrow \Gamma \text{ consistente }