% MJOARTI.STY % LaTeX style file for typesetting papers % By Martin J. Osborne (martin.osborne@utoronto.ca) % Version: 97/10/16 % LaTeX2e style file for academic papers. % load after article.cls \renewcommand{\descriptionlabel}[1]{\hspace\labelsep \normalfont\bfseries #1\phantom{.}} \setlength\tabcolsep{12\p@} \renewcommand*{\l@section}[2]{% \ifnum \c@tocdepth >\z@ \addpenalty{\@secpenalty}% \addvspace{1.0em \@plus\p@}% \setlength\@tempdima{1.5em}% \begingroup \parindent \z@ \rightskip \@pnumwidth \parfillskip -\@pnumwidth \leavevmode \bfseries #1\nobreak\hfil \nobreak\hbox to\@pnumwidth{\hss #2}\par \endgroup \fi} \long\def\@makecaption#1#2{% \vskip\abovecaptionskip \sbox\@tempboxa{\footnotesize{\bf #1}. #2}% \ifdim \wd\@tempboxa >\hsize \footnotesize{\bf #1}. #2\par \else \global \@minipagefalse \hbox to\hsize{\hfil\box\@tempboxa\hfil}% \fi \vskip\belowcaptionskip} \def\thickhline{\noalign{\vskip-3\arrayrulewidth}% \noalign{\ifnum0=`}\fi\hrule \@height 3\arrayrulewidth \futurelet \@tempa\@xhline% \noalign{\vskip-3\arrayrulewidth}} %% The following should be used to lower the text on lines which %% follow a \thickhline \def\dn#1{\protect\raisebox{-2\arrayrulewidth}{#1}} \def\adjskip{\noalign{\vskip-\arrayrulewidth}} \newtheorem{definition}{Definition} \newtheorem{theorem}[definition]{Theorem} \newtheorem{assumption}[definition]{Assumption} \newtheorem{lemma}{Lemma} \newtheorem{proposition}{Proposition} \newtheorem{conjecture}[definition]{Conjecture} \newtheorem{corollary}[definition]{Corollary} % following requires \usepackage{amssymb} (for \Box) \newcommand{\qed}{\hspace*{\fill}$\Box$\bigskip} \newcommand{\qedd}{\hspace*{\fill}$\Box$\endtrivlist} \def\argmax{\mathop{\rm arg\,max}} \def\labelitemii{\raisebox{1.5pt}{\tiny$\m@th\bullet$}} \def\labelitemiii{\raisebox{1.5pt}{\tiny$\m@th\circ$}} \def\labelitemiv{$\ast$} %\newfont{\mjofnt}{mjofnt} %font for solid right-pointing triangle \def\realR{\mathbb{R}} % needs amssymb and amsmath packages %\def\realR{\Bbb{R}} % Ťobsolete" \textwidth 5.5in \textheight 8in \oddsidemargin 1.5in \evensidemargin 1.5in \topmargin 1in \renewcommand{\section}{\@startsection {section}{1}{\z@}% {-3.5ex \@plus -1ex \@minus -.2ex}% {2.3ex \@plus.2ex}% {\reset@font\bfseries}} \renewcommand{\subsection}{\@startsection{subsection}{2}{\z@}% {-3.25ex\@plus -1ex \@minus -.2ex}% {1.5ex \@plus .2ex}% {\reset@font\itshape}} \renewcommand{\subsubsection}{\@startsection{subsubsection}{3}{\z@}% {-3.25ex\@plus -1ex \@minus -.2ex}% {-1em}% {\reset@font\normalsize\itshape}} \renewcommand{\paragraph}{\@startsection{paragraph}{4}{\z@}% {2ex \@plus1ex \@minus.2ex}% {-1em}% {\reset@font\normalsize\itshape}} \renewcommand{\subparagraph}{\@startsection{subparagraph}{5}{\parindent}% {3.25ex \@plus1ex \@minus .2ex}% {-1em}% {\reset@font\normalsize\bfseries}} %Modification of LATEX.LTX's \@sect to put a period after a section number %(but not after a subsection number). [The modification is in lines 4--7.] \def\@sect#1#2#3#4#5#6[#7]#8{% \ifnum #2>\c@secnumdepth\let\@svsec\@empty% \else \ifnum #2=\@ne\refstepcounter{#1}% \protected@edef\@svsec{\csname the#1\endcsname.\hskip 1em } \else\refstepcounter{#1}% \protected@edef\@svsec{\csname the#1\endcsname\hskip 1em }\fi \fi \@tempskipa #5\relax \ifdim \@tempskipa>\z@ \begingroup #6\relax \@hangfrom{\hskip #3\relax\@svsec}% {\interlinepenalty \@M #8\par}% \endgroup \csname #1mark\endcsname{#7}\addcontentsline {toc}{#1}{\ifnum #2>\c@secnumdepth \else \protect\numberline{\csname the#1\endcsname}\fi #7}\else \def\@svsechd{#6\hskip #3\relax %% \relax added 2 May 90 \@svsec #8\csname #1mark\endcsname {#7}\addcontentsline {toc}{#1}{\ifnum #2>\c@secnumdepth \else \protect\numberline{\csname the#1\endcsname}% \fi #7}}\fi \@xsect{#5}} \def\thesection {\arabic{section}} \def\thesubsection {\thesection.\arabic{subsection}} \def\thesubsubsection {\thesubsection.\arabic{subsubsection}} \def\theparagraph {\thesubsubsection.\arabic{paragraph}} \def\thesubparagraph {\theparagraph.\arabic{subparagraph}} \newif\ifdraft \draftfalse % following is needed because XY2TEX substitutes '' for any " in file \def\umlaut#1{\"{#1}} % for descriptions of games: \newenvironment{gdescription} {\list{}{\labelwidth\z@ \itemindent\parindent% \advance\itemindent by-\leftmargin% \let\makelabel\gdescriptionlabel}} {\endlist} \newcommand*\gdescriptionlabel[1]{\hspace\labelsep \normalfont\sffamily\slshape #1\hskip 1.5pt\ } \def\wpib{\mathrel{{\succsim}_i|}} \def\divline{\par\vspace{2mm}\par\hrule\par\vspace{2mm}\par} %%%%%%%%%%%%%%%%%%% % proof environment, from amsthm.sty %%%%%%%%%%%%%%%%%%% \let\QED@stack\@empty \let\qed@elt\relax \newcommand{\pushQED}[1]{% \toks@{\qed@elt{#1}}\@temptokena\expandafter{\QED@stack}% \xdef\QED@stack{\the\toks@\the\@temptokena}% } \newcommand{\popQED}{% \begingroup\let\qed@elt\popQED@elt \QED@stack\relax\relax\endgroup } \def\popQED@elt#1#2\relax{#1\gdef\QED@stack{#2}} \newcommand{\qedhere}{% \begingroup \let\mathqed\math@qedhere \let\qed@elt\setQED@elt \QED@stack\relax\relax \endgroup } \newif\ifmeasuring@ \newif\iffirstchoice@ \firstchoice@true \def\setQED@elt#1#2\relax{% \ifmeasuring@ \else \iffirstchoice@ \gdef\QED@stack{\qed@elt{}#2}\fi \fi #1% } \def\qed@warning{% \PackageWarning{amsthm}{The \@nx\qedhere command may not work correctly here}% } \newcommand{\mathqed}{\quad\hbox{\qedsymbol}} \def\linebox@qed{\hfil\hbox{\qedsymbol}\hfilneg} \@ifpackageloaded{amsmath}{% \def\math@qedhere{% \@ifundefined{\@currenvir @qed}{% \qed@warning\quad\hbox{\qedsymbol}% }{% \@xp\aftergroup\csname\@currenvir @qed\endcsname }% } \def\displaymath@qed{% \relax \ifmmode \ifinner \aftergroup\linebox@qed \else \eqno \let\eqno\relax \let\leqno\relax \let\veqno\relax \hbox{\qedsymbol}% \fi \else \aftergroup\linebox@qed \fi } \@xp\let\csname equation*@qed\endcsname\displaymath@qed \def\equation@qed{% \iftagsleft@ \hbox{\phantom{\quad\qedsymbol}}% \gdef\alt@tag{% \rlap{\hbox to\displaywidth{\hfil\qedsymbol}}% \global\let\alt@tag\@empty }% \else \gdef\alt@tag{% \global\let\alt@tag\@empty \vtop{\ialign{\hfil####\cr \tagform@\theequation\cr \qedsymbol\cr}}% \setbox\z@ }% \fi } \def\qed@tag{% \global\tag@true \nonumber &\omit\setboxz@h {\strut@ \qedsymbol}\tagsleft@false \place@tag@gather \kern-\tabskip \ifst@rred \else \global\@eqnswtrue \fi \global\advance\row@\@ne \cr } \def\split@qed{% \def\endsplit{\crcr\egroup \egroup \ctagsplit@false \rendsplit@ \aftergroup\align@qed }% } \def\align@qed{% \ifmeasuring@ \tag*{\qedsymbol}% \else \let\math@cr@@@\qed@tag \fi } \@xp\let\csname align*@qed\endcsname\align@qed \@xp\let\csname gather*@qed\endcsname\align@qed %% Needs some patching up for amsmath 1.2 }{% end of amsmath branch, start plain LaTeX branch \def\math@qedhere{% \@ifundefined{\@currenvir @qed}{% \qed@warning \aftergroup\displaymath@qed }{% \@xp\aftergroup\csname\@currenvir @qed\endcsname }% } \def\displaymath@qed{% \relax \ifmmode \ifinner \aftergroup\aftergroup\aftergroup\linebox@qed \else \eqno \def\@badmath{$$}% \let\eqno\relax \let\leqno\relax \let\veqno\relax \hbox{\qedsymbol}% \fi \else \aftergroup\linebox@qed \fi } \@ifundefined{ver@leqno.clo}{% \def\equation@qed{\displaymath@qed \quad}% }{% \def\equation@qed{\displaymath@qed}% } \def\@tempa#1$#2#3\@nil{% \def\[{#1$#2\def\@currenvir{displaymath}#3}% }% \expandafter\@tempa\[\@nil } \@ifpackageloaded{amstex}{% \def\@tempa{TT}% }{% \@ifpackageloaded{amsmath}{% \def\@tempb#1 v#2.#3\@nil{#2}% \ifnum\@xp\@xp\@xp\@tempb\csname ver@amsmath.sty\endcsname v0.0\@nil <\tw@ \def\@tempa{TT}% \else \def\@tempa{TF}% \fi }{% \def\@tempa{TF} }% } \if\@tempa \renewcommand{\math@qedhere}{\quad\hbox{\qedsymbol}}% \fi \newcommand{\openbox}{\leavevmode \hbox to.77778em{% \hfil\vrule \vbox to.675em{\hrule width.6em\vfil\hrule}% \vrule\hfil}} \DeclareRobustCommand{\textsquare}{% \begingroup \usefont{U}{msa}{m}{n}\thr@@\endgroup } \providecommand{\qedsymbol}{\openbox} \newenvironment{proof}[1][\proofname]{\par \pushQED{\qed}% \normalfont \topsep6\p@\@plus6\p@\relax \trivlist \item[\hskip\labelsep \itshape #1\@addpunct{.}]\ignorespaces }{% \popQED\endtrivlist\@endpefalse } \providecommand{\proofname}{Proof}