\theoremstyle{plain}
\newtheorem{principle}{Principle}
\newtheorem{axiom}{Axiom}
\newtheorem{theorem}{Theorem}
\newtheorem{fact}{Fact}
\newtheorem{proposition}{Proposition}[section]
\newtheorem{lemma}[proposition]{Lemma}
\newtheorem{corollary}[proposition]{Corollary}
\newtheorem{claim}[proposition]{Claim}
\newtheorem{conjecture}{Conjecture}

\theoremstyle{definition}
\newtheorem{definition}[proposition]{Definition}
\newtheorem{lemmadefinition}[proposition]{Lemma-Definition}
\newtheorem{problem}[proposition]{Problem}
\newtheorem{question}{Question}
\newtheorem{solution}{Solution}
\newtheorem{prize}{Prize}

\theoremstyle{remark}
\newtheorem{example}[proposition]{Example}
\newtheorem{exercise}[proposition]{Exercise}
\newtheorem{hint}[proposition]{Hint}
\newtheorem{remark}[proposition]{Remark}
\newtheorem{warning}[proposition]{Warning}

\def\printname#1{
	\if\draft y
		\smash{\makebox[0pt]{\hspace{-0.5in}
			\raisebox{8pt}{\tt\tiny #1}}}
	\fi
}

\newcommand{\mathmode}[1]{$#1$}
\newcommand{\psdraw}[2]
        {\begin{array}{c} \hspace{-1.3mm}
	\raisebox{-4pt}{\psfig{figure=draws/#1.ps,width=#2}}
	\hspace{-1.9mm}\end{array}}
\newlength{\standardunitlength}
\setlength{\standardunitlength}{0.00083333in}
\newcommand{\eepic}[2]
	{\printname{#1}
	\setlength{\unitlength}{#2\standardunitlength}
	\begin{array}{c}  \hspace{-1.7mm}
        	\raisebox{-8pt}{\input draws/#1.tex }
        	\hspace{-1.9mm}
	\end{array}
}
\newcommand{\silenteepic}[2]
	{\setlength{\unitlength}{#2\standardunitlength}
	\begin{array}{c}  \hspace{-1.7mm}
        	\raisebox{-2pt}{\input draws/#1.tex }
        	\hspace{-1.9mm}
	\end{array}
}
\newcommand{\fig}[1]{figure~\ref{#1}}

\catcode`\@=11
\long\def\@makecaption#1#2{%
    \vskip 10pt
    \setbox\@tempboxa\hbox{%\ifvoid\tinybox\else\box\tinybox\fi
      \small\sf{\bfcaptionfont #1. }\ignorespaces #2}%
    \ifdim \wd\@tempboxa >\captionwidth {%
        \rightskip=\@captionmargin\leftskip=\@captionmargin
        \unhbox\@tempboxa\par}%
      \else
        \hbox to\hsize{\hfil\box\@tempboxa\hfil}%
    \fi}
\font\bfcaptionfont=cmssbx10 scaled \magstephalf
\newdimen\@captionmargin\@captionmargin=2\parindent
\newdimen\captionwidth\captionwidth=\hsize
\catcode`\@=12

\newcommand{\Alt}{\operatorname{Alt}}
\newcommand{\Aut}{\operatorname{Aut}}
\newcommand{\End}{\operatorname{End}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\mor}{\operatorname{mor}}
\newcommand{\Span}{\operatorname{span}}
\newcommand{\sign}{\operatorname{sign}}

\def\lbl#1{\label{#1}\printname{#1}}
\def\biblbl#1{\bibitem{#1}\printname{#1}}

\def\qed{{\hfill\text{$\Box$}}}
\def\eqdef{\overset{\text{def}}{=}}

\newenvironment{myitemize}{
	\begin{list}{$\bullet$}{\setlength{\leftmargin}{16pt}
        \setlength{\labelwidth}{12pt}
        \setlength{\labelsep}{4pt}}
}{
	\end{list}
}
\newenvironment{myenumi}{
	\begin{list}{\theunumi}{\usecounter{enumi}
	\setlength{\leftmargin}{20pt}
        \setlength{\labelwidth}{16pt}
        \setlength{\labelsep}{4pt}}
}{
	\end{list}
}

\newlength{\globalparindent}
\setlength{\globalparindent}{\parindent}

\def\arXiv#1{{\href{http://front.math.ucdavis.edu/#1}{arXiv:\linebreak[0]#1}}}