Fuente TeX:

{CONS({¬\varphi})}