Fuente TeX:

(\stackrel{\mathrm{\_}}{\forall} M:eta) M \models \varphi