TeX source:
\land \lnot(\exists c_2.