TeX source:
\equiv \lnot