Fuente TeX:

\bar{\forall}\mathcal{M} \mathcal{M} \not\models \varphi