TeX source:
\land\exists d.