TeX source:
\land\lnot(\exists l'. l'\neq l\land