diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-03 18:23:10 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-03 18:23:10 +0100 |
| commit | 5c4377102f442208d844a3d42aa23a0d074b7257 (patch) | |
| tree | f2e6441d5858154a82c63f6daf0febf00345a3b0 /provider | |
| parent | 9d3ff4605d30b434cdc0f302bb565606f1bcf722 (diff) | |
| download | dirty-haskell.org-5c4377102f442208d844a3d42aa23a0d074b7257.tar dirty-haskell.org-5c4377102f442208d844a3d42aa23a0d074b7257.tar.gz dirty-haskell.org-5c4377102f442208d844a3d42aa23a0d074b7257.tar.bz2 dirty-haskell.org-5c4377102f442208d844a3d42aa23a0d074b7257.tar.xz dirty-haskell.org-5c4377102f442208d844a3d42aa23a0d074b7257.zip | |
Fixed tex \end fuckup
Diffstat (limited to 'provider')
| -rw-r--r-- | provider/templates/preamble.tex | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/provider/templates/preamble.tex b/provider/templates/preamble.tex index 0d76503..1f2c1e4 100644 --- a/provider/templates/preamble.tex +++ b/provider/templates/preamble.tex | |||
| @@ -11,11 +11,12 @@ | |||
| 11 | \newcommand*{\ca}[1]{\ensuremath{\mathbf{#1}}} | 11 | \newcommand*{\ca}[1]{\ensuremath{\mathbf{#1}}} |
| 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}{\ensuremath{\rightarrow}} | 15 | \renewcommand{\implies}{\ensuremath{\rightarrow}} |
| 16 | 16 | ||
| 17 | \newcommand{\N}{\ensuremath{\mathbb{N}}} | 17 | \newcommand*{\N}{\ensuremath{\mathbb{N}}} |
| 18 | \newcommand{\arr}[3]{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}} | 18 | \newcommand*{\arr}[3]{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}} |
| 19 | \renewcommand{\hom}[3]{\ensuremath{\mathrm{hom}_{#1} \left [ #2, #3 \right ]}} | 19 | \newcommand*{\Hom}[3]{\ensuremath{\mathrm{Hom}_{#1} \left [ #2, #3 \right ]}} |
| 20 | \newcommand*{\End}[2]{\ensuremath{\mathrm{End}_{#1} \left [ #2 \right ]}} | ||
| 20 | 21 | ||
| 21 | \newcommand{\powerset}{\raisebox{.15\baselineskip}{\Large\ensuremath{\wp}}} | 22 | \newcommand*{\powerset}{\raisebox{.15\baselineskip}{\Large\ensuremath{\wp}}} |