diff options
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} |