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