TeX source:
A_{1}\lor \cdots \lor A_{k}\lor C