TeX source:
\land\lnot(\exists o'.