diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-03 15:59:15 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-03 15:59:15 +0100 |
| commit | 44c5e3bfb13d6bb8821fb1de63f777ea48cc98bf (patch) | |
| tree | 5848582f9ac27964b49e41c65c356ca50c520159 /provider/templates | |
| parent | 35bbb98cbaa940a1266749a5f65a7a2451c44ee7 (diff) | |
| download | dirty-haskell.org-44c5e3bfb13d6bb8821fb1de63f777ea48cc98bf.tar dirty-haskell.org-44c5e3bfb13d6bb8821fb1de63f777ea48cc98bf.tar.gz dirty-haskell.org-44c5e3bfb13d6bb8821fb1de63f777ea48cc98bf.tar.bz2 dirty-haskell.org-44c5e3bfb13d6bb8821fb1de63f777ea48cc98bf.tar.xz dirty-haskell.org-44c5e3bfb13d6bb8821fb1de63f777ea48cc98bf.zip | |
CatT 1.2.3 & 1.2.4
Diffstat (limited to 'provider/templates')
| -rw-r--r-- | provider/templates/preamble.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/provider/templates/preamble.tex b/provider/templates/preamble.tex index 6ca168f..0d76503 100644 --- a/provider/templates/preamble.tex +++ b/provider/templates/preamble.tex | |||
| @@ -16,3 +16,6 @@ | |||
| 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 ]}} | ||
| 20 | |||
| 21 | \newcommand{\powerset}{\raisebox{.15\baselineskip}{\Large\ensuremath{\wp}}} | ||