diff options
Diffstat (limited to 'aied2017/aied2017.tex')
-rw-r--r-- | aied2017/aied2017.tex | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/aied2017/aied2017.tex b/aied2017/aied2017.tex index b9a9803..c8a6e9c 100644 --- a/aied2017/aied2017.tex +++ b/aied2017/aied2017.tex @@ -2,15 +2,15 @@ \usepackage[utf8]{inputenc} +% reclaim some plain-text sanity \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} - +% WAT — I don’t even… \makeatletter \begingroup \catcode`\`=\active @@ -23,6 +23,8 @@ \usepackage{forest} \usetikzlibrary{arrows.meta} +\usepackage{hyperref} + \newcommand\code[1]{\texttt{#1}} \newcommand\red[1]{{\begingroup\color[rgb]{0.8,0.15,0.15}#1\endgroup}} \newcommand\hl[1]{\textbf{#1}} |