From d80fc58aab38a5af024e33f91a492c908fea94e2 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Wed, 3 Feb 2016 19:15:38 +0100 Subject: CatT 1.2.6 --- provider/templates/preamble.tex | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'provider/templates') diff --git a/provider/templates/preamble.tex b/provider/templates/preamble.tex index 1f2c1e4..541b415 100644 --- a/provider/templates/preamble.tex +++ b/provider/templates/preamble.tex @@ -8,15 +8,16 @@ \usetikzlibrary{cd} -\newcommand*{\ca}[1]{\ensuremath{\mathbf{#1}}} -\newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}} - \newcommand*{\id}{\ensuremath{\mathrm{id}}} \renewcommand{\implies}{\ensuremath{\rightarrow}} \newcommand*{\N}{\ensuremath{\mathbb{N}}} +\newcommand*{\powerset}[1]{\raisebox{.15\baselineskip}{\Large\ensuremath{\wp}} \left ( #1 \right )} + +\newcommand*{\ca}[1]{\ensuremath{\mathbf{#1}}} +\newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}} \newcommand*{\arr}[3]{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}} \newcommand*{\Hom}[3]{\ensuremath{\mathrm{Hom}_{#1} \left [ #2, #3 \right ]}} \newcommand*{\End}[2]{\ensuremath{\mathrm{End}_{#1} \left [ #2 \right ]}} -\newcommand*{\powerset}{\raisebox{.15\baselineskip}{\Large\ensuremath{\wp}}} +\newcommand*{\rest}[2]{\ensuremath{#1 \upharpoonright #2}} -- cgit v1.2.3