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/preamble.tex | |
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/preamble.tex')
-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}}} | ||