Fuente TeX:

(\bar{\forall} M \in Mod(\{ \alpha \}) ) M \vDash \varphi