diff options
Diffstat (limited to 'aied2018/aied2018.tex')
-rw-r--r-- | aied2018/aied2018.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aied2018/aied2018.tex b/aied2018/aied2018.tex index 514b7e7..17f0e7a 100644 --- a/aied2018/aied2018.tex +++ b/aied2018/aied2018.tex @@ -3,6 +3,7 @@ \usepackage[utf8]{inputenc} \usepackage{newunicodechar} \newunicodechar{∧}{\ensuremath{\land}} +\newunicodechar{¬}{\ensuremath{\lnot}} \newunicodechar{⇒}{\ensuremath{\Rightarrow}} \newunicodechar{→}{\ensuremath{\rightarrow}} \newunicodechar{⋯}{\ensuremath{\cdots}} |