TeX source:
(A_{1}\land \cdots \land A_{n})