Fuente TeX:
\not\models