author | Scott Morrison <scott@tqft.net> |
Sun, 24 Oct 2010 22:48:18 -0700 | |
changeset 571 | f958e0ea62f8 |
child 572 | e0f5ec582725 |
permissions | -rw-r--r-- |
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
1 |
%auto-ignore |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
2 |
%!TEX root = pnas.tex |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
3 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
4 |
\def\bc{{\mathcal B}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
5 |
\def\btc{{\mathcal{BT}}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
6 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
7 |
\newcommand{\HC}{\operatorname{Hoch}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
8 |
\newcommand{\HH}{\operatorname{HH}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
9 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
10 |
\newcommand{\CM}[2]{C_*(\Maps(#1 \to #2))} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
11 |
\newcommand{\CD}[1]{C_*(\Diff(#1))} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
12 |
\newcommand{\CH}[1]{C_*(\Homeo(#1))} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
13 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
14 |
\newcommand{\cl}[1]{\underrightarrow{#1}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
15 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
16 |
\newcommand{\Set}{\text{\textbf{Set}}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
17 |
\newcommand{\Vect}{\text{\textbf{Vect}}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
18 |
\newcommand{\Kom}{\text{\textbf{Kom}}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
19 |
\newcommand{\Cat}{\mathcal{C}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
20 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
21 |
\newcommand{\cell}{\mathfrak{D}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
22 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
23 |
\newcommand{\into}{\hookrightarrow} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
24 |
\newcommand{\onto}{\twoheadrightarrow} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
25 |
\newcommand{\iso}{\cong} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
26 |
\newcommand{\quism}{\underset{\text{q.i.}}{\simeq}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
27 |
\newcommand{\htpy}{\simeq} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
28 |
\newcommand{\actsOn}{\circlearrowright} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
29 |
\newcommand{\xto}[1]{\xrightarrow{#1}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
30 |
\newcommand{\isoto}{\xto{\iso}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
31 |
\newcommand{\quismto}{\xrightarrow[\text{q.i.}]{\iso}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
32 |
\newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
33 |
\newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
34 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
35 |
\newcommand{\directSum}{\oplus} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
36 |
\newcommand{\DirectSum}{\bigoplus} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
37 |
\newcommand{\tensor}{\otimes} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
38 |
\newcommand{\Tensor}{\bigotimes} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
39 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
40 |
\newcommand{\selfarrow}{\ensuremath{\smash{\tikz[baseline]{\draw[->] (0,0.2) .. controls (0.6,0.8) and (0.6,-0.6) .. (0,0);}}}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
41 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
42 |
\newcommand{\bdy}{\partial} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
43 |
\newcommand{\compose}{\circ} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
44 |
\newcommand{\eset}{\emptyset} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
45 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
46 |
\newcommand{\id}{\boldsymbol{1}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
47 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
48 |
\newtheorem{property}{Property} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
49 |
\newenvironment{rem}{\noindent\textsl{Remark.}}{} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
50 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
51 |
% \mathrlap -- a horizontal \smash-------------------------------- |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
52 |
% For comparison, the existing overlap macros: |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
53 |
% \def\llap#1{\hbox to 0pt{\hss#1}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
54 |
% \def\rlap#1{\hbox to 0pt{#1\hss}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
55 |
\def\clap#1{\hbox to 0pt{\hss#1\hss}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
56 |
\def\mathllap{\mathpalette\mathllapinternal} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
57 |
\def\mathrlap{\mathpalette\mathrlapinternal} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
58 |
\def\mathclap{\mathpalette\mathclapinternal} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
59 |
\def\mathllapinternal#1#2{% |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
60 |
\llap{$\mathsurround=0pt#1{#2}$}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
61 |
\def\mathrlapinternal#1#2{% |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
62 |
\rlap{$\mathsurround=0pt#1{#2}$}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
63 |
\def\mathclapinternal#1#2{% |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
64 |
\clap{$\mathsurround=0pt#1{#2}$}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
65 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
66 |
% packages |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
67 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
68 |
\usepackage{tikz} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
69 |
\usetikzlibrary{shapes} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
70 |
\usetikzlibrary{backgrounds} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
71 |
\usetikzlibrary{decorations,decorations.pathreplacing} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
72 |
\usetikzlibrary{fit,calc,through} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
73 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
74 |
\usepackage[all,color]{xy} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
75 |
\SelectTips{cm}{} |