Fuente TeX:

(a \to c) \land (b \to c)