3 %this ensures the arxiv doesn't try to start TeXing here. |
3 %this ensures the arxiv doesn't try to start TeXing here. |
4 |
4 |
5 \usepackage{amsmath,amssymb,amsfonts,amsthm} |
5 \usepackage{amsmath,amssymb,amsfonts,amsthm} |
6 \usepackage{ifpdf} |
6 \usepackage{ifpdf} |
7 |
7 |
8 %\ifpdf |
|
9 %\usepackage[pdftex,all,color]{xy} |
|
10 %\else |
|
11 \usepackage[all,color]{xy} |
8 \usepackage[all,color]{xy} |
12 %\fi |
|
13 |
9 |
14 \usepackage[section]{placeins} |
10 \usepackage[section]{placeins} |
15 \usepackage{leftidx} |
11 \usepackage{leftidx} |
16 \usepackage{stmaryrd} % additional math symbols, e.g. \mapsfrom |
12 \usepackage{stmaryrd} % additional math symbols, e.g. \mapsfrom |
17 \usepackage{microtype} |
13 \usepackage{microtype} |
57 \newtheorem*{lem*}{Lemma} |
53 \newtheorem*{lem*}{Lemma} |
58 \newtheorem{claim}[prop]{Claim} |
54 \newtheorem{claim}[prop]{Claim} |
59 \newtheorem{cor}[prop]{Corollary} |
55 \newtheorem{cor}[prop]{Corollary} |
60 \newtheorem*{cor*}{Corollary} |
56 \newtheorem*{cor*}{Corollary} |
61 \newtheorem*{exc}{Exercise} |
57 \newtheorem*{exc}{Exercise} |
62 %\theoremstyle{definition} |
|
63 \newtheorem{defn}[prop]{Definition} % numbered definition |
58 \newtheorem{defn}[prop]{Definition} % numbered definition |
64 \newtheorem*{defn*}{Definition} % unnumbered definition |
59 \newtheorem*{defn*}{Definition} % unnumbered definition |
65 \newtheorem{question}{Question} |
60 \newtheorem{question}{Question} |
66 \newtheorem{property}{Property} |
61 \newtheorem{property}{Property} |
67 \newtheorem{axiom}{Axiom} |
62 \newtheorem{axiom}{Axiom} |
68 \newtheorem{module-axiom}{Module Axiom} |
63 \newtheorem{module-axiom}{Module Axiom} |
69 %\newenvironment{axiom-numbered}[2]{\textbf{Axiom #1(#2)}\it}{} |
|
70 %\newenvironment{preliminary-axiom}[2]{\textbf{Axiom #1 [preliminary] (#2)}\it}{} |
|
71 \newtheorem{example}[prop]{Example} |
|
72 %\newenvironment{example}[1]{\textbf{Example (#1)}}{} %% how do you do numbering? |
|
73 \newenvironment{rem}{\noindent\textsl{Remark.}}{} % perhaps looks better than rem above? |
64 \newenvironment{rem}{\noindent\textsl{Remark.}}{} % perhaps looks better than rem above? |
74 \numberwithin{equation}{section} |
65 \numberwithin{equation}{section} |
75 %\numberwithin{figure}{section} |
66 %% example is defined in article_preamble.tex, for compatibility with beamer. |
76 %\newtheorem{nonaxiom}{Not-An-Axiom} |
67 |
77 |
68 |
78 % Marginal notes in draft mode ----------------------------------- |
69 % Marginal notes in draft mode ----------------------------------- |
79 \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 |
70 \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 |
80 \newcommand{\kevin}[1]{\stepcounter{comment}{\color[rgb]{.2,.5,.6} $\star^{(\arabic{comment})}$}\marginpar{\color{green} $\star^{(\arabic{comment})}$ #1 --K}} % draft mode |
71 \newcommand{\kevin}[1]{\stepcounter{comment}{\color[rgb]{.2,.5,.6} $\star^{(\arabic{comment})}$}\marginpar{\color{green} $\star^{(\arabic{comment})}$ #1 --K}} % draft mode |
81 \newcommand{\comment}[1]{\stepcounter{comment}$\star^{(\arabic{comment})}$\marginpar{\tiny $\star^{(\arabic{comment})}$ #1}} % draft mode |
72 \newcommand{\comment}[1]{\stepcounter{comment}$\star^{(\arabic{comment})}$\marginpar{\tiny $\star^{(\arabic{comment})}$ #1}} % draft mode |