Fuente TeX:

(\bar{\forall} M \text{ eta} ) ( M \models \Gamma \Rightarrow M \models \varphi )