34 \newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}} |
34 \newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}} |
35 \newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}} |
35 \newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}} |
36 |
36 |
37 \newcommand{\directSum}{\oplus} |
37 \newcommand{\directSum}{\oplus} |
38 \newcommand{\DirectSum}{\bigoplus} |
38 \newcommand{\DirectSum}{\bigoplus} |
39 \newcommand{\ot}{\otimes} |
|
40 \newcommand{\tensor}{\otimes} |
39 \newcommand{\tensor}{\otimes} |
41 \newcommand{\Tensor}{\bigotimes} |
40 \newcommand{\Tensor}{\bigotimes} |
42 |
41 |
43 \newcommand{\Bord}{\operatorname{Bord}} |
42 \newcommand{\Bord}{\operatorname{Bord}} |
44 |
43 |
45 \newcommand{\selfarrow}{\ensuremath{\smash{\tikz[baseline]{\clip (0,0.36) rectangle (0.39,-0.16); \draw[->] (0,0.2) .. controls (0.5,0.6) and (0.5,-0.4) .. (0,0);}}}} |
44 \newcommand{\selfarrow}{\ensuremath{\smash{\tikz[baseline]{\clip (0,0.36) rectangle (0.39,-0.16); \draw[->] (0,0.2) .. controls (0.5,0.6) and (0.5,-0.4) .. (0,0);}}}} |
46 |
45 |
47 \newcommand{\bd}{\partial} |
|
48 \newcommand{\bdy}{\partial} |
46 \newcommand{\bdy}{\partial} |
49 \newcommand{\du}{\sqcup} |
|
50 \newcommand{\compose}{\circ} |
47 \newcommand{\compose}{\circ} |
51 \newcommand{\eset}{\emptyset} |
48 \newcommand{\eset}{\emptyset} |
|
49 |
|
50 \newcommand{\id}{\boldsymbol{1}} |
|
51 |
|
52 % kw_macros |
|
53 |
|
54 %!TEX root = ../blob1.tex |
|
55 |
|
56 %%%%% excerpts from KW's include file of standard macros |
|
57 %%% (with various new ones added) |
|
58 |
|
59 \def\z{\mathbb{Z}} |
|
60 \def\r{\mathbb{R}} |
|
61 \def\c{\mathbb{C}} |
|
62 \def\t{\mathbb{T}} |
|
63 \def\ebb{\mathbb{E}} |
|
64 |
|
65 \def\k{{\bf k}} |
|
66 |
|
67 \def\du{\sqcup} |
|
68 \def\bd{\partial} |
|
69 \def\sub{\subset} |
|
70 \def\subeq{\subseteq} |
|
71 \def\sup{\supset} |
|
72 %\def\setmin{\smallsetminus} |
|
73 \def\setmin{\setminus} |
|
74 \def\ep{\epsilon} |
|
75 \def\sgl{_\mathrm{gl}} |
|
76 \def\op{^\mathrm{op}} |
|
77 \def\deq{\stackrel{\mathrm{def}}{=}} |
|
78 \def\pd#1#2{\frac{\partial #1}{\partial #2}} |
|
79 %\def\lf{\overline{\cC}} |
|
80 \def\lf{\cC} |
|
81 \def\ot{\otimes} |
|
82 \def\vphi{\varphi} |
|
83 \def\inv{^{-1}} |
|
84 \def\ol{\overline} |
|
85 \def\BD{BD} |
|
86 |
52 \def\spl{_\pitchfork} |
87 \def\spl{_\pitchfork} |
53 |
88 |
54 \newcommand{\id}{\boldsymbol{1}} |
89 |
|
90 % equations |
|
91 \newcommand{\eq}[1]{\begin{displaymath}#1\end{displaymath}} |
|
92 \newcommand{\eqar}[1]{\begin{eqnarray*}#1\end{eqnarray*}} |
|
93 \newcommand{\eqspl}[1]{\begin{displaymath}\begin{split}#1\end{split}\end{displaymath}} |
|
94 |
|
95 \DeclareMathOperator*{\colim}{colim} |
|
96 \DeclareMathOperator*{\hocolim}{hocolim} |
|
97 |
|
98 \DeclareMathOperator{\most}{most} |
|
99 \DeclareMathOperator{\rest}{rest} |
|
100 |
|
101 |
|
102 \DeclareMathOperator{\kone}{cone} |
|
103 |
|
104 |
|
105 % new theorems |
55 |
106 |
56 \newtheorem{prop}{Proposition} |
107 \newtheorem{prop}{Proposition} |
57 \newtheorem{property}[prop]{Property} |
108 \newtheorem{property}[prop]{Property} |
58 \newtheorem{thm}[prop]{Theorem} |
109 \newtheorem{thm}[prop]{Theorem} |
59 \newtheorem{lem}[prop]{Lemma} |
110 \newtheorem{lem}[prop]{Lemma} |