TeX source:
a\lor b