equal
deleted
inserted
replaced
4 |
4 |
5 %% references |
5 %% references |
6 \newcommand{\secref}[1]{\S\ref{#1}} |
6 \newcommand{\secref}[1]{\S\ref{#1}} |
7 \newcommand{\chref}[1]{chapter~\ref{#1}} |
7 \newcommand{\chref}[1]{chapter~\ref{#1}} |
8 \newcommand{\figref}[1]{figure~\ref{#1}} |
8 \newcommand{\figref}[1]{figure~\ref{#1}} |
9 |
|
10 %% index |
|
11 \newcommand{\indexml}[1]{\index{\emph{#1}|bold}} |
|
12 \newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}} |
|
13 \newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}} |
|
14 \newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}} |
|
15 |
9 |
16 %% math |
10 %% math |
17 \newcommand{\text}[1]{\mbox{#1}} |
11 \newcommand{\text}[1]{\mbox{#1}} |
18 \newcommand{\isasymvartheta}{\isamath{\theta}} |
12 \newcommand{\isasymvartheta}{\isamath{\theta}} |
19 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |
13 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} |