~ohad-kammar/ohads-thesis/trunk

1
2
3
4
5
6
7
8
9
10
11
12
13
14
\newcommand\tseq[4][1]{{{\left<\vphantom{#4}\right.}_{#2={#1}}^{#3}\left.{#4}\right>}}
\newcommand\mtseq[2]{{{\left<\vphantom{#2}\right.}_{#1}\left.{#2}\right>}}

\newcommand\gobbleaux[1]{}
\newcommand\gobble[1]{\expandafter\gobbleaux#1}
\newcommand\indexdomain[1]{\csname\gobble\string#1domain\endcsname}
\newcommand\newindex[3]{%
  \expandafter\expandafter\expandafter\newcommand\indexdomain{#1}{#2}%
  \newcommand{#1}{#3}
}
\newcommand\myseq[1]{\tseq{#1}{\indexdomain{#1}}}
\newcommand\indexrange[1]{1\leq{#1}\leq\indexdomain{#1}}

\newnotationargs\tinj{1}{\overset{\scriptscriptstyle\tensor}\iota_{#1}}{The tensor injections}{\mL \xto{\tinj1} \mL\tensor\mL' \xfrom{\tinj2} \mL'}