author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Sun, 06 Jul 2008 04:33:51 +0000 | |
changeset 35 | 0adb47730c7a |
parent 32 | 538f38ddf395 |
child 36 | f5e553fbd693 |
permissions | -rw-r--r-- |
32
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
1 |
%auto-ignore |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
2 |
%this ensures the arxiv doesn't try to start TeXing here. |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
3 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
4 |
\usepackage{amsmath,amssymb,amsfonts} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
5 |
\usepackage{ifpdf} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
6 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
7 |
%\ifpdf |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
8 |
%\usepackage[pdftex,all,color]{xy} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
9 |
%\else |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
10 |
\usepackage[all,color]{xy} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
11 |
%\fi |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
12 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
13 |
\SelectTips{cm}{} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
14 |
% This may speed up compilation of complex documents with many xymatrices. |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
15 |
%\CompileMatrices |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
16 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
17 |
% ---------------------------------------------------------------- |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
18 |
\vfuzz2pt % Don't report over-full v-boxes if over-edge is small |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
19 |
\hfuzz2pt % Don't report over-full h-boxes if over-edge is small |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
20 |
% ---------------------------------------------------------------- |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
21 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
22 |
\def\RCS$#1: #2 ${\expandafter\def\csname RCS#1\endcsname{#2}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
23 |
\RCS$Revision$ |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
24 |
\RCS$Date$ |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
25 |
\newcommand{\versioninfo}{Version \RCSRevision; Last commit \RCSDate} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
26 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
27 |
% diagrams ------------------------------------------------------- |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
28 |
% figures --------------------------------------------------------- |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
29 |
%%% borrowed from Dror's cobordisms paper, use this to include eps or pdf graphics. |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
30 |
\ifpdf |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
31 |
\newcommand{\pathtodiagrams}{\pathtotrunk diagrams/pdf/} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
32 |
\else |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
33 |
\newcommand{\pathtodiagrams}{\pathtotrunk diagrams/eps/} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
34 |
\fi |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
35 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
36 |
\newcommand{\mathfig}[2]{{\hspace{-3pt}\begin{array}{c}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
37 |
\raisebox{-2.5pt}{\includegraphics[width=#1\textwidth]{\pathtodiagrams #2}}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
38 |
\end{array}\hspace{-3pt}}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
39 |
\newcommand{\reflectmathfig}[2]{{\hspace{-3pt}\begin{array}{c}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
40 |
\raisebox{-2.5pt}{\reflectbox{\includegraphics[width=#1\textwidth]{\pathtodiagrams #2}}}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
41 |
\end{array}\hspace{-3pt}}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
42 |
\newcommand{\rotatemathfig}[3]{{\hspace{-3pt}\begin{array}{c}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
43 |
\raisebox{-2.5pt}{\rotatebox{#2}{\includegraphics[height=#1\textwidth]{\pathtodiagrams #3}}}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
44 |
\end{array}\hspace{-3pt}}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
45 |
\newcommand{\placefig}[2]{\includegraphics[width=#1\linewidth]{\pathtodiagrams #2}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
46 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
47 |
\ifpdf |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
48 |
\usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
49 |
\else |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
50 |
\usepackage[dvips,plainpages=false,hypertexnames=false]{hyperref} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
51 |
\fi |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
52 |
\newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
53 |
\newcommand{\doi}[1]{\href{http://dx.doi.org/#1}{{\tt DOI:#1}}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
54 |
\newcommand{\mathscinet}[1]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{\tt #1}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
55 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
56 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
57 |
% THEOREMS ------------------------------------------------------- |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
58 |
\theoremstyle{plain} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
59 |
\newtheorem*{fact}{Fact} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
60 |
\newtheorem{prop}{Proposition}[section] |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
61 |
\newtheorem{conj}[prop]{Conjecture} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
62 |
\newtheorem{thm}[prop]{Theorem} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
63 |
\newtheorem{lem}[prop]{Lemma} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
64 |
\newtheorem{lemma}[prop]{Lemma} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
65 |
\newtheorem{cor}[prop]{Corollary} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
66 |
\newtheorem*{cor*}{Corollary} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
67 |
\newtheorem*{exc}{Exercise} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
68 |
%\theoremstyle{definition} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
69 |
\newtheorem{defn}[prop]{Definition} % numbered definition |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
70 |
\newtheorem*{defn*}{Definition} % unnumbered definition |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
71 |
\newtheorem{question}{Question} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
72 |
\newtheorem{property}{Property} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
73 |
\newenvironment{rem}{\noindent\textsl{Remark.}}{} % perhaps looks better than rem above? |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
74 |
\numberwithin{equation}{section} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
75 |
%\numberwithin{figure}{section} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
76 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
77 |
% Marginal notes in draft mode ----------------------------------- |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
78 |
\newcommand{\scott}[1]{\stepcounter{comment}{{\color{blue} $\star^{(\arabic{comment})}$}}\marginpar{\color{blue} $\star^{(\arabic{comment})}$ \usefont{T1}{scott}{m}{n} #1 --S}} % draft mode |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
79 |
\newcommand{\kevin}[1]{\stepcounter{comment}{\color{green} $\star^{(\arabic{comment})}$}\marginpar{\color{green} $\star^{(\arabic{comment})}$ #1 --K}} % draft mode |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
80 |
\newcommand{\comment}[1]{\stepcounter{comment}$\star^{(\arabic{comment})}$\marginpar{\tiny $\star^{(\arabic{comment})}$ #1}} % draft mode |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
81 |
\newcounter{comment} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
82 |
\newcommand{\noop}[1]{} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
83 |
\newcommand{\todo}[1]{\textbf{TODO: #1}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
84 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
85 |
% \mathrlap -- a horizontal \smash-------------------------------- |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
86 |
% For comparison, the existing overlap macros: |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
87 |
% \def\llap#1{\hbox to 0pt{\hss#1}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
88 |
% \def\rlap#1{\hbox to 0pt{#1\hss}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
89 |
\def\clap#1{\hbox to 0pt{\hss#1\hss}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
90 |
\def\mathllap{\mathpalette\mathllapinternal} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
91 |
\def\mathrlap{\mathpalette\mathrlapinternal} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
92 |
\def\mathclap{\mathpalette\mathclapinternal} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
93 |
\def\mathllapinternal#1#2{% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
94 |
\llap{$\mathsurround=0pt#1{#2}$}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
95 |
\def\mathrlapinternal#1#2{% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
96 |
\rlap{$\mathsurround=0pt#1{#2}$}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
97 |
\def\mathclapinternal#1#2{% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
98 |
\clap{$\mathsurround=0pt#1{#2}$}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
99 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
100 |
% MATH ----------------------------------------------------------- |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
101 |
\newcommand{\Natural}{\mathbb N} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
102 |
\newcommand{\Integer}{\mathbb Z} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
103 |
\newcommand{\Rational}{\mathbb Q} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
104 |
\newcommand{\Real}{\mathbb R} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
105 |
\newcommand{\Complex}{\mathbb C} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
106 |
\newcommand{\Field}{\mathbb F} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
107 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
108 |
\newcommand{\Id}{\boldsymbol{1}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
109 |
\renewcommand{\imath}{\mathfrak{i}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
110 |
\renewcommand{\jmath}{\mathfrak{j}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
111 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
112 |
\newcommand{\qRing}{\Integer[q,q^{-1}]} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
113 |
\newcommand{\qMod}{\qRing-\operatorname{Mod}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
114 |
\newcommand{\ZMod}{\Integer-\operatorname{Mod}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
115 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
116 |
\newcommand{\into}{\hookrightarrow} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
117 |
\newcommand{\onto}{\twoheadrightarrow} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
118 |
\newcommand{\iso}{\cong} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
119 |
\newcommand{\actsOn}{\circlearrowright} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
120 |
\newcommand{\isoto}{\xrightarrow{\iso}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
121 |
\newcommand{\quismto}{\xrightarrow[\text{q.i.}]{\iso}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
122 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
123 |
\newcommand{\htpy}{\simeq} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
124 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
125 |
\newcommand{\restrict}[2]{#1{}_{\mid #2}{}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
126 |
\newcommand{\set}[1]{\left\{#1\right\}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
127 |
\newcommand{\setc}[2]{\left\{#1 \;\left| \; #2 \right. \right\}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
128 |
\newcommand{\relations}[2]{\left<#1 \;\left| \; #2 \right. \right>} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
129 |
\newcommand{\cone}[3]{C\left(#1 \xrightarrow{#2} #3\right)} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
130 |
\newcommand{\pairing}[2]{\left\langle#1 ,#2 \right\rangle} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
131 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
132 |
\newcommand{\floor}[1]{\left\lfloor#1\right\rfloor} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
133 |
\newcommand{\norm}[1]{\left|\left|#1\right|\right|} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
134 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
135 |
\newcommand{\card}[1]{\sharp{#1}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
136 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
137 |
\newcommand{\bdy}{\partial} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
138 |
\newcommand{\compose}{\circ} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
139 |
\newcommand{\eset}{\emptyset} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
140 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
141 |
\newcommand{\Cat}{\mathcal{C}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
142 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
143 |
\newcommand{\psmallmatrix}[1]{\left(\begin{smallmatrix} #1 \end{smallmatrix}\right)} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
144 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
145 |
\newcommand{\qiq}[2]{[#1]_{#2}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
146 |
\newcommand{\qi}[1]{\qiq{#1}{q}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
147 |
\newcommand{\qdim}{\operatorname{dim_q}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
148 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
149 |
\newcommand{\directSum}{\oplus} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
150 |
\newcommand{\DirectSum}{\bigoplus} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
151 |
\newcommand{\tensor}{\otimes} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
152 |
\newcommand{\Tensor}{\bigotimes} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
153 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
154 |
\newcommand{\db}[1]{\left(\left(#1\right)\right)} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
155 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
156 |
\newcommand{\Mat}[1]{\mathbf{Mat}\left(#1\right)} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
157 |
\newcommand{\Inv}[1]{\operatorname{Inv}\left(#1\right)} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
158 |
\newcommand{\Hom}[3]{\operatorname{Hom}_{#1}\left(#2,#3\right)} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
159 |
\newcommand{\End}[1]{\operatorname{End}\left(#1\right)} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
160 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
161 |
\newcommand{\CD}[1]{C_*(\Diff(#1))} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
162 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
163 |
\newcommand{\directSumStack}[2]{{\begin{matrix}#1 \\ \DirectSum \\#2\end{matrix}}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
164 |
\newcommand{\directSumStackThree}[3]{{\begin{matrix}#1 \\ \DirectSum \\#2 \\ \DirectSum \\#3\end{matrix}}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
165 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
166 |
\newcommand{\grading}[1]{{\color{blue}\{#1\}}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
167 |
\newcommand{\shift}[1]{\left[#1\right]} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
168 |
|
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
169 |
\newenvironment{narrow}[2]{% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
170 |
\vspace{-0.4cm}% horrible hack, by scott % this only seems to be appropriate in beamer mode... |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
171 |
\begin{list}{}{% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
172 |
\setlength{\topsep}{0pt}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
173 |
\setlength{\leftmargin}{#1}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
174 |
\setlength{\rightmargin}{#2}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
175 |
\setlength{\listparindent}{\parindent}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
176 |
\setlength{\itemindent}{\parindent}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
177 |
\setlength{\parsep}{\parskip}}% |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
178 |
\item[]}{\end{list}} |
538f38ddf395
a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
28
diff
changeset
|
179 |
% ---------------------------------------------------------------- |