TeX source:
(B_{1}\lor \cdots \lor B_{k})