diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2018-02-05 19:08:53 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2018-02-05 19:08:53 +0100 |
commit | 75b0b7de8ef57f02d35b589fdba7fa42252cce82 (patch) | |
tree | 7df7c2fd7685c7ed31ccc696b08d96574de8518a /aied2018/aied2018.tex | |
parent | e4d5f477ca121532a7ca568543da11166065c5dd (diff) |
Compactify sections 3 and 4, prettify rules
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}} |