% Macro file for Electronic Notes in Theoretical Computer Science.
% Adopted from document-style for journals published by Elsevier Science.
% To be used with LaTeX version 2.09 of 14 January 1992 (or later)
%
% Version: 1.10
% Date: 13 February 1998
%
% Copyright (C) 1998. All rights reserved.
%
% IMPORTANT NOTICE:
%
% You are not allowed to change this file. You may however copy this file
% to a file with a different name and then change the copy.
%
% You are NOT ALLOWED to distribute this file alone. You are NOT ALLOWED
% to take money for the distribution or use of this file (or a changed
% version) except for a nominal charge for copying etc.
%
% You are allowed to distribute this file under the condition that it is
% distributed together with all files mentioned in readme.els.
%
% If you receive only some of these files from someone, complain!
%
%
\headheight 10pt
\headsep 20pt
\footskip 20pt
\setlength{\topmargin}{-30pt}
\addtolength{\textheight}{25pt}
\def\labelenumi{\rm\normalshape (\theenumi)}
\def\labelenumii{\rm\normalshape (\theenumii)}
\font\eightrm=cmr8 scaled\magstep1
\font\eightbf=cmbx8 scaled\magstep1
\font\eighttt=cmtt8 scaled\magstep1
\font\eightit=cmsl10
\font\sixrm=cmr6 scaled\magstep1
\font\bfone=cmbx10 scaled\magstep2
\font\smc=cmcsc10 scaled\magstep1
\font\sc=cmcsc10
\def\date{\ifcase\month\or January\or February \or March\or April\or May
\or June\or July\or August\or September\or October\or November
\or December\fi\space\number\day, \number\year}
\volume{M4M}
\def\volu{M4M}
\journal{Electronic Notes in Theoretical Computer Science}
\def\jour{Electronic Notes in Theoretical Computer Science}
\def\vol{M4M}
\def\rightheadline{\ifnum\value{page}=\hypergetpageref{FirstPage}\firstheadline
\else\hfill\sc\lastname\hfill\fi}
\def\leftheadline{\hfill\sc\lastname\hfill}
\def\firstheadline{\vbox{\baselineskip=10pt \parindent 0pt \obeylines
\eightrm\hfill M4M 2009\hfill\break}}
\def\firstfootline{\vbox{\baselineskip=10pt \parindent 0pt \obeylines
\vspace{.1in}\centerline{\eightit
This paper is electronically published in} \centerline{\eightit
Electronic Notes in Theoretical Computer Science}
\centerline{\eightit URL: {\eighttt
\pagestyle{headings}
% THE NEXT LINES GIVE DEFINITIONS FOR THE THEOREM ENVIRONMENTS.
% EACH IS VIEWED AS A theorem environment IN THE SENSE OF LaTeX.
% THEIR NAMES ARE: Theorem, Proposition, Lemma, Corollary, Proposition,
% Criterion, Definition, Conjecture, Example, Problem, Remark,
% Summary, and Acknowledgement. ALSO INCLUDED WITHIN encs.sty ARE THE
% ENVIRONMENTS Note, Claim and Case UNDER THEIR OWN NAMES, AND THE
% ENVIRONMENT Algorithm UNDER THE NAME alg; FOR THIS USE
% \begin{alg} text \end{alg}.
% TYPE \begin{name} text \end{name} AS USUAL FOR ENVIRONMENTS IN LaTeX.
% THE ENVIRONMENT name IS NUMBERED WITHIN section. E.G. THE FIRST 'Name'
% IN SECTION 1 IS NUMBERED 'Name 1.1'
\newenvironment{theorem}{\vspace{-\lastskip}\par\addvspace{.6pc plus
.2pc minus .1pc}\begin{thm}}{\end{thm}\par\addvspace{.6pc plus
.2pc minus .1pc}} \newenvironment{lemma}{\vspace{-\lastskip}\par
\addvspace{.6pc plus .2pc minus .1pc}\begin{lem}}
{\end{lem}\par\addvspace{.6pc plus .2pc minus .1pc}}
\newenvironment{corollary}{\vspace{-\lastskip}\par \addvspace{.6pc
plus .2pc minus .1pc}\begin{cor}}{\end{cor}\par\addvspace{.6pc
plus .2pc minus .1pc}}
\newenvironment{proposition}{\vspace{-\lastskip}\par \addvspace{.6pc
plus .2pc minus .1pc}\begin{prop}}{\end{prop}\par\addvspace{.6pc
plus .2pc minus .1pc}}
\newenvironment{criterion}{\vspace{-\lastskip}\par \addvspace{.6pc
plus .2pc minus .1pc} \begin{crit}}{\end{crit}\par\addvspace{.6pc
plus .2pc minus .1pc}}
\newenvironment{definition}{\vspace{-\lastskip}\par \addvspace{.6pc
plus .2pc minus
.1pc}\begin{defn}\rm}{\end{defn}\par\addvspace{.6pc plus .2pc
minus .1pc}}
\newenvironment{conjecture}{\vspace{-\lastskip}\par \addvspace{.6pc
plus .2pc minus .1pc}\begin{conj}}{\end{conj}\par\addvspace{.6pc
plus .2pc minus .1pc}}
\newenvironment{example}{\vspace{-\lastskip}\par \addvspace{.6pc plus
.2pc minus .1pc}\begin{exmp}\rm}{\end{exmp}\par\addvspace{.6pc
plus .2pc minus .1pc}}
\newenvironment{problem}{\vspace{-\lastskip}\par \addvspace{.6pc plus
.2pc minus .1pc}\begin{prob}}{\end{prob}\par\addvspace{.6pc plus
.2pc minus .1pc}} \newenvironment{remark}{\vspace{-\lastskip}\par
\addvspace{.6pc plus .2pc minus .1pc}\begin{rem}\rm}
{\end{rem}\par\addvspace{.6pc plus .2pc minus .1pc}}
\newenvironment{summary}{\vspace{-\lastskip}\par \addvspace{.6pc plus
.2pc minus .1pc}\begin{summ}}{\end{summ}\par\addvspace{.6pc plus
.2pc minus .1pc}}
\newenvironment{acknowledgement}{\vspace{-\lastskip}\par\addvspace{.6pc
plus .2pc minus .1pc}\begin{ack}}{\end{ack}\par\addvspace{.6pc
plus .2pc minus .1pc}}
\newenvironment{exercise}{\begin{trivlist}\item[\hskip%
\labelsep{\bf Exercise.}]}%
{\end{trivlist}}
%% THE ENVIRONMENT \begin{proof} ... \end{proof} PRODUCES AN
%% END-OF-PROOF SIGN.
\newenvironment{proof}{\begin{pf}}{\qed\end{pf}}
%% THE ENVIRONMENT \begin{proof*} ... \end{proof*} SUPPORTS ADDING
%% INFORMATION SUCH AS 'Proof (Sketch)' AS THE LABEL FOR THE PROOF.
\newenvironment{proof*}{\begin{pf*}}{\qed\end{pf*}}
%% END OF `entcsmacro.sty'%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%