latest lmcs class file

lmcs.cls

-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %% Modification log
 %%
 %% 2004/03/25 v0.1 based on amsart.cls, inspired by jair.sty 
@@ -6,22 +6,73 @@
 %% 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/01/18 v0.6 based on amsart.cls
 %% 2006/07/24 v0.7 based on amsart.cls
-%% 2007/11/13 v0.8 based on amsart.cls
-%%                
+%% 2009/05/25 v0.8 based on amsart.cls
+%% 2011/04/23 v0.81 based on amsart.cls
+%% 2013/02/05 v0.82 based on amsart.cls
+%% 2013/09/20 v0.9 based on amsart.cls
+%% 2015/03/27 v0.91 based on amsart.cls
+%% 2018/06/11 v0.92 based on amsart.cls
+%% 2019/01/07 v0.93 new header including paper number
+%%
 %%                 Juergen Koslowski, Stefan Milius
+%%                 and the LMCS Layout editors
+%%
+%%    LMCS Layout Editors <lmcs-layout@lists.cs.fau.de>
 %%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
 \ProvidesClass{lmcs}
-              [2009/05/25 v0.8 LMCS Layout Editor Class]
-\DeclareOption*{\PassOptionsToClass{\CurrentOption}{amsart}}
+              [2018/06/11 v0.91 LMCS Layout Editor Class]
+% Do not pass any options to amsart to ensure a uniform look: always usletter,
+% always 11pt. (see the options to \LoadClass below)
+%\DeclareOption*{\PassOptionsToClass{\CurrentOption}{amsart}}
 \ProcessOptions\relax
 
 \LoadClass[11pt,reqno]{amsart}
-\usepackage{helvet,cclicenses}
+\RequirePackage{helvet,cclicenses}
+% Do not pass options directly to the package to avoid option clashes
+% if the user or some other package uses this package with different options.
+\PassOptionsToPackage{shortlabels}{enumitem}
+\PassOptionsToPackage{inline}{enumitem}
+\RequirePackage{enumitem}
+\setlist[enumerate]{font=\normalfont,labelindent=*,leftmargin=*,start=1}
+\setlist[itemize]{labelindent=*,leftmargin=*}
+\setlist[description]{labelindent=*,leftmargin=*,itemindent=-1 em}
+\RequirePackage{microtype}
+\RequirePackage{tikz}
+\RequirePackage{color}
+\RequirePackage{hyperref}
+\RequirePackage{etoolbox}
+
+% boot up hyperref. this needs to be done before \begin{document}
+\AtEndPreamble{
+\ifcsname hypersetup\endcsname%
+\hypersetup{
+    hidelinks,
+    final,
+}
+\else
+\fi
+}
+
+% set metadata. this needs to be done after \author which is after \begin{document}
+\def\doHyperrefSetup{
+\ifcsname hypersetup\endcsname%
+\edef\andBackup{\and}
+\def\and{, } % make authors comma separated in the pdf metadata
+\hypersetup{
+    pdftitle={\@title},
+    pdfauthor={\authors},
+    pdfkeywords={\ignorespaces\@keywords},
+}%
+\edef\and{\andBackup} % restore old definition
+\else
+\fi
+}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %   		Use of this class, cf. also lmcs-smp.tex
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -63,9 +114,11 @@
 % \email{author3@email3}
 % \thanks{thanks 3}
 %
-% The \email and \thanks fields are optional.  The \thanks fields appear
+% The \author, \address and \email fields are mandatory.
+%
+% The \thanks fields are optional.  They appear
 % in footnotes on the title page, the addresses and email information
-% is relegated to the end of the article.  The optional arguments to
+% is relegated to the top of the article.  The optional arguments to
 % the \title and \author macros determine a running head on the odd
 % and even pages, respectively.
 %
@@ -190,30 +243,62 @@
 %%%                   actual macros
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+% FIXME: does this cause problems?
 \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}}%
+\newenvironment{iteMize}[1]{\begin{enumerate}[#1]}{\end{enumerate}}
+\newenvironment{desCription}{\begin{enumerate}[\hbox to8 pt{\hfill}]}{\end{enumerate}}
+\newenvironment{desCriPtion}{\begin{enumerate}[\hbox to14 pt{\hfill}]}{\end{enumerate}}\newif\ifsuPer \suPertrue
+\def\rsuper#1{\texorpdfstring{\ifsuPer${\,}^{\MakeLowercase #1}$\fi}{}}%
+\def\lsuper#1{\texorpdfstring{\ \hskip-2 pt\ifsuPer\hbox to0 pt{\hss${}^{\MakeLowercase #1}\ $\fi}}{}}%
 
 \def\titlecomment#1{\def\@titlecomment{#1}}
 \let\@titlecomment=\@empty
 \renewcommand{\sfdefault}{phv}
-\renewcommand*\subjclass[2][1991]{%
+\renewcommand*\subjclass[2][2012]{%
   \def\@subjclass{#2}%
   \@ifundefined{subjclassname@#1}{%
     \ClassWarning{\@classname}{Unknown edition (#1) of ACM
-      Subject Classification; using '1991'.}%
+      Subject Classification; using '2012'.}%
   }{%
-    \@xp\let\@xp\subjclassname\csname subjclassname@1998\endcsname
+    \@xp\let\@xp\subjclassname\csname subjclassname@2012\endcsname
   }%
 }
 \@namedef{subjclassname@1998}{1998 ACM Subject Classification}
+\@namedef{subjclassname@2012}{2012 ACM CCS}
+
+\def\ACMCCS#1{\def\@ACMCCS{#1}}
+\let\@ACMCCS=\@empty
+\def\ACMCCSname{2012 ACM CCS}
+    \@xp\let\@xp\subjclassname\csname subjclassname@2012\endcsname
+
+\def\amsclass#1{\def\@amsclass{#1}}
+\let\@amsclass=\@empty
+\def\amsclassname{2010 Mathematics Subject Classification}
+
+\renewenvironment{abstract}{%
+  \ifx\maketitle\relax
+    \ClassWarning{\@classname}{Abstract should precede
+      \protect\maketitle\space in AMS documentclasses; reported}%
+  \fi
+  \global\setbox\abstractbox=\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\abstractname.]%
+}{%
+  \endlist\egroup
+  \ifx\@setabstract\relax \@setabstracta \fi
+}
 \newcommand{\revisionname}{Revision Note}
 \newbox\revisionbox
 \newenvironment{revision}{%
   \ifx\maketitle\relax
-    \ClassWarning{\@classname}{Revision should precede
+    \ClassWarning{\@classname}{Revision should precede 
       \protect\maketitle\space in LMCS documentclasses; reported}%
   \fi
   \global\setbox\revisionbox=\vtop \bgroup
@@ -240,16 +325,19 @@
     \bigskip\hrule\medskip
   \fi
 }
-\def\@setsubjclass{%
-  {\itshape\subjclassname:}\enspace\@subjclass\@addpunct.}
+\def\@setACMCCS{%
+  {\itshape\subjclassname:}\enspace\@ACMCCS\@addpunct.}
+\def\@setamsclass{%
+  {\itshape\amsclassname:}\enspace\@amsclass\@addpunct.}
 \def\@setkeywords{%
-  {\itshape \keywordsname:}\enspace \@keywords\@addpunct.}
+  {\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\@ACMCCS\else \@footnotetext{\@setACMCCS}\fi
+  \ifx\@empty\@amsclass\else \@footnotetext{\@setamsclass}\fi
   \ifx\@empty\@keywords\else \@footnotetext{\@setkeywords}\fi
   \ifx\@empty\@titlecomment\else \@footnotetext{\@settitlecomment}\fi
   \ifx\@empty\thankses\else \@footnotetext{%
@@ -277,6 +365,7 @@
     \dimen@34\p@ \advance\dimen@-\baselineskip
     \vskip\dimen@\relax
   \fi
+  \doHyperrefSetup
 }
 \def\@setaddresses{\par
   \nobreak \begingroup
@@ -325,60 +414,150 @@
 \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.
+% FIXME: do these cause problems?
 \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}
 
+%% define metadata used for the doi
+%% Usage: \lmcsdoi{volume}{issue}{papernumber}
+\def\lmcsdoi#1#2#3{%
+    \def\@lmcsvolume{#1}%
+    \def\@lmcsissue{#2}%
+    \def\@lmcspaper{#3}%
+    \pgfmathparse{int(#1+2004)}
+    \edef\@lmcsyear{\pgfmathresult}
+    \renewcommand{\dOi}{\@lmcsvolume(\@lmcsissue:\@lmcspaper)\@lmcsyear}
+\def\ps@headings{
+\def\@oddhead{\scriptsize Vol.~\@lmcsvolume:\@lmcsissue\hfill{\scriptsize \shorttitle}\hfill\@lmcspaper:\thepage}%
+\def\@evenhead{\scriptsize \@lmcspaper:\thepage\hfill {\scriptsize\sc \shortauthors{}} \hfill Vol.~\@lmcsvolume:\@lmcsissue}%
+}
+\pagestyle{headings}
+}
+
+\def\lmcsurl{https://lmcs.episciences.org/}
+\def\dOi{{\color{red}Volume/Paper Nr.~missing}}
+%% 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{%
+\hbox{\fontencoding{T1}%
   \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}}
+%    \hbox{\textsf{Vol.~\doi, pp.\ 1--#2}}
+    \hbox{\textsf{Volume~\@lmcsvolume, Issue~\@lmcsissue, \@lmcsyear, pp.\ \@lmcspaper:1--\@lmcspaper:#2}}
+    \hbox{\textsf{\href{\lmcsurl}{\lmcsurl}}}
     \rlap{\vrule width\hsize depth .4 pt}}}\hfill
 \raise 4pt
-\hbox{%
+\hbox{\fontencoding{T1}%
   \vbox to 30 pt{\scriptsize\vfill
-    \hbox{\textsf{}}
-    \hbox{\textsf{}}}}\hfill
+    \hbox{\textsf{#3}}
+    \hbox{\textsf{#4}}}}\hfill
 \raise 4pt
-\hbox{%
+\hbox{\fontencoding{T1}%
   \vbox to 30 pt{\scriptsize\vfill
-    \hbox to 94 pt{\textsf{Submitted\hfill date}}
-    \hbox to 94 pt{\textsf{Published\hfill date}}
-    }}}
+    \hbox to 94 pt{\textsf{Submitted\hfill #5}}
+    \hbox to 94 pt{\textsf{Published\hfill #6}}
+    #7}}}
 \def\@evenhead{}\def\@evenfoot{}}%
 \thispagestyle{firstpage}}
 
+%% Creative Commons fonts %%
+
+\DeclareRobustCommand{\crC}{%
+  \ifmmode{\nfss@text{\text@cc}}\else\text@cc\fi}
+\DeclareRobustCommand{\crCnd}{%
+  \ifmmode{\nfss@text{\text@ccnd}}\else\text@ccnd\fi}
+\DeclareRobustCommand{\crCby}{%
+  \ifmmode{\nfss@text{\text@ccby}}\else\text@ccby\fi}
+\DeclareRobustCommand{\crCnc}{%
+  \ifmmode{\nfss@text{\text@ccnc}}\else\text@ccnc\fi}
+\DeclareRobustCommand{\crCsa}{%
+  \ifmmode{\nfss@text{\text@ccsa}}\else\text@ccsa\fi}
+\renewcommand{\by}{\crCby}
+\renewcommand{\bynd}{\crCby\crCnd}
+\renewcommand{\byncnd}{\crCby\crCnc\crCnd}
+\renewcommand{\bync}{\crCby\crCnc}
+\renewcommand{\byncsa}{\crCby\crCnc\crCsa}
+\renewcommand{\bysa}{\crCby\crCsa}
+\renewcommand{\nd}{\crCnd}
+\renewcommand{\ndnc}{\crCnd\crCnc}
+\renewcommand{\nc}{\crCnc}
+\renewcommand{\ncsa}{\crCnc\crCsa}
+\renewcommand{\sa}{\crCsa}
+%%%%%%%%%%%%
+
 \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}
+\insert\copyins{\hsize\textwidth%
+\fontsize{6}{7\p@}\normalfont\upshape%
+\noindent%
+\IfFileExists{./LMCS-logo.mf}{%
+\hbox{\fontencoding{T1}%
+\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}}
+\hbox{\hbox to 20 pt{\font\logo=LMCS-logo\smash{\logo l}}
           \textsf{IN COMPUTER SCIENCE}}}}
-\hfill\textsf{DOI:10.2168/LMCS-???}
+\hfill\textsf{DOI:10.23638/LMCS-\dOi}
+}{%
+\vbox{\fontsize{6}{8 pt}\baselineskip=6 pt\vss%
+\hbox{\textsf{Preprint submitted to}}
+\hbox{\textsf{Logical Methods in Computer Science}}
+}
+}
 %\hfill\textsf{\copyright\shortauthors}
 \hfill
-\hbox{
+\hbox{\fontencoding{T1}%
   \vbox{\fontsize{6}{8 pt}\baselineskip=6 pt\vss
-    \hbox{\textsf{\,\,\copyright\quad \shortauthors}\hfil}
-    \hbox{\textsf{Creative Commons}\hfil}}}
+    \hbox{\textsf{\hspace{2 pt}\copyright\quad \shortauthors}\hfil}
+    \hbox{\textsf{\crC\ \href{http://creativecommons.org/about/licenses}{Creative Commons}}\hfil}}}
 \par\kern\z@}%
 }
-%\def\endfront@text{}
 
-\def\enddoc@text{}
+% If the logo is not present, then emulate an \lmcsheading call
+% This draws the first horizontal line and fixes the page style on the first
+% page
+\IfFileExists{./LMCS-logo.mf}{}{
+\def\ps@firstpage{\let\@mkboth\@gobbletwo%
+\def\@oddhead{%
+\hbox{\fontencoding{T1}%
+  \vbox to 30 pt{\scriptsize\vfill
+    \hbox{\phantom{LMgp}}
+%    \hbox{\textsf{Vol.~\doi, pp.\ 1--#2}}
+    \hbox{\phantom{Volume,pp}}
+    \hbox{\phantom{https://example.org}}
+    \rlap{\vrule width\hsize depth .4 pt}}}\hfill
+\raise 4pt
+\hbox{\fontencoding{T1}%
+  \vbox to 30 pt{\scriptsize\vfill
+    \hbox{}
+    \hbox{}}}\hfill
+\raise 4pt
+\hbox{\fontencoding{T1}%
+  \vbox to 30 pt{\scriptsize\vfill
+    \hbox to 94 pt{}
+    \hbox to 94 pt{}
+    }}}
+\def\@evenhead{}\def\@evenfoot{}}%
+\thispagestyle{firstpage}}
+
+\def\enddoc@text{\nobreak%
+    \insert\copyins{\hsize.57\textwidth
+\vbox to 0pt{\vskip12 pt%
+      \fontsize{6}{7\p@}\normalfont\upshape
+      \everypar{}%
+      \noindent\fontencoding{T1}%
+  \textsf{This work is licensed under the Creative Commons
+  Attribution License. To view a copy of this license, visit
+  \texttt{https://creativecommons.org/licenses/by/4.0/} or send a
+  letter to Creative Commons, 171 Second St, Suite 300, San Francisco,
+    CA 94105, USA, or Eisenacher Strasse 2, 10777 Berlin, Germany}\vss}
+      \par
+      \kern\z@}%
+}
 
 %% Defines the pagestyle for the rest of the pages
 %% Usage: \ShortHeadings{Minimizing Conflicts}{Minton et al}
@@ -403,6 +582,8 @@
      \addpenalty\@secpenalty\addvspace\@tempskipa\fi
  \@ifstar{\@dblarg{\@sect{#1}{\@m}{#3}{#4}{#5}{#6}}}%
          {\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}}}%
+%  \aftergroup\@afterindentfalse
+%  \aftergroup\@afterheading
 }
 
 \def\figurecaption#1#2{\noindent\hangindent 40pt
@@ -442,6 +623,7 @@
 \newtheorem{thm}{Theorem}[section]
 \newtheorem{cor}[thm]{Corollary}
 \newtheorem{lem}[thm]{Lemma}
+\newtheorem{slem}[thm]{Sublemma}
 \newtheorem{prop}[thm]{Proposition}
 \newtheorem{asm}[thm]{Assumption}
 
@@ -457,11 +639,46 @@
 \newtheorem{conj}[thm]{Conjecture}
 \newtheorem{prob}[thm]{Problem}
 \newtheorem{oprob}[thm]{Open Problem}
+\newtheorem{oprobs}[thm]{Open Problems}
 \newtheorem{algo}[thm]{Algorithm}
 \newtheorem{obs}[thm]{Observation}
-\newtheorem{qu}[thm]{Question}
+\newtheorem{desc}[thm]{Description}
 \newtheorem{fact}[thm]{Fact}
+\newtheorem{qu}[thm]{Question}
+\newtheorem{oqu}[thm]{Open Question}
 \newtheorem{pty}[thm]{Property}
+\newtheorem{clm}[thm]{Claim}
+\newtheorem{nota}[thm]{Notation}
+\newtheorem{com}[thm]{Comment}
+\newtheorem{coms}[thm]{Comments}
+
+%% goal is to omit parens from note, place cite as part of theorem number
+\newtheoremstyle{defC}%
+  {6pt}% (space above)
+  {6pt}% (space below)
+  {\normalfont}% (body font)
+  {}% (indent amount)
+  {\bfseries}% {theorem head font}
+  {{\bfseries .}}% {punctuation after theorem head}
+  {5pt plus 1pt minus 1pt}% {space after theorem head}
+  {\thmname{#1} \thmnumber{#2} \thmnote{\normalfont#3}}% {theorem head spec}
+\theoremstyle{defC}
+\newtheorem{defiC}[thm]{Definition}
+
+\newtheoremstyle{thmC}%
+  {6pt}% (space above)
+  {6pt}% (space below)
+  {\itshape}% (body font)
+  {}% (indent amount)
+  {\bfseries}% {theorem head font}
+  {{\bfseries .}}% {punctuation after theorem head}
+  {5pt plus 1pt minus 1pt}% {space after theorem head}
+  {\thmname{#1} \thmnumber{#2} \thmnote{\normalfont#3}}% {theorem head spec}
+
+\theoremstyle{thmC}
+\newtheorem{thmC}[thm]{Theorem}
+\newtheorem{propC}[thm]{Proposition}
+\newtheorem{lemC}[thm]{Lemma}
 
 \numberwithin{equation}{section}
 
@@ -488,25 +705,22 @@
   %                   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}}
+\newsavebox{\lmcsQEDSymbol}
+\savebox{\lmcsQEDSymbol}{\begin{tikzpicture}[baseline=\the\pgflinewidth]
+    \draw (-\the\pgflinewidth,-\the\pgflinewidth) rectangle (8pt,8pt);
+  \end{tikzpicture}}
+\renewcommand\qedsymbol{\usebox{\lmcsQEDSymbol}}
+
 % Bibliographystyle
 
 \bibliographystyle{alpha}
 
+
+\def\eqalign#1{\null\,\vcenter{\openup\jot\mathsurround=0 pt
+  \ialign{\strut\hfil$\displaystyle{##}$&$\displaystyle{{}##}$\hfil
+      \crcr#1\crcr}}\,}
+
+\def\Rlap#1{\rlap{\mths$#1$}}
+\def\Llap#1{\llap{\mths$#1$}}
+
 \endinput