Fuente TeX:

(a \rightarrow b) \lor (\lnot a \rightarrow c)