TeX source:
A\lor A