Unicode symbol translation in math mode
Symbol
Unicode
Translated as
$\lnot$
000000AC
\lnot