diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-05 16:16:19 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-05 16:16:19 +0100 |
commit | 93691c88664795ae8b35d5a7bcddab59fd17be18 (patch) | |
tree | 447fae37146d12946105118c2ab677b6ac2b04c4 /aied2017/aied2017.tex | |
parent | af71274a2519a719c96ff56809f06ead258718dc (diff) |
Some more cleanups
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}} |