Fuente TeX:

M \not\models \lnot R(x)