blob: 8ff41d1afe8e84625bd351d97282a65991a39e15 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
\usepackage[utf8]{inputenc}
\usepackage{amssymb}
\usepackage{xspace}
\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{tikz}
\usetikzlibrary{cd}
\newcommand*{\ca}[1]{\ensuremath{\mathbf{#1}}\xspace}
\newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}}
\newcommand{\id}{\ensuremath{\mathrm{id}}}
\renewcommand{\implies}{\rightarrow}
|
