%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%% Modification log+
−
%%+
−
%% 2004/03/25 v0.1 based on amsart.cls, inspired by jair.sty +
−
%% 2004/09/01 v0.2 based on amsart.cls+
−
%% 2004/10/12 v0.3 based on amsart.cls+
−
%% 2004/12/16 v0.4 based on amsart.cls+
−
%% 2005/01/24 v0.5 based on amsart.cls+
−
%% 2005/03/10 v0.6 based on amsart.cls+
−
%% 2006/07/24 v0.7 based on amsart.cls+
−
%% 2007/11/13 v0.8 based on amsart.cls+
−
%%                +
−
%%                 Juergen Koslowski, Stefan Milius+
−
%%+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
+
−
\NeedsTeXFormat{LaTeX2e}+
−
\ProvidesClass{lmcs}+
−
              [2009/05/25 v0.8 LMCS Layout Editor Class]+
−
\DeclareOption*{\PassOptionsToClass{\CurrentOption}{amsart}}+
−
\ProcessOptions\relax+
−
+
−
\LoadClass[11pt,reqno]{amsart}+
−
\usepackage{helvet,cclicenses}+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%   		Use of this class, cf. also lmcs-smp.tex+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%+
−
% This class builds upon the amsart class of AMS-LaTeX and requires use+
−
% of LaTeX 2e. +
−
%+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
% 		Start of the paper+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%+
−
% \documentclass{lmcs} +
−
%+
−
% without any options followed optionally by+
−
%+
−
% \usepackage{package1,package2,...}+
−
%+
−
% loading additional macro packages you may wish to use, (eg, xypic, etc.)+
−
% (This also is the place to define further theorem-environments, in case+
−
% those provided by default do not suffice, cf. below.)+
−
%+
−
% \begin{document}+
−
% \title[short_title]{real title}+
−
%+
−
% and a list of author information of the form+
−
%+
−
% \author[short_author1]{Author 1}+
−
% \address{address 1}+
−
% \email{author1@email1}+
−
% \thanks{thanks 1}+
−
%+
−
% \author[short_author2]{Author 2}+
−
% \address{address 2}+
−
% \email{author2@email2}+
−
% \thanks{thanks 2}+
−
%+
−
% \author[short_author3]{Author 3}+
−
% \address{address 3}+
−
% \email{author3@email3}+
−
% \thanks{thanks 3}+
−
%+
−
% The \email and \thanks fields are optional.  The \thanks fields appear+
−
% in footnotes on the title page, the addresses and email information+
−
% is relegated to the end of the article.  The optional arguments to+
−
% the \title and \author macros determine a running head on the odd+
−
% and even pages, respectively.+
−
%+
−
% Lists of keywords and phrases as well as an ACM Subject+
−
% classification are mandatory; these appear in footnotes on the+
−
% title page, preceeding any \thanks fields.+
−
%+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%		Body of the paper+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%+
−
% We encourage the use of LaTeX's crossreferencing capabilities with the+
−
% \label and \ref commands, for sections, subsections, theorems etc., and+
−
% displayed equations and figures.+
−
%+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
% 		Theorems, Definitions etc.+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%+
−
% The following theorem-like environments are available.  The+
−
% numbering is consecutive within sections.+
−
%+
−
% thm   Theorem+
−
% cor   Corollary+
−
% lem   Lemma+
−
% prop  Proposition+
−
% asm   Asumption+
−
%+
−
% defi  Definition+
−
% rem   Remark+
−
% rems  Remarks (intended for use with itemized remarks)+
−
% exa   Example+
−
% exas  Examples (intended for use with itemized examples)+
−
% conj  Conjecture+
−
% prob  Problem+
−
% oprob Open Problem+
−
% algo  Algorithm+
−
% obs   Observation+
−
%+
−
% If you require additional environments, you can add them before+
−
% \begin{document} by means of+
−
%+
−
% \theoremstyle{plain}\newtheorem{env}[thm]{Environment}+
−
%+
−
% or+
−
%+
−
% \theoremstyle{definition}\newtheorem{env}[thm]{Environment}+
−
%+
−
% In the first case the font within the new environment will be italicised.+
−
%+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%		Proofs+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%+
−
% Proofs start with the command \proof and should be ended by \qed,+
−
% which provides an end-of-proof box at the right margin:+
−
%+
−
% \proof ... \qed+
−
%+
−
% In itemized or enumerated proofs the \qed command has to occur BEFORE +
−
% \end{itemize} or \end{enumerate} to ensure proper placement of the box:+
−
%+
−
% \proof+
−
% \begin{itemize}+
−
% \item[(1)] ...+
−
% \item[(2)] ...+
−
% ...+
−
% \item[(n)] ... \qed+
−
% \end{itemize}+
−
%+
−
% Similarly, the box may be used within theorem environments, when no+
−
% explicit proof is given:+
−
%+
−
% \begin{thm} ... \qed \end{thm}+
−
%+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%		Itemized or enumerated environments and proofs+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%+
−
% By default, the first item of an itemized (or enumerated) environment+
−
% or proof appears inlined on the same line as the environment title.+
−
% This can be prevented by placing \hfill before the itemization, e.g.:+
−
%+
−
% \begin{thm}\label{T:abc}\hfill+
−
% \begin{itemize} ...+
−
%+
−
% \proof\hfill+
−
% \begin{itemize} ...+
−
+
−
+
−
%+
−
%		End of the paper+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%+
−
% Acknowledgements should be placed in a non-numbered section:+
−
%+
−
% \section*{Acknowledgement}+
−
%+
−
% The bibliography uses alpha.bst where references are built from the +
−
% authors' initials and the year of publication.  The use of bibtex+
−
% for creating the bibliography is strongly encouraged.  Then the+
−
% end of the paper takes the form+
−
%+
−
% \begin{thebibliography}{key}+
−
% \end{thebibliography}+
−
% \end{document}+
−
%+
−
% where ``key'' is the longest alphanumerical key expected to occur.+
−
%+
−
% Optionally, appendices can be inserted after the bibliography by+
−
% means of+
−
%+
−
% \end{thebibliography}+
−
% \appendix+
−
% \section{} % Appendix A+
−
% \section{} % Appendix B+
−
% % etc.+
−
% \end{document}+
−
+
−
+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
%%%                   actual macros+
−
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+
−
+
−
\count255=\the\catcode`\@ \catcode`\@=11 \edef\catc@de{\the\count255}+
−
+
−
\newif\ifsuPer \suPertrue+
−
\def\rsuper#1{\ifsuPer${\,}^{\MakeLowercase #1}$\fi}%+
−
\def\lsuper#1{\ \hskip-2 pt\ifsuPer\llap{${}^{\MakeLowercase #1}\ $\fi}}%+
−
+
−
\def\titlecomment#1{\def\@titlecomment{#1}}+
−
\let\@titlecomment=\@empty+
−
\renewcommand{\sfdefault}{phv}+
−
\renewcommand*\subjclass[2][1991]{%+
−
  \def\@subjclass{#2}%+
−
  \@ifundefined{subjclassname@#1}{%+
−
    \ClassWarning{\@classname}{Unknown edition (#1) of ACM+
−
      Subject Classification; using '1991'.}%+
−
  }{%+
−
    \@xp\let\@xp\subjclassname\csname subjclassname@1998\endcsname+
−
  }%+
−
}+
−
\@namedef{subjclassname@1998}{1998 ACM Subject Classification}+
−
\newcommand{\revisionname}{Revision Note}+
−
\newbox\revisionbox+
−
\newenvironment{revision}{%+
−
  \ifx\maketitle\relax+
−
    \ClassWarning{\@classname}{Revision should precede+
−
      \protect\maketitle\space in LMCS documentclasses; reported}%+
−
  \fi+
−
  \global\setbox\revisionbox=\vtop \bgroup+
−
    \normalfont\Small+
−
    \list{}{\labelwidth\z@+
−
      \leftmargin3pc \rightmargin\leftmargin+
−
      \listparindent\normalparindent \itemindent\z@+
−
      \parsep\z@ \@plus\p@+
−
      \let\fullwidthdisplay\relax+
−
    }%+
−
    \item[\hskip\labelsep\scshape\revisionname.]%+
−
}{%+
−
  \endlist\egroup+
−
  \ifx\@setrevision\relax \@setrevisiona \fi+
−
}+
−
\def\@setrevision{\@setrevisiona \global\let\@setrevision\relax}+
−
\def\@setrevisiona{%+
−
  \ifvoid\revisionbox+
−
  \else+
−
    \skip@20\p@ \advance\skip@-\lastskip+
−
    \advance\skip@-\baselineskip \vskip\skip@+
−
    \box\revisionbox+
−
    \prevdepth\z@ % because \revisionbox is a vtop+
−
    \bigskip\hrule\medskip+
−
  \fi+
−
}+
−
\def\@setsubjclass{%+
−
  {\itshape\subjclassname:}\enspace\@subjclass\@addpunct.}+
−
\def\@setkeywords{%+
−
  {\itshape \keywordsname:}\enspace \@keywords\@addpunct.}+
−
\def\@settitlecomment{\@titlecomment\@addpunct.}+
−
\def\@maketitle{%+
−
  \normalfont\normalsize+
−
  \let\@makefnmark\relax  \let\@thefnmark\relax+
−
  \ifx\@empty\@date\else \@footnotetext{\@setdate}\fi+
−
  \ifx\@empty\@subjclass\else \@footnotetext{\@setsubjclass}\fi+
−
  \ifx\@empty\@keywords\else \@footnotetext{\@setkeywords}\fi+
−
  \ifx\@empty\@titlecomment\else \@footnotetext{\@settitlecomment}\fi+
−
  \ifx\@empty\thankses\else \@footnotetext{%+
−
    \def\par{\let\par\@par}\@setthanks\par}\fi+
−
  \@mkboth{\@nx\shortauthors}{\@nx\shorttitle}%+
−
  \global\topskip12\p@\relax % 5.5pc   "   "   "     "     "+
−
  \topskip42 pt\@settitle+
−
  \ifx\@empty\authors \else \@setauthors \fi+
−
  \@setaddresses+
−
  \ifx\@empty\@dedicatory+
−
  \else+
−
    \baselineskip18\p@+
−
    \vtop{\centering{\footnotesize\itshape\@dedicatory\@@par}%+
−
      \global\dimen@i\prevdepth}\prevdepth\dimen@i+
−
  \fi+
−
  \endfront@text+
−
  \bigskip\hrule\medskip+
−
  \@setrevision+
−
  \@setabstract+
−
  \vskip-\bigskipamount+
−
  \normalsize+
−
  \if@titlepage+
−
    \newpage+
−
  \else+
−
    \dimen@34\p@ \advance\dimen@-\baselineskip+
−
    \vskip\dimen@\relax+
−
  \fi+
−
}+
−
\def\@setaddresses{\par+
−
  \nobreak \begingroup+
−
\footnotesize+
−
  \def\author##1{\nobreak\addvspace\bigskipamount}%+
−
  \def\\{\unskip, \ignorespaces}%+
−
  \interlinepenalty\@M+
−
  \def\address##1##2{\begingroup+
−
    \par\addvspace\bigskipamount\noindent\narrower+
−
    \@ifnotempty{##1}{(\ignorespaces##1\unskip) }%+
−
    {\ignorespaces##2}\par\endgroup}%+
−
  \def\curraddr##1##2{\begingroup+
−
    \@ifnotempty{##2}{\nobreak\indent{\itshape Current address}%+
−
      \@ifnotempty{##1}{, \ignorespaces##1\unskip}\/:\space+
−
      ##2\par}\endgroup}%+
−
  \def\email##1##2{\begingroup+
−
    \@ifnotempty{##2}{\nobreak\indent{\itshape e-mail address}%+
−
      \@ifnotempty{##1}{, \ignorespaces##1\unskip}\/:\space+
−
      {##2}\par}\endgroup}%+
−
  \def\urladdr##1##2{\begingroup+
−
    \@ifnotempty{##2}{\nobreak\indent{\itshape URL}%+
−
      \@ifnotempty{##1}{, \ignorespaces##1\unskip}\/:\space+
−
      \ttfamily##2\par}\endgroup}%+
−
  \addresses+
−
  \endgroup+
−
}+
−
\copyrightinfo{}{}+
−
+
−
\newinsert\copyins+
−
\skip\copyins=3pc+
−
\count\copyins=1000 % magnification factor, 1000 = 100%+
−
\dimen\copyins=.5\textheight % maximum allowed per page+
−
+
−
\renewcommand{\topfraction}{0.95}   % let figure take up nearly whole page+
−
\renewcommand{\textfraction}{0.05}  % let figure take up nearly whole page+
−
+
−
%% Specify the dimensions of each page+
−
+
−
\setlength{\oddsidemargin}{.25 in}  %   Note \oddsidemargin = \evensidemargin+
−
\setlength{\evensidemargin}{.25 in}+
−
\setlength{\marginparwidth}{0.07 true in}+
−
\setlength{\topmargin}{-0.7 in}+
−
\addtolength{\headheight}{1.84 pt}+
−
\addtolength{\headsep}{0.25in}+
−
\addtolength{\voffset}{0.7 in}+
−
\setlength{\textheight}{8.5 true in}  % Height of text (including footnotes & figures)+
−
\setlength{\textwidth}{6.0 true in}   % Width of text line.+
−
\setlength{\parindent}{20 pt}   % Width of text line.+
−
\widowpenalty=10000+
−
\clubpenalty=10000+
−
\@twosidetrue \@mparswitchtrue \def\ds@draft{\overfullrule 5pt}+
−
\raggedbottom+
−
+
−
%% Pagestyle+
−
+
−
%% Defines the pagestyle for the title page.+
−
%% Usage: \lmcsheading{vol}{issue}{year}{pages}{subm}{publ}{rev}{spec_iss}{title}+
−
+
−
\def\lmcsheading#1#2#3#4#5#6#7{\def\ps@firstpage{\let\@mkboth\@gobbletwo%+
−
\def\@oddhead{%+
−
\hbox{%+
−
  \vbox to 30 pt{\scriptsize\vfill+
−
    \hbox{\textsf{Logical Methods in Computer Science}\hfil}+
−
    \hbox{\textsf{Vol.~? (?:?) 2???, ? pages}}+
−
    \hbox{\textsf{www.lmcs-online.org}}+
−
    \rlap{\vrule width\hsize depth .4 pt}}}\hfill+
−
\raise 4pt+
−
\hbox{%+
−
  \vbox to 30 pt{\scriptsize\vfill+
−
    \hbox{\textsf{}}+
−
    \hbox{\textsf{}}}}\hfill+
−
\raise 4pt+
−
\hbox{%+
−
  \vbox to 30 pt{\scriptsize\vfill+
−
    \hbox to 94 pt{\textsf{Submitted\hfill date}}+
−
    \hbox to 94 pt{\textsf{Published\hfill date}}+
−
    }}}+
−
\def\@evenhead{}\def\@evenfoot{}}%+
−
\thispagestyle{firstpage}}+
−
+
−
\def\endfront@text{%+
−
    \insert\copyins{\hsize\textwidth+
−
      \fontsize{6}{7\p@}\normalfont\upshape+
−
      \noindent+
−
\hbox{+
−
  \vbox{\fontsize{6}{8 pt}\baselineskip=6 pt\vss+
−
    \hbox{\hbox to 20 pt{\hfill}+
−
          \textsf{LOGICAL METHODS}\hfil}+
−
    \hbox{\hbox to 20 pt{\phantom{x}}+
−
          \textsf{IN COMPUTER SCIENCE}}}}+
−
\hfill\textsf{DOI:10.2168/LMCS-???}+
−
%\hfill\textsf{\copyright\shortauthors}+
−
\hfill+
−
\hbox{+
−
  \vbox{\fontsize{6}{8 pt}\baselineskip=6 pt\vss+
−
    \hbox{\textsf{\,\,\copyright\quad \shortauthors}\hfil}+
−
    \hbox{\textsf{Creative Commons}\hfil}}}+
−
\par\kern\z@}%+
−
}+
−
%\def\endfront@text{}+
−
+
−
\def\enddoc@text{}+
−
+
−
%% Defines the pagestyle for the rest of the pages+
−
%% Usage: \ShortHeadings{Minimizing Conflicts}{Minton et al}+
−
%%	  \ShortHeadings{short title}{short authors}+
−
+
−
%\def\firstpageno#1{\setcounter{page}{#1}}+
−
%\def\ShortHeadings#1#2{\def\ps@lmcsps{\let\@mkboth\@gobbletwo%+
−
%\def\@oddhead{\hfill {\small\sc #1} \hfill}%+
−
%\def\@oddfoot{\hfill \small\rm \thepage \hfill}%+
−
%\def\@evenhead{\hfill {\small\sc #2} \hfill}%+
−
%\def\@evenfoot{\hfill \small\rm \thepage \hfill}}%+
−
%\pagestyle{lmcsps}}+
−
+
−
%% MISCELLANY+
−
+
−
\def\@startsection#1#2#3#4#5#6{\bigskip%+
−
 \if@noskipsec \leavevmode \fi+
−
 \par \@tempskipa #4\relax+
−
 \@afterindentfalse+
−
 \ifdim \@tempskipa <\z@ \@tempskipa -\@tempskipa \@afterindentfalse\fi+
−
 \if@nobreak \everypar{}\else+
−
     \addpenalty\@secpenalty\addvspace\@tempskipa\fi+
−
 \@ifstar{\@dblarg{\@sect{#1}{\@m}{#3}{#4}{#5}{#6}}}%+
−
         {\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}}}%+
−
}+
−
+
−
\def\figurecaption#1#2{\noindent\hangindent 40pt+
−
                       \hbox to 36pt {\small\sl #1 \hfil}+
−
                       \ignorespaces {\small #2}}+
−
% Figurecenter prints the caption title centered.+
−
\def\figurecenter#1#2{\centerline{{\sl #1} #2}}+
−
\def\figurecenter#1#2{\centerline{{\small\sl #1} {\small #2}}}+
−
+
−
%+
−
%  Allow ``hanging indents'' in long captions+
−
%+
−
\long\def\@makecaption#1#2{+
−
   \vskip 10pt +
−
   \setbox\@tempboxa\hbox{#1: #2}+
−
   \ifdim \wd\@tempboxa >\hsize               % IF longer than one line:+
−
       \begin{list}{#1:}{+
−
       \settowidth{\labelwidth}{#1:}+
−
       \setlength{\leftmargin}{\labelwidth}+
−
       \addtolength{\leftmargin}{\labelsep}+
−
        }\item #2 \end{list}\par   % Output in quote mode+
−
     \else                                    %   ELSE  center.+
−
       \hbox to\hsize{\hfil\box\@tempboxa\hfil}  +
−
   \fi}+
−
+
−
+
−
% Define strut macros for skipping spaces above and below text in a+
−
% tabular environment.+
−
\def\abovestrut#1{\rule[0in]{0in}{#1}\ignorespaces}+
−
\def\belowstrut#1{\rule[-#1]{0in}{#1}\ignorespaces}+
−
+
−
%%% Theorem environments+
−
+
−
% the following environments switch to a slanted font:+
−
\theoremstyle{plain}+
−
+
−
\newtheorem{thm}{Theorem}[section]+
−
\newtheorem{cor}[thm]{Corollary}+
−
\newtheorem{lem}[thm]{Lemma}+
−
\newtheorem{prop}[thm]{Proposition}+
−
\newtheorem{asm}[thm]{Assumption}+
−
+
−
% the following environments keep the roman font:+
−
\theoremstyle{definition}+
−
+
−
\newtheorem{rem}[thm]{Remark}+
−
\newtheorem{rems}[thm]{Remarks}+
−
\newtheorem{exa}[thm]{Example}+
−
\newtheorem{exas}[thm]{Examples}+
−
\newtheorem{defi}[thm]{Definition}+
−
\newtheorem{conv}[thm]{Convention}+
−
\newtheorem{conj}[thm]{Conjecture}+
−
\newtheorem{prob}[thm]{Problem}+
−
\newtheorem{oprob}[thm]{Open Problem}+
−
\newtheorem{algo}[thm]{Algorithm}+
−
\newtheorem{obs}[thm]{Observation}+
−
\newtheorem{qu}[thm]{Question}+
−
\newtheorem{fact}[thm]{Fact}+
−
\newtheorem{pty}[thm]{Property}+
−
+
−
\numberwithin{equation}{section}+
−
+
−
% end-of-proof sign, to appear at right margin+
−
% Paul Taylor and Chris Thompson, Cambridge, 1986+
−
%+
−
\def\pushright#1{{%        set up+
−
   \parfillskip=0pt            % so \par doesn't push #1 to left+
−
   \widowpenalty=10000         % so we dont break the page before #1+
−
   \displaywidowpenalty=10000  % ditto+
−
   \finalhyphendemerits=0      % TeXbook exercise 14.32+
−
  %+
−
  %                 horizontal+
−
   \leavevmode                 % \nobreak means lines not pages+
−
   \unskip                     % remove previous space or glue+
−
   \nobreak                    % don't break lines+
−
   \hfil                       % ragged right if we spill over+
−
   \penalty50                  % discouragement to do so+
−
   \hskip.2em                  % ensure some space+
−
   \null                       % anchor following \hfill+
−
   \hfill                      % push #1 to right+
−
   {#1}                        % the end-of-proof mark (or whatever)+
−
  %+
−
  %                   vertical+
−
   \par}}                      % build paragraph+
−
+
−
\def\qEd{{\lower1 pt\hbox{\vbox{\hrule\hbox{\vrule\kern4 pt+
−
    \vbox{\kern4 pt\hbox{\hss}\kern4 pt}\kern4 pt\vrule}\hrule}}}}+
−
\def\qed{\pushright{\qEd}+
−
    \penalty-700 \par\addvspace{\medskipamount}}+
−
+
−
\newenvironment{Proof}[1][\proofname]{\par+
−
  \pushQED{\qed}%+
−
  \normalfont \topsep6\p@\@plus6\p@\relax+
−
  \trivlist+
−
  \item[\hskip\labelsep+
−
        \itshape+
−
    #1]\ignorespaces+
−
}{%+
−
  \popQED\endtrivlist\@endpefalse+
−
}+
−
\newenvironment{iteMize}[1]{\begin{enumerate}[#1]}{\end{enumerate}}+
−
\newenvironment{desCription}{\begin{enumerate}[\hbox to8 pt{\hfill}]}{\end{enumerate}}+
−
% Bibliographystyle+
−
+
−
\bibliographystyle{alpha}+
−
+
−
\endinput+
−