Fuente TeX:

\scriptstyle{\not\models \gamma \text{ y } \not\models \neg \gamma}