diff options
Diffstat (limited to 'provider/templates')
-rw-r--r-- | provider/templates/preamble.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/provider/templates/preamble.tex b/provider/templates/preamble.tex index 129eba8..6ca168f 100644 --- a/provider/templates/preamble.tex +++ b/provider/templates/preamble.tex | |||
@@ -12,7 +12,7 @@ | |||
12 | \newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}} | 12 | \newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}} |
13 | 13 | ||
14 | \newcommand{\id}{\ensuremath{\mathrm{id}}} | 14 | \newcommand{\id}{\ensuremath{\mathrm{id}}} |
15 | \renewcommand{\implies}{\rightarrow} | 15 | \renewcommand{\implies}{\ensuremath{\rightarrow}} |
16 | 16 | ||
17 | \newcommand{\N}{\ensuremath{\mathbb{N}}} | 17 | \newcommand{\N}{\ensuremath{\mathbb{N}}} |
18 | \newcommand{\arr}[3]{\ensuremath{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}}} | 18 | \newcommand{\arr}[3]{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}} |