TeX source:
\phi _1\ \land \ \phi _2\ \land \ \dots \ \land \ \phi _n\ \ \leq \ \ \psi