Fuente TeX:
M\models\lnot\alpha