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