Fuente TeX:
(\lnot a \rightarrow c)