Fuente TeX:

CONS({¬\varphi}) \not= SENT