Fuente TeX:

(\bar{\forall} M \, eta ) (M \vDash \alpha \Rightarrow M \vDash \varphi)