Fuente TeX:

\bar{\exists}\mathcal{M} \mathcal{M} \models \varphi