Fuente TeX:

(\stackrel{\mathrm{\_}}{\forall} a\in |M|)M \models \varphi[\stackrel{\mathrm{\_}}{a}/x]