TeX source:
\land\exists c_1.