Fuente TeX:

\bar{\neg} (\bar{\exists}\mathcal{M} / \mathcal{M} \models \varphi)