Fuente TeX:

\models \neg (\overline{a})^{M}