TeX source:
B_{1}\lor \cdots \lor B_{l}\lor \lnot C