diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-05 03:29:43 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-05 03:29:43 +0100 |
commit | 06ef967daa38ff6009480735669c11c61eee5f38 (patch) | |
tree | 8819015211041241aee07864f9795b3e55729398 /aied2017/aied2017.tex | |
parent | 8d5e1278e90d30c7fe79ce5c7d5d97b833853a68 (diff) |
Add section on generating hints
Diffstat (limited to 'aied2017/aied2017.tex')
-rw-r--r-- | aied2017/aied2017.tex | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/aied2017/aied2017.tex b/aied2017/aied2017.tex index 673986c..b9a9803 100644 --- a/aied2017/aied2017.tex +++ b/aied2017/aied2017.tex @@ -2,6 +2,12 @@ \usepackage[utf8]{inputenc} +\usepackage{newunicodechar} +\newunicodechar{∧}{\ensuremath{\land}} +\newunicodechar{⇒}{\ensuremath{\Rightarrow}} +\newunicodechar{⋯}{\ensuremath{\cdots}} +% latex ∧ unicode ⇒ … + \usepackage{fancyvrb} \fvset{commandchars=\\\{\},baselinestretch=0.98,samepage=true,xleftmargin=2.5mm} |