TeX source:
(A\lor A)\land A