diff --git a/Isabelle_DOF-Examples-Templates/ROOTS b/Isabelle_DOF-Examples-Templates/ROOTS new file mode 100644 index 0000000..48d115f --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/ROOTS @@ -0,0 +1,9 @@ +template-beamerposter-UNSUPPORTED +template-beamer-UNSUPPORTED +template-lipics-v2021-UNSUPPORTED +template-lncs +template-scrartcl +template-scrreprt +template-scrreprt-modern +template-sn-article-UNSUPPORTED +template-svjour3-UNSUPPORTED diff --git a/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/ROOT b/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/ROOT new file mode 100644 index 0000000..ff6001d --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/ROOT @@ -0,0 +1,9 @@ +session "template-beamer-UNSUPPORTED" = "Isabelle_DOF-Ontologies" + + options [document = pdf, document_output = "output", document_build = dof] +(*theories [document = false] + A + B*) + theories + "template-beamer-UNSUPPORTED" + document_files + "preamble.tex" diff --git a/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/document/preamble.tex b/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/document/preamble.tex new file mode 100644 index 0000000..894b163 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/document/preamble.tex @@ -0,0 +1 @@ +%% This is a placeholder for user-specific configuration and packages. \ No newline at end of file diff --git a/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/template-beamer-UNSUPPORTED.thy b/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/template-beamer-UNSUPPORTED.thy new file mode 100644 index 0000000..5f45b78 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/template-beamer-UNSUPPORTED.thy @@ -0,0 +1,13 @@ +theory + "template-beamer-UNSUPPORTED" +imports + "Isabelle_DOF-Ontologies.document_templates" + Isabelle_DOF.scholarly_paper +begin + +list_templates +use_template "beamer-UNSUPPORTED" +list_ontologies +use_ontology "scholarly_paper" + +end diff --git a/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/ROOT b/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/ROOT new file mode 100644 index 0000000..2bcaf0d --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/ROOT @@ -0,0 +1,9 @@ +session "template-beamerposter-UNSUPPORTED" = "Isabelle_DOF-Ontologies" + + options [document = pdf, document_output = "output", document_build = dof] +(*theories [document = false] + A + B*) + theories + "template-beamerposter-UNSUPPORTED" + document_files + "preamble.tex" diff --git a/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/document/preamble.tex b/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/document/preamble.tex new file mode 100644 index 0000000..894b163 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/document/preamble.tex @@ -0,0 +1 @@ +%% This is a placeholder for user-specific configuration and packages. \ No newline at end of file diff --git a/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/template-beamerposter-UNSUPPORTED.thy b/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/template-beamerposter-UNSUPPORTED.thy new file mode 100644 index 0000000..bbb0c7b --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/template-beamerposter-UNSUPPORTED.thy @@ -0,0 +1,13 @@ +theory + "template-beamerposter-UNSUPPORTED" +imports + "Isabelle_DOF-Ontologies.document_templates" + Isabelle_DOF.scholarly_paper +begin + +list_templates +use_template "beamerposter-UNSUPPORTED" +list_ontologies +use_ontology "scholarly_paper" + +end diff --git a/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/ROOT b/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/ROOT new file mode 100644 index 0000000..8947f0b --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/ROOT @@ -0,0 +1,10 @@ +session "template-lipics-v2021-UNSUPPORTED" = "Isabelle_DOF-Ontologies" + + options [document = pdf, document_output = "output", document_build = dof] +(*theories [document = false] + A + B*) + theories + "template-lipics-v2021-UNSUPPORTED" + document_files + "preamble.tex" + "lipics-v2021.cls" diff --git a/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/lipics-v2021.cls b/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/lipics-v2021.cls new file mode 100644 index 0000000..5c10457 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/lipics-v2021.cls @@ -0,0 +1,1249 @@ +%% +%% This is file `lipics-v2021.cls'. +%% +%% ----------------------------------------------------------------- +%% Author: Dagstuhl Publishing & le-tex publishing services +%% +%% This file is part of the lipics package for preparing +%% LIPICS articles. +%% +%% Copyright (C) 2021 Schloss Dagstuhl +%% +%% This work may be distributed and/or modified under the +%% conditions of the LaTeX Project Public License, either version 1.3 +%% of this license or (at your option) any later version. +%% The latest version of this license is in +%% http://www.latex-project.org/lppl.txt +%% and version 1.3 or later is part of all distributions of LaTeX +%% version 2005/12/01 or later. +%% +%% This work has the LPPL maintenance status `maintained'. +%% +%% The Current Maintainer of this work is +%% Schloss Dagstuhl (publishing@dagstuhl.de). +%% ----------------------------------------------------------------- +%% +\ProvidesClass{lipics-v2021} + [2021/05/04 v3.1.2 LIPIcs articles] +\NeedsTeXFormat{LaTeX2e}[2015/01/01] +\emergencystretch1em +\advance\hoffset-1in +\advance\voffset-1in +\advance\hoffset2.95mm +\newif\if@nobotseplist \@nobotseplistfalse +\def\@endparenv{% + \addpenalty\@endparpenalty\if@nobotseplist\else\addvspace\@topsepadd\fi\@endpetrue} +\def\@doendpe{% + \@endpetrue + \def\par{\@restorepar + \everypar{}% + \par + \if@nobotseplist + \addvspace\topsep + \addvspace\partopsep + \global\@nobotseplistfalse + \fi + \@endpefalse}% + \everypar{{\setbox\z@\lastbox}% + \everypar{}% + \if@nobotseplist\global\@nobotseplistfalse\fi + \@endpefalse}} +\def\enumerate{% + \ifnum \@enumdepth >\thr@@\@toodeep\else + \advance\@enumdepth\@ne + \edef\@enumctr{enum\romannumeral\the\@enumdepth}% + \expandafter + \list + \csname label\@enumctr\endcsname + {\advance\partopsep\topsep + \topsep\z@\@plus\p@ + \ifnum\@listdepth=\@ne + \labelsep0.72em + \else + \ifnum\@listdepth=\tw@ + \labelsep0.3em + \else + \labelsep0.5em + \fi + \fi + \usecounter\@enumctr\def\makelabel##1{\hss\llap{##1}}}% + \fi} +\def\endenumerate{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist} +\def\itemize{% + \ifnum \@itemdepth >\thr@@\@toodeep\else + \advance\@itemdepth\@ne + \edef\@itemitem{labelitem\romannumeral\the\@itemdepth}% + \expandafter + \list + \csname\@itemitem\endcsname + {\advance\partopsep\topsep + \topsep\z@\@plus\p@ + \ifnum\@listdepth=\@ne + \labelsep0.83em + \else + \ifnum\@listdepth=\tw@ + \labelsep0.75em + \else + \labelsep0.5em + \fi + \fi + \def\makelabel##1{\hss\llap{##1}}}% + \fi} +\def\enditemize{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist} +\def\@title{\textcolor{red}{Author: Please provide a title}} +\let\@subtitle\@empty +\def\subtitle#1{\gdef\@subtitle{#1}} +\def\subtitleseperator{: } +\def\@sect#1#2#3#4#5#6[#7]#8{% + \ifnum #2>\c@secnumdepth + \let\@svsec\@empty + \else + \refstepcounter{#1}% + \protected@edef\@svsec{\@seccntformat{#1}\relax}% + \fi + \@tempskipa #5\relax + \ifdim \@tempskipa>\z@ + \begingroup + #6{% + \@hangfrom{\hskip #3\relax + \ifnum #2=1 + \colorbox{lipicsYellow}{\kern0.15em\@svsec\kern0.15em}\quad + \else + \@svsec\quad + \fi}% + \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 + \@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\@seccntformat#1{\csname the#1\endcsname} +\def\@biblabel#1{\textcolor{lipicsGray}{\sffamily\bfseries#1}} +\def\EventLogoHeight{25} +\def\copyrightline{% + \ifx\@hideLIPIcs\@undefined + \ifx\@EventLogo\@empty + \else + \setbox\@tempboxa\hbox{\includegraphics[height=\EventLogoHeight\p@]{\@EventLogo}}% + \rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}% + \vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}% + \fi + \scriptsize + \vtop{\hsize\textwidth + \nobreakspace\par + \@Copyright + \ifx\@EventLongTitle\@empty\else\@EventLongTitle.\\\fi + \ifx\@EventEditors\@empty\else + \@Eds: \@EventEditors + ; Article~No.\,\@ArticleNo; pp.\,\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}% + \\ + \fi + \setbox\@tempboxa\hbox{\IfFileExists{lipics-logo-bw.pdf}{\includegraphics[height=14\p@,trim=0 15 0 0]{lipics-logo-bw}}{\includegraphics[height=14\p@, width=62pt]{example-image-plain}}}% + \hspace*{\wd\@tempboxa}\enskip + \href{https://www.dagstuhl.de/lipics/}% + {Leibniz International Proceedings in Informatics}\\ + \smash{\unhbox\@tempboxa}\enskip + \href{https://www.dagstuhl.de}% + {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}% + \fi} +\def\ps@plain{\let\@mkboth\@gobbletwo + \let\@oddhead\@empty + \let\@evenhead\@empty + \let\@evenfoot\copyrightline + \let\@oddfoot\copyrightline} +\def\lipics@opterrshort{Option "\CurrentOption" not supported} +\def\lipics@opterrlong{The option "\CurrentOption" from article.cls is not supported by lipics.cls.} +\DeclareOption{a5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{b5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{legalpaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{executivepaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{landscape}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{10pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{11pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{12pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{oneside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{twoside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{titlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{notitlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{onecolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{twocolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{fleqn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{openbib}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} +\DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article} + \advance\hoffset-2.95mm + \advance\voffset8.8mm} +\DeclareOption{numberwithinsect}{\let\numberwithinsect\relax} +\DeclareOption{cleveref}{\let\usecleveref\relax} +\DeclareOption{autoref}{\let\useautoref\relax} +\DeclareOption{anonymous}{\let\authoranonymous\relax} +\DeclareOption{thm-restate}{\let\usethmrestate\relax} +\DeclareOption{authorcolumns}{\let\authorcolumns\relax} +\let\compactauthor\relax +\DeclareOption{oldauthorstyle}{\let\compactauthor\@empty} +\DeclareOption{compactauthor}{\let\compactauthor\relax} +\DeclareOption{pdfa}{\let\pdfa\relax} +\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}} +\ProcessOptions +\LoadClass[twoside,notitlepage,fleqn]{article} +\renewcommand\normalsize{% + \@setfontsize\normalsize\@xpt{13}% + \abovedisplayskip 10\p@ \@plus2\p@ \@minus5\p@ + \abovedisplayshortskip \z@ \@plus3\p@ + \belowdisplayshortskip 6\p@ \@plus3\p@ \@minus3\p@ + \belowdisplayskip \abovedisplayskip + \let\@listi\@listI} +\normalsize +\renewcommand\small{% + \@setfontsize\small\@ixpt{11.5}% + \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@ + \abovedisplayshortskip \z@ \@plus2\p@ + \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@ + \def\@listi{\leftmargin\leftmargini + \topsep 4\p@ \@plus2\p@ \@minus2\p@ + \parsep 2\p@ \@plus\p@ \@minus\p@ + \itemsep \parsep}% + \belowdisplayskip \abovedisplayskip +} +\renewcommand\footnotesize{% + \@setfontsize\footnotesize{8.5}{9.5}% + \abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@ + \abovedisplayshortskip \z@ \@plus\p@ + \belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@ + \def\@listi{\leftmargin\leftmargini + \topsep 3\p@ \@plus\p@ \@minus\p@ + \parsep 2\p@ \@plus\p@ \@minus\p@ + \itemsep \parsep}% + \belowdisplayskip \abovedisplayskip +} +\renewcommand\large{\@setfontsize\large{10.5}{13}} +\renewcommand\Large{\@setfontsize\Large{12}{14}} +\setlength\parindent{1.5em} +\setlength\headheight{3mm} +\setlength\headsep {10mm} +\setlength\footskip{3mm} +\setlength\textwidth{140mm} +\setlength\textheight{222mm} +\setlength\oddsidemargin{32mm} +\setlength\evensidemargin{38mm} +\setlength\marginparwidth{25mm} +\setlength\topmargin{13mm} +\setlength{\skip\footins}{2\baselineskip \@plus 4\p@ \@minus 2\p@} +\def\@listi{\leftmargin\leftmargini + \parsep\z@ \@plus\p@ + \topsep 8\p@ \@plus2\p@ \@minus4\p@ + \itemsep \parsep} +\let\@listI\@listi +\@listi +\def\@listii {\leftmargin\leftmarginii + \labelwidth\leftmarginii + \advance\labelwidth-\labelsep + \topsep 4\p@ \@plus2\p@ \@minus\p@ + \parsep\z@ \@plus\p@ + \itemsep \parsep} +\def\@listiii{\leftmargin\leftmarginiii + \labelwidth\leftmarginiii + \advance\labelwidth-\labelsep + \topsep 2\p@ \@plus\p@\@minus\p@ + \parsep \z@ + \partopsep \p@ \@plus\z@ \@minus\p@ + \itemsep \z@ \@plus\p@} +\def\ps@headings{% + \def\@evenhead{\large\sffamily\bfseries + \llap{\hbox to0.5\oddsidemargin{ \ifx\@hideLIPIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage\hss}}\leftmark\hfil}% + \def\@oddhead{\large\sffamily\bfseries\rightmark\hfil + \rlap{\hbox to0.5\oddsidemargin{\hss \ifx\@hideLIPIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage}}}% + \def\@oddfoot{\hfil + \rlap{% + \vtop{% + \vskip10mm + \colorbox{lipicsYellow} + {\@tempdima\evensidemargin + \advance\@tempdima1in + \advance\@tempdima\hoffset + \hb@xt@\@tempdima{% + \ifx\@hideLIPIcs\@undefined + \textcolor{lipicsGray}{\normalsize\sffamily + \bfseries\quad + \expandafter\textsolittle + \expandafter{\@EventShortTitle}}% + \fi + \strut\hss}}}}} + \let\@evenfoot\@empty + \let\@mkboth\markboth + \let\sectionmark\@gobble + \let\subsectionmark\@gobble} +\pagestyle{headings} +\renewcommand\maketitle{\par + \begingroup + \thispagestyle{plain} + \renewcommand\thefootnote{\@fnsymbol\c@footnote}% + \if@twocolumn + \ifnum \col@number=\@ne + \@maketitle + \else + \twocolumn[\@maketitle]% + \fi + \else + \newpage + \global\@topnum\z@ % Prevents figures from going at top of page. + \@maketitle + \fi + \thispagestyle{plain}\@thanks + \endgroup + \global\let\thanks\relax + \global\let\maketitle\relax + \global\let\@maketitle\relax + \global\let\@thanks\@empty + \global\let\@author\@empty + \global\let\@date\@empty + \global\let\@title\@empty + \global\let\@subtitle\@empty + \global\let\title\relax + \global\let\author\relax + \global\let\date\relax + \global\let\and\relax +} +\newwrite\tocfile +\def\@maketitle{% + \newpage + \null\vskip-\baselineskip + \vskip-\headsep + \@titlerunning + \@authorrunning + %%\let \footnote \thanks + \parindent\z@ \raggedright + \if!\@title!\def\@title{\textcolor{red}{Author: Please fill in a title}}\fi + {\LARGE\sffamily\bfseries\mathversion{bold}\@title \if!\@subtitle!\else{\\\Large\sffamily\bfseries\mathversion{bold}\@subtitle}\fi \par}% + \vskip 1em + \ifx\@author\orig@author + \textcolor{red}{Author: Please provide author information}% + \else + {\def\thefootnote{\@arabic\c@footnote}% + \setcounter{footnote}{0}% + \fontsize{9.5}{12}\selectfont\@author}% + \fi + \bgroup + \immediate\openout\tocfile=\jobname.vtc + \protected@write\tocfile{ + \let\footnote\@gobble + \let\thanks\@gobble + \def\footnotemark{} + \def\and{and }% + \def\,{ } + \def\\{ } + }{% + \string\contitem + \string\title{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}% + \string\author{\@authorsfortoc}% + \string\page{\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}}}% + \closeout\tocfile + \egroup + \par} +\renewcommand\tableofcontents{% + \section*{\contentsname}% + \@starttoc{toc}} +\setcounter{secnumdepth}{4} +\renewcommand\section{\@startsection {section}{1}{\z@}% + {-3.5ex \@plus -1ex \@minus -.2ex}% + {2.3ex \@plus.2ex}% + {\sffamily\Large\bfseries\raggedright}} +\renewcommand\subsection{\@startsection{subsection}{2}{\z@}% + {-3.25ex\@plus -1ex \@minus -.2ex}% + {1.5ex \@plus .2ex}% + {\sffamily\Large\bfseries\raggedright}} +\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}% + {-3.25ex\@plus -1ex \@minus -.2ex}% + {1.5ex \@plus .2ex}% + {\sffamily\Large\bfseries\raggedright}} +\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}% + {-3.25ex \@plus-1ex \@minus-.2ex}% + {1.5ex \@plus .2ex}% + {\sffamily\large\bfseries\raggedright}} +\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}% + {3.25ex \@plus1ex \@minus .2ex}% + {-1em}% + {\sffamily\normalsize\bfseries}} +\newcommand{\proofsubparagraph}{\@startsection{subparagraph}{5}{\z@}% + {3.25ex \@plus1ex \@minus .2ex}% + {-1em}% + {\color{lipicsGray}\sffamily\normalsize\bfseries}} +\setlength\leftmargini \parindent +\setlength\leftmarginii {1.2em} +\setlength\leftmarginiii{1.2em} +\setlength\leftmarginiv {1.2em} +\setlength\leftmarginv {1.2em} +\setlength\leftmarginvi {1.2em} +\renewcommand\labelenumi{% + \textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumi.}} +\renewcommand\labelenumii{% + \textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumii.}} +\renewcommand\labelenumiii{% + \textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiii.}} +\renewcommand\labelenumiv{% + \textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiv.}} +\renewcommand\labelitemi{% + \textcolor{lipicsBulletGray}{\ifnum\@listdepth=\@ne + \rule{0.67em}{0.33em}% + \else + \rule{0.45em}{0.225em}% + \fi}} +\renewcommand\labelitemii{% + \textcolor{lipicsBulletGray}{\rule{0.45em}{0.225em}}} +\renewcommand\labelitemiii{% + \textcolor{lipicsBulletGray}{\sffamily\bfseries\textasteriskcentered}} +\renewcommand\labelitemiv{% + \textcolor{lipicsBulletGray}{\sffamily\bfseries\textperiodcentered}} +\renewenvironment{description} + {\list{}{\advance\partopsep\topsep\topsep\z@\@plus\p@ + \labelwidth\z@ \itemindent-\leftmargin + \let\makelabel\descriptionlabel}} + {\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist} +\renewcommand*\descriptionlabel[1]{% + \hspace\labelsep\textcolor{lipicsGray}{\sffamily\bfseries\mathversion{bold}#1}} +\def\topmattervskip{0.7} +\renewenvironment{abstract}{% + \vskip\topmattervskip\bigskipamount + \noindent + \rlap{\color{lipicsLineGray}\vrule\@width\textwidth\@height1\p@}% + \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{% + \large\selectfont\sffamily\bfseries\abstractname}}% + \vskip3\p@ + \fontsize{9}{12}\selectfont + \noindent\ignorespaces} + {\vskip\topmattervskip\baselineskip\noindent + \subjclassHeading + \ifx\@ccsdescString\@empty + \textcolor{red}{Author: Please fill in 1 or more \string\ccsdesc\space macro}% + \else + \@ccsdescString + \fi + \vskip\topmattervskip\baselineskip + \noindent\keywordsHeading + \ifx\@keywords\@empty + \textcolor{red}{Author: Please fill in \string\keywords\space macro}% + \else + \@keywords + \fi + \ifx\@hideLIPIcs\@undefined + \ifx\@DOIPrefix\@empty\else + \vskip\topmattervskip\baselineskip\noindent + \doiHeading\href{https://doi.org/\@lipicsdoi}{\@lipicsdoi}% + \fi + \fi + \ifx\@category\@empty\else + \vskip\topmattervskip\baselineskip\noindent + \categoryHeading\@category + \fi + \ifx\@relatedversion\@empty\else + \vskip\topmattervskip\baselineskip\noindent + \relatedversionHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous related version(s)}\else\@relatedversion\fi + \fi + \ifx\@supplement\@empty\else + \vskip\topmattervskip\baselineskip\noindent + \supplementHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous supplementary material}\else\@supplement\fi + \fi + \ifx\@funding\@empty\else + \vskip\topmattervskip\baselineskip\noindent + \fundingHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous funding}\else\@funding\fi + \fi + \ifx\@acknowledgements\@empty\else + \vskip\topmattervskip\baselineskip\noindent + \acknowledgementsHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous acknowledgements} \else\@acknowledgements\fi + \fi + \protected@write\@auxout{}{\string\gdef\string\@pageNumberEndAbstract{\thepage}}% + }% end abstract +\renewenvironment{thebibliography}[1] + {\if@noskipsec \leavevmode \fi + \par + \@tempskipa-3.5ex \@plus -1ex \@minus -.2ex\relax + \@afterindenttrue + \@tempskipa -\@tempskipa \@afterindentfalse + \if@nobreak + \everypar{}% + \else + \addpenalty\@secpenalty\addvspace\@tempskipa + \fi + \noindent + \rlap{\color{lipicsLineGray}\vrule\@width\textwidth\@height1\p@}% + \hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{% + \normalsize\sffamily\bfseries\refname}}% + \@xsect{1ex \@plus.2ex}% + \list{\@biblabel{\@arabic\c@enumiv}}% + {\leftmargin8.5mm + \labelsep\leftmargin + \settowidth\labelwidth{\@biblabel{#1}}% + \advance\labelsep-\labelwidth + \usecounter{enumiv}% + \let\p@enumiv\@empty + \renewcommand\theenumiv{\@arabic\c@enumiv}}% + \fontsize{9}{12}\selectfont + \sloppy + \clubpenalty4000 + \@clubpenalty \clubpenalty + \widowpenalty4000% + \sfcode`\.\@m\protected@write\@auxout{}{\string\gdef\string\@pageNumberStartBibliography{\thepage}}} + {\def\@noitemerr + {\@latex@warning{Empty `thebibliography' environment}}% + \protected@write\@auxout{}{\string\gdef\string\@pageNumberEndBibliography{\thepage}}% + \endlist} +\g@addto@macro\appendix{\immediate\write\@auxout{\string\gdef\string\@pageNumberStartAppendix{\thepage}}}% +\renewcommand\footnoterule{% + \kern-8\p@ + {\color{lipicsBulletGray}\hrule\@width40mm\@height1\p@}% + \kern6.6\p@} +\renewcommand\@makefntext[1]{% + \parindent\z@\hangindent1em + \leavevmode + \hb@xt@1em{\@makefnmark\hss}#1} +\usepackage{microtype} +\usepackage[utf8]{inputenc} +\ifx\pdfa\relax% + \IfFileExists{glyphtounicode.tex}{ + \input glyphtounicode + \pdfgentounicode=1 + }{}% +\fi +\IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{} +\IfFileExists{fontawesome5.sty}{% +\RequirePackage{fontawesome5}% +\IfFileExists{orcid.pdf}{% +\def\orcidsymbol{\includegraphics[height=9\p@]{orcid}} +}{ +\def\orcidsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faOrcid}}% +} +\def\mailsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faIcon[regular]{envelope}}}% +\def\homesymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faHome}}% +}{% +\ClassWarning{Package fontawesome5 not installed}{Please install package fontawesome5} +\def\orcidsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries ORCID}} +\def\mailsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries @}}% +\def\homesymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries H}}% +}% +\RequirePackage[T1]{fontenc} +\RequirePackage{textcomp} +\RequirePackage[mathscr]{eucal} +\RequirePackage{amssymb} +\PassOptionsToPackage{retainmissing}{MnSymbol} +\AtBeginDocument{\@ifpackageloaded{MnSymbol}% + {\expandafter\let\csname ver@amssymb.sty\endcsname\relax + \let\complement\@undefined + \RequirePackage{amssymb}}{}} +\RequirePackage{soul} +\sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}% + {.4em\@plus.275em\@minus.183em} +\RequirePackage{color} %kept for backward compatibility +\AtBeginDocument{ + \@ifpackageloaded{xcolor}{ + }{ + \RequirePackage{xcolor} + } + \definecolor{darkgray}{rgb}{0.31,0.31,0.33} + \definecolor[named]{lipicsGray}{rgb}{0.31,0.31,0.33} + \definecolor[named]{lipicsBulletGray}{rgb}{0.60,0.60,0.61} + \definecolor[named]{lipicsLineGray}{rgb}{0.51,0.50,0.52} + \definecolor[named]{lipicsLightGray}{rgb}{0.85,0.85,0.86} + \definecolor[named]{lipicsYellow}{rgb}{0.99,0.78,0.07} +} +\RequirePackage{babel} +\RequirePackage[tbtags,fleqn]{amsmath} +\AtBeginDocument{ + \@ifpackageloaded{enumitem}{\ClassWarning{Package 'enumitem' incompatible}{Don't use package 'enumitem'; Package enumerate preloaded!}}{} + \@ifpackageloaded{paralist}{\ClassWarning{Package 'paralist' incompatible}{Don't use package 'paralist'; Package enumerate preloaded!}}{} +} +\RequirePackage{enumerate} +\def\@enum@{\list{\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\csname label\@enumctr\endcsname}}% + {\advance\partopsep\topsep + \topsep\z@\@plus\p@ + \usecounter{\@enumctr}\def\makelabel##1{\hss\llap{##1}}}} +\def\romanenumerate{\enumerate[(i)]} +\let\endromanenumerate\endenumerate +\def\alphaenumerate{\enumerate[(a)]} +\let\endalphaenumerate\endenumerate +\def\bracketenumerate{\enumerate[(1)]} +\let\endbracketenumerate\endenumerate +\RequirePackage{graphicx} +\RequirePackage{array} +\let\@classzold\@classz +\def\@classz{% + \expandafter\ifx\d@llarbegin\begingroup + \toks \count@ = + \expandafter{\expandafter\small\the\toks\count@}% + \fi + \@classzold} +\RequirePackage{multirow} +\RequirePackage{tabularx} +\RequirePackage[online]{threeparttable} +\def\TPTtagStyle#1{#1)} +\def\tablenotes{\small\TPT@defaults + \@ifnextchar[\TPT@setuptnotes\TPTdoTablenotes} % ] +\RequirePackage{listings} +\lstset{basicstyle=\small\ttfamily,% + backgroundcolor=\color{lipicsLightGray},% + frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep} +\RequirePackage[left,mathlines]{lineno} +\linenumbers +\renewcommand\linenumberfont{\normalfont\tiny\sffamily} +%%%% patch to cope with amsmath +%%%% http://phaseportrait.blogspot.de/2007/08/lineno-and-amsmath-compatibility.html +\newcommand*\patchAmsMathEnvironmentForLineno[1]{% + \expandafter\let\csname old#1\expandafter\endcsname\csname #1\endcsname + \expandafter\let\csname oldend#1\expandafter\endcsname\csname end#1\endcsname + \renewenvironment{#1}% + {\linenomath\csname old#1\endcsname}% + {\csname oldend#1\endcsname\endlinenomath}}% +\newcommand*\patchBothAmsMathEnvironmentsForLineno[1]{% + \patchAmsMathEnvironmentForLineno{#1}% + \patchAmsMathEnvironmentForLineno{#1*}}% +\AtBeginDocument{% + \patchBothAmsMathEnvironmentsForLineno{equation}% + \patchBothAmsMathEnvironmentsForLineno{align}% + \patchBothAmsMathEnvironmentsForLineno{flalign}% + \patchBothAmsMathEnvironmentsForLineno{alignat}% + \patchBothAmsMathEnvironmentsForLineno{gather}% + \patchBothAmsMathEnvironmentsForLineno{multline}} +\let\usehyperxmp\@empty% +\ifx\pdfa\relax% + \IfFileExists{hyperxmp.sty}{% + \RequirePackage{hyperxmp}% + \@ifpackagelater{hyperxmp}{2019/04/05}{% + \let\usehyperxmp\relax% + }{% + \ClassWarning{Package hyperxmp outdated}{You are using an outdated version of the package hyperxmp. Please update!}% + }}{}% +\fi% +\IfFileExists{totpages.sty}{ + \RequirePackage{totpages} +}{ + \ClassWarning{Package totpages not installed}{Please install package totpages} + \newcounter{TotPages} + \setcounter{TotPages}{99} +} +\ifx\usehyperxmp\relax% + \RequirePackage[pdfa,unicode]{hyperref}% +\else% + \RequirePackage[unicode]{hyperref}% +\fi% +\let\C\relax% +\let\G\relax% +\let\F\relax% +\let\U\relax% +\pdfstringdefDisableCommands{% + \let\thanks\@gobble% + \let\footnote\@gobble% + \def\footnotemark{}% + \def\cs#1{\textbackslash #1}% + \let\normalfont\@empty% + \let\scshape\@empty% + \def\and{and }% + \def\,{ }% + \def\textrightarrow{ -> }% + \let\mathsf\@empty% +}% +\hypersetup{ + breaklinks=true, + pdfencoding=unicode, + bookmarksnumbered, + pdfborder={0 0 0}, + pdfauthor={ } +}% +\AtBeginDocument{ +\ifx\usehyperxmp\relax +\hypersetup{ +pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}, +pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi}, +pdfkeywords={\@keywords}, +pdfproducer={LaTeX with lipics-v2021.cls}, +pdfsubject={LIPIcs, Vol.\@SeriesVolume, \@EventShortTitle}, +pdfcopyright = { Copyright (C) \ifx\authoranonymous\relax Anonymous author(s) \else \@copyrightholder; \fi licensed under Creative Commons License CC-BY 4.0}, +pdflang={en}, +pdfmetalang={en}, +pdfpublisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany}, +pdflicenseurl={https://creativecommons.org/licenses/by/4.0/}, +pdfpubtype={LIPIcs}, +pdfvolumenum={\@SeriesVolume}, +pdfpagerange={\@ArticleNo:\thepage-\@ArticleNo:\theTotPages}, +pdfdoi={\@lipicsdoi}, +pdfapart=3, +pdfaconformance=B +} +\else% +\hypersetup{ +pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}, +pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi}, +pdfkeywords={\@keywords}, +pdfcreator={LaTeX with lipics-v2021.cls}, +pdfsubject={LIPIcs, Vol.\@SeriesVolume, \@EventShortTitle; Copyright (C) \ifx\authoranonymous\relax Anonymous author(s) \else \@copyrightholder; \fi licensed under Creative Commons License CC-BY 4.0} +}% +\fi % +} +\ifx\usehyperxmp\relax +\pdfobjcompresslevel=0 +\pdfinclusioncopyfonts=1 +\IfFileExists{colorprofiles.tex}{ +\RequirePackage{colorprofiles}% +\IfFileExists{sRGB.icc}{ +\immediate\pdfobj stream attr{/N 3} file{sRGB.icc} +\pdfcatalog{% +/OutputIntents [ +<< +/Type /OutputIntent +/S /GTS_PDFA1 +/DestOutputProfile \the\pdflastobj\space 0 R +/OutputConditionIdentifier (sRGB) +/Info (sRGB) +>> +] +}}{} +}{\ClassWarning{Package colorprofiles not installed}{Please install package colorprofiles}} +\fi +\RequirePackage[labelsep=space,singlelinecheck=false,% + font={up,small},labelfont={sf,bf},% + listof=false]{caption}%"listof" instead of "list" for backward compatibility +\@ifpackagelater{hyperref}{2009/12/09} + {\captionsetup{compatibility=false}}%cf. http://groups.google.de/group/comp.text.tex/browse_thread/thread/db9310eb540fbbd8/42e30f3b7b3aa17a?lnk=raot + {} +\DeclareCaptionLabelFormat{boxed}{% + \kern0.05em{\color[rgb]{0.99,0.78,0.07}\rule{0.73em}{0.73em}}% + \hspace*{0.67em}\bothIfFirst{#1}{~}#2} +\captionsetup{labelformat=boxed} +\captionsetup[table]{position=top} +\RequirePackage[figuresright]{rotating} +\caption@AtBeginDocument{\@ifpackageloaded{subfig}{\ClassError{lipics}{% + Do not load the subfig package}{The more recent subcaption package is already loaded}}{}} +\RequirePackage{subcaption} +\def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}} +\def\authorrunning#1{% + \gdef\@authorrunning{\markright{\ifx\authoranonymous\relax\textcolor{red}{Anonymous author(s)} \else\if!#1!\textcolor{red}{Author: Please fill in the \string\authorrunning\space macro}\else#1\fi\fi}}} +\titlerunning{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi} +\authorrunning{\textcolor{red}{Author: Please use the \string\authorrunning\space macro}} +\def\EventLongTitle#1{\gdef\@EventLongTitle{#1}} +\EventLongTitle{} +\def\EventShortTitle#1{\gdef\@EventShortTitle{#1}} +\EventShortTitle{} +\def\EventEditors#1{\gdef\@EventEditors{#1}} +\EventEditors{} +\def\EventNoEds#1{\gdef\@EventNoEds{#1}\xdef\@Eds{Editor\ifnum#1>1s\fi}} +\EventNoEds{1} +\def\EventLogo#1{\gdef\@EventLogo{#1}} +\EventLogo{} +\def\EventAcronym#1{\gdef\@EventAcronym{#1}} +\EventAcronym{} +\def\EventYear#1{\gdef\@EventYear{#1}} +\EventYear{} +\def\EventDate#1{\gdef\@EventDate{#1}} +\EventDate{} +\def\EventLocation#1{\gdef\@EventLocation{#1}} +\EventLocation{} +\def\SeriesVolume#1{\gdef\@SeriesVolume{#1}} +\SeriesVolume{} +\def\ArticleNo#1{\gdef\@ArticleNo{#1}} +\ArticleNo{} +\def\DOIPrefix#1{\gdef\@DOIPrefix{#1}} +\DOIPrefix{10.4230/LIPIcs} +\def\@lipicsdoi{\@DOIPrefix.\@EventAcronym.\@EventYear.\@ArticleNo} +\def\and{\newline} +\let\orig@author\@author +\let\@authorsfortoc\@empty +\let\@authorsforpdf\@empty +\newcount\c@author +\newcounter{currentauthor} +\def\authorcolumnsMin{6} +\def\@authornum{0} +\def\author#1#2#3#4#5{% + \ifx\@author\orig@author\let\@author\@empty\fi + \g@addto@macro\@author{% + \noexpandarg\StrBehind{#2}{\and \url}[\homepageTemp]\IfSubStr{#2}{\and \url}{\StrBefore{#2}{\and \url}[\affiliation]}{\def\affiliation{#2}}% + \expandarg\exploregroups\StrRemoveBraces{\homepageTemp}[\homepage]% + \ifx\authorcolumns\relax + \ifnum\c@author>\authorcolumnsMin + \stepcounter{currentauthor} + \ifodd\value{currentauthor} + \begin{minipage}[t]{\textwidth} + \begin{minipage}[t]{0.49\textwidth} + \else + \hfill \begin{minipage}[t]{0.49\textwidth} + \fi + \else + \ClassWarning{Option 'authorcolumns' only applicable for > 6 authors}{Option 'authorcolumns' only applicable for >6 authors!} + \addvspace{0.5\baselineskip} + \fi + \else + \addvspace{0.5\baselineskip} + \fi + {\Large\bfseries + \if!#1! + \textcolor{red}{Author: Please enter author name}% + \else + \ifx\authoranonymous\relax + \textcolor{red}{Anonymous author} + \else + #1\,% + \ifx\compactauthor\relax\if!#3!\else{\,\href{mailto:#3}{\mailsymbol}}\fi% + \ifx\homepage\@empty\else{\,\href{\homepage}{\homesymbol}}\fi\fi% + \if!#4!\else{\,\href{#4}{\orcidsymbol}}\fi% + \if!#5!\else + \ifx\@funding\@empty + \expandafter\g@addto@macro\expandafter\@funding{\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}} + \else + \expandafter\g@addto@macro\expandafter\@funding{\\\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}} + \fi + \fi + \fi + \fi + } + {\small + \if!#2!\textcolor{red}{Author: Please enter affiliation as second parameter of the author macro}\else{\\* \ifx\authoranonymous\relax\textcolor{red}{Anonymous affiliation}\else\ifx\compactauthor\relax \affiliation \else#2\fi\fi}\fi + \ifx\compactauthor\relax\else\if!#3!\else{\ifx\authoranonymous\relax\else\\*\href{mailto:#3}{#3}\fi}\fi\fi + }\par + \ifx\authorcolumns\relax + \ifnum\c@author>\authorcolumnsMin + \end{minipage} + \ifnum\c@author=\value{currentauthor} + \end{minipage} + \else + \ifodd\value{currentauthor} + \else + \end{minipage}% + \medskip + \fi + \fi + \fi + \fi}% + \global\advance\c@author\@ne + \protected@write\@auxout{}{\string\gdef\string\@authornum{\the\c@author}} + \ifnum\c@author=\@ne + \gdef\@authorsfortoc{#1}% + \gdef\@authorsforpdf{#1} + \else + \expandafter\g@addto@macro\expandafter\@authorsforpdf\expandafter{, #1} + \expandafter\g@addto@macro\expandafter\@authorsfortoc\expandafter{\expandafter\csname\the\c@author authand\endcsname#1}% + \@namedef{\the\c@author authand}{,\space}% + \AtBeginDocument{% + \expandafter\ifnum\@authornum=2 + \@namedef{2authand}{\space and\space}% + \else + \@namedef{\@authornum authand}{,\space and\space}% + \fi} + \fi} +\newcommand*\affil[2][]{% + \ClassError{lipics} + {\string\affil\space deprecated: Please enter affiliation as second parameter of the author macro} + {Since 2017, \string\affil\space is obsolete in lipics.}} +\newcommand*\Copyright[1]{% + \def\@copyrightholder{#1} + \def\@Copyright{% + \setbox\@tempboxa\hbox{\IfFileExists{cc-by.pdf}{\includegraphics[height=14\p@,clip]{cc-by}}{\includegraphics[height=14\p@, width=40pt]{example-image-plain}}}% + \@rightskip\@flushglue \rightskip\@rightskip + \hangindent\dimexpr\wd\@tempboxa+0.5em\relax + \href{https://creativecommons.org/licenses/by/4.0/}% + {\smash{\lower\baselineskip\hbox{\unhcopy\@tempboxa}}}\enskip + \textcopyright\ % + \ifx!#1!\textcolor{red}{Author: Please fill in the \string\Copyright\space macro}\else\ifx\authoranonymous\relax\textcolor{red}{Anonymous author(s)}\else#1\fi\fi + ;\\% + licensed under Creative Commons License CC-BY 4.0\ifx!#1!\\\null\fi\par}} +\Copyright{\textcolor{red}{Author: Please provide a copyright holder}} +\let\@copyrightholder\@empty +\def\hideLIPIcs{\let\@hideLIPIcs\relax} +\usepackage{xstring} +\def\keywords#1{\def\@keywords{#1}} +\let\@keywords\@empty +\def\keywordsHeading{% + \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries + Keywords and phrases\enskip}} +\RequirePackage{comment} +\excludecomment{CCSXML} +% inspired by https://tex.stackexchange.com/questions/12810/how-do-i-split-a-string +\global\newcommand\ccsdesc[2][100]{\@ccsdesc#1~#2~~\relax} +\let\orig@ccsdesc\@ccsdesc +\let\@ccsdesc\@empty +\let\@ccsdescString\@empty +\gdef\@ccsdesc#1~#2~#3~{ + \ifx\@ccsdesc\orig@ccsdesc\let\@ccsdesc\@empty\fi + \ifx!#3! + \ifx\@ccsdescString\@empty + \g@addto@macro\@ccsdescString{{#2}} + \else + \g@addto@macro\@ccsdescString{; {#2}} + \fi + \else + \ifx\@ccsdescString\@empty + \g@addto@macro\@ccsdescString{{#2} $\rightarrow$ {#3}} + \else + \g@addto@macro\@ccsdescString{; {#2} $\rightarrow$ {#3}} + \fi + \fi +\ccsdescEnd +} +\def\ccsdescEnd#1\relax{} +\def\subjclass#1{ + \ClassError{lipics} + {\string\subjclass\space deprecated: Please enter subject classification in 1 or more ccsdesc macros} + {Since 2019, \string\subjclass\space is obsolete in lipics.}} +\let\@subjclass\@empty +\def\subjclassHeading{% + \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries + 2012 ACM Subject Classification\enskip}} +\def\doiHeading{% + \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries + Digital Object Identifier\enskip}} +\def\category#1{\def\@category{#1}} +\let\@category\@empty +\def\categoryHeading{% + \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries + Category\enskip}} +\def\relatedversion#1{\def\@relatedversion{#1}} +\let\@relatedversion\@empty +\define@key{relatedversiondetails}{linktext}{\def\relatedversiondetails@linktext{#1}} +\define@key{relatedversiondetails}{cite}{\def\relatedversiondetails@cite{#1}} +\newcommand*\addtorelatedversionmacro[2]{% + \ifx\@relatedversion\@empty% + \g@addto@macro\@relatedversion{#1}% + \else% + \g@addto@macro\@relatedversion{\\#1}% + \fi% +}% +\newcommand{\relatedversiondetails}[3][]{% + \begingroup% + \let\relatedversiondetails@linktext\@empty + \let\relatedversiondetails@cite\@empty + \setkeys{relatedversiondetails}{#1}% + \ifx\relatedversiondetails@linktext\@empty% + \protected@edef\tmp{\textit{#2}:\space{\url{#3}}}% + \else% + \protected@edef\tmp{\textit{#2}:\space{\href{#3}{\texttt{\relatedversiondetails@linktext}}}}% + \fi% + \ifx\relatedversiondetails@cite\@empty% + \else% + \protected@edef\tmp{\tmp\nobreakspace\cite{\relatedversiondetails@cite}}% + \fi% + \expandafter\addtorelatedversionmacro\expandafter{\tmp}{#1}% + \endgroup% +}% +\def\relatedversionHeading{% + \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries + Related Version\enskip}} +\def\supplement#1{\def\@supplement{#1}} +\let\@supplement\@empty +\define@key{supplementdetails}{linktext}{\def\supplementdetails@linktext{#1}} +\define@key{supplementdetails}{cite}{\def\supplementdetails@cite{#1}} +\define@key{supplementdetails}{subcategory}{\def\supplementdetails@subcategory{#1}} +\define@key{supplementdetails}{swhlinktext}{\def\supplementdetails@swhlinktext{#1}} +\let\supplementdetails@swhlinktext\@empty +\define@key{supplementdetails}{swhid}{ + \ifx\supplementdetails@swhlinktext\@empty% + \StrBefore{#1}{;}[\supplementdetails@swhlinktext]% + \fi% + \def\supplementdetails@swhid{#1}% +} + +\define@key{supplementdetails}{swhdelimiter}{\def\supplementdetails@swhdelimiter{#1}} +\def\supplementdetails@swhdelimiter{\\ \hspace*{1.2em}} +\newcommand*\addtosupplementmacro[2]{% + \ifx\@supplement\@empty% + \g@addto@macro\@supplement{#1}% + \else% + \g@addto@macro\@supplement{\\#1}% + \fi% +}% +\newcommand{\supplementdetails}[3][]{% + \begingroup% + \let\supplementdetails@linktext\@empty + \let\supplementdetails@cite\@empty + \let\supplementdetails@subcategory\@empty + \let\supplementdetails@swhid\@empty + \setkeys{supplementdetails}{#1}% + \ifx\supplementdetails@subcategory\@empty% + \protected@edef\tmp{\textit{#2}} + \else + \protected@edef\tmp{\textit{#2\,\,(\supplementdetails@subcategory)}}% + \fi + \ifx\supplementdetails@linktext\@empty% + \protected@edef\tmp{\tmp:\space{\url{#3}}}% + \else% + \protected@edef\tmp{\tmp:\space{\href{#3}{\texttt{\supplementdetails@linktext}}}}% + \fi% + \ifx\supplementdetails@cite\@empty% + \else% + \protected@edef\tmp{\tmp\nobreakspace\cite{\supplementdetails@cite}}% + \fi + \ifx\supplementdetails@swhid\@empty% + \else% + \ifx\supplementdetails@swhlinktext\@empty% + \protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at % + \href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhid}}}% + \else% + \protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at % + \href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhlinktext}}}% + \fi% + \fi% + \expandafter\addtosupplementmacro\expandafter{\tmp}{#1}% + \endgroup% +}% +\def\supplementHeading{% + \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries + Supplementary Material\enskip}} +\newcommand\flag[2][0.9cm]{% + \leavevmode\marginpar{% + \raisebox{\dimexpr-\totalheight+\ht\strutbox\relax}% + [\dimexpr\ht\strutbox+3mm][\dp\strutbox]{\expandafter\includegraphics[width=#1]{#2}}% +}} +\def\funding#1{\def\@funding{#1}} +\let\@funding\@empty +\def\fundingHeading{% + \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries + Funding\enskip}} +\def\acknowledgements#1{\def\@acknowledgements{#1}} +\let\@acknowledgements\@empty +\def\acknowledgementsHeading{% + \textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries + Acknowledgements\enskip}} +\RequirePackage{amsthm} +\ifx\usethmrestate\relax + \RequirePackage{thm-restate} +\fi +\thm@headfont{% + \textcolor{lipicsGray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries} +\def\th@remark{% + \thm@headfont{% + \textcolor{lipicsGray}{$\blacktriangleright$}\nobreakspace\sffamily}% + \normalfont % body font + \thm@preskip\topsep \divide\thm@preskip\tw@ + \thm@postskip\thm@preskip +} +\def\@endtheorem{\endtrivlist}%\@endpefalse +\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}} +\renewenvironment{proof}[1][\proofname]{\par + \pushQED{\qed}% + \normalfont \topsep6\p@\@plus6\p@\relax + \trivlist + \item[\hskip\labelsep + \color{lipicsGray}\sffamily\bfseries + #1\@addpunct{.}]\ignorespaces +}{% + \popQED\endtrivlist%\@endpefalse +} +\newcommand{\claimqedhere}{\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\vartriangleleft}}}% +\qedhere% +\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}}} +\newenvironment{claimproof}[1][\proofname]{ + \pushQED{\qed}% + \normalfont \topsep6\p@\@plus6\p@\relax + \trivlist + \item[\hskip\labelsep + \color{lipicsGray}\sffamily + #1\@addpunct{.}]\ignorespaces +}{% + \renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\vartriangleleft}}} + \popQED\endtrivlist%\@endpefalse + \renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}} +} +% inspired by qed of amsthm class +\DeclareRobustCommand{\lipicsEnd}{% + \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill + \quad\hbox{$\lrcorner$}% +} +\AtBeginDocument{ + \@ifpackageloaded{algorithm2e}{ + \@ifpackagelater{algorithm2e}{2009/11/17}{ + \renewcommand{\algorithmcfname}{\sffamily\bfseries{}Algorithm}% + \renewcommand{\@algocf@procname}{\sffamily\bfseries{}Procedure}% + \SetAlgoCaptionSeparator{~} + \SetAlCapHSkip{0pt} + \renewcommand{\algocf@captiontext}[2]{% + \kern0.05em{\color{lipicsYellow}\rule{0.73em}{0.73em}}% + \hspace*{0.67em}\small #1\algocf@capseparator\nobreakspace#2} + \renewcommand{\algocf@makecaption}[2]{% + \parbox[t]{\textwidth}{\algocf@captiontext{#1}{#2}}% + }% + \renewcommand{\algocf@captionproctext}[2]{% + {% + \kern0.05em{\color{lipicsYellow}\rule{0.73em}{0.73em}}% + \hspace*{0.67em}\small% +\ProcSty{\ProcFnt\algocf@procname\ifthenelse{\boolean{algocf@procnumbered}}{\nobreakspace\thealgocf\algocf@typo\algocf@capseparator}{\relax}}% + \nobreakspace\ProcNameSty{\ProcNameFnt\algocf@captname #2@}% Name of the procedure in ProcName Style. + \ifthenelse{\equal{\algocf@captparam #2@}{\arg@e}}{}{% if no argument, write nothing + \ProcNameSty{\ProcNameFnt(}\ProcArgSty{\ProcArgFnt\algocf@captparam #2@}\ProcNameSty{\ProcNameFnt)}%else put arguments in ProcArgSty: + }% endif + \algocf@captother #2@% + }% +}% + \renewcommand{\@algocf@capt@boxed}{above} + \renewcommand{\@algocf@capt@ruled}{above} + \setlength\algotitleheightrule{0pt} + }{\ClassWarning{% + Package algorithm2e outdated}{You are using an outdated version of the package algorithm2e. Please update!}} + }{} + \@ifpackageloaded{algorithm}{ + \captionsetup[algorithm]{name=Algorithm, labelformat=boxed, position=top} + \newcommand\fs@ruled@notop{\def\@fs@cfont{\bfseries}\let\@fs@capt\floatc@ruled + \def\@fs@pre{}% + \def\@fs@post{\kern2pt\hrule\relax}% + \def\@fs@mid{\kern2pt\hrule\kern2pt}% + \let\@fs@iftopcapt\iftrue} + \@ifundefined{fst@algorithm}{}{ + \renewcommand\fst@algorithm{\fs@ruled@notop} + } + }{} + \ifx\usecleveref\relax\else + \@ifpackageloaded{cleveref}{\ClassWarning{Use document option 'cleveref' instead}{Use document option 'cleveref' instead directly loading package 'cleveref'}}{} + \fi + \ifx\usethmrestate\relax\else + \@ifpackageloaded{thm-restate}{\ClassWarning{Use document option 'thm-restate' instead}{Use document option 'thm-restate' instead directly loading package 'thm-restate'}}{} + \fi + \ifx\useautoref\relax + \@ifundefined{algorithmautorefname}{\newcommand{\algorithmautorefname}{Algorithm}}{\renewcommand{\algorithmautorefname}{Algorithm}}% + \fi +} + +\ifx\usecleveref\relax + \RequirePackage[capitalise, noabbrev]{cleveref} + \crefname{algocf}{Algorithm}{Algorithms} + \Crefname{algocf}{Algorithm}{Algorithms} + \newcommand{\crefrangeconjunction}{--} + \newcommand{\creflastconjunction}{, and\nobreakspace} +\fi +\ifx\useautoref\relax + \RequirePackage{aliascnt} +\fi +\newtheoremstyle{claimstyle}{\topsep}{\topsep}{}{0pt}{\sffamily}{. }{5pt plus 1pt minus 1pt}% + {$\vartriangleright$ \thmname{#1}\thmnumber{ #2}\thmnote{ (#3)}} +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\ifx\numberwithinsect\relax + \@addtoreset{theorem}{section} + \expandafter\def\expandafter\thetheorem\expandafter{% + \expandafter\thesection\expandafter\@thmcountersep\thetheorem} +\fi + +\ifx\useautoref\relax + \addto\extrasenglish{% + \def\chapterautorefname{Chapter}% + \def\sectionautorefname{Section}% + \def\subsectionautorefname{Subsection}% + \def\subsubsectionautorefname{Subsubsection}% + \def\paragraphautorefname{Paragraph}% + \def\subparagraphautorefname{Subparagraph}% + } + \addto\extrasUKenglish{% + \def\chapterautorefname{Chapter}% + \def\sectionautorefname{Section}% + \def\subsectionautorefname{Subsection}% + \def\subsubsectionautorefname{Subsubsection}% + \def\paragraphautorefname{Paragraph}% + \def\subparagraphautorefname{Subparagraph}% + } + \addto\extrasUSenglish{% + \def\chapterautorefname{Chapter}% + \def\sectionautorefname{Section}% + \def\subsectionautorefname{Subsection}% + \def\subsubsectionautorefname{Subsubsection}% + \def\paragraphautorefname{Paragraph}% + \def\subparagraphautorefname{Subparagraph}% + } + \ifx\usethmrestate\relax + \newtheorem{lemma}[theorem]{Lemma} + \newtheorem{corollary}[theorem]{Corollary} + \newtheorem{proposition}[theorem]{Proposition} + \newtheorem{exercise}[theorem]{Exercise} + \newtheorem{definition}[theorem]{Definition} + \newtheorem{conjecture}[theorem]{Conjecture} + \newtheorem{observation}[theorem]{Observation} + \theoremstyle{definition} + \newtheorem{example}[theorem]{Example} + \theoremstyle{remark} + \newtheorem{note}[theorem]{Note} + \newtheorem*{note*}{Note} + \newtheorem{remark}[theorem]{Remark} + \newtheorem*{remark*}{Remark} + \theoremstyle{claimstyle} + \newtheorem{claim}[theorem]{Claim} + \newtheorem*{claim*}{Claim} + \else + \newaliascnt{lemma}{theorem} + \newtheorem{lemma}[lemma]{Lemma} + \aliascntresetthe{lemma} + \newcommand{\lemmaautorefname}{Lemma} + \newaliascnt{corollary}{theorem} + \newtheorem{corollary}[corollary]{Corollary} + \aliascntresetthe{corollary} + \newcommand{\corollaryautorefname}{Corollary} + \newaliascnt{proposition}{theorem} + \newtheorem{proposition}[proposition]{Proposition} + \aliascntresetthe{proposition} + \newcommand{\propositionautorefname}{Proposition} + \newaliascnt{exercise}{theorem} + \newtheorem{exercise}[exercise]{Exercise} + \aliascntresetthe{exercise} + \newcommand{\exerciseautorefname}{Exercise} + \newaliascnt{definition}{theorem} + \newtheorem{definition}[definition]{Definition} + \aliascntresetthe{definition} + \newcommand{\definitionautorefname}{Definition} + \newaliascnt{conjecture}{theorem} + \newtheorem{conjecture}[conjecture]{Conjecture} + \aliascntresetthe{conjecture} + \newcommand{\conjectureautorefname}{Conjecture} + \newaliascnt{observation}{theorem} + \newtheorem{observation}[observation]{Observation} + \aliascntresetthe{observation} + \newcommand{\observationautorefname}{Observation} + \theoremstyle{definition} + \newaliascnt{example}{theorem} + \newtheorem{example}[example]{Example} + \aliascntresetthe{example} + \newcommand{\exampleautorefname}{Example} + \theoremstyle{remark} + \newaliascnt{note}{theorem} + \newtheorem{note}[note]{Note} + \aliascntresetthe{note} + \newcommand{\noteautorefname}{Note} + \newtheorem*{note*}{Note} + \newaliascnt{remark}{theorem} + \newtheorem{remark}[remark]{Remark} + \aliascntresetthe{remark} + \newcommand{\remarkautorefname}{Remark} + \newtheorem*{remark*}{Remark} + \theoremstyle{claimstyle} + \newaliascnt{claim}{theorem} + \newtheorem{claim}[claim]{Claim} + \aliascntresetthe{claim} + \newcommand{\claimautorefname}{Claim} + \newtheorem*{claim*}{Claim} + \fi +\else + \newtheorem{lemma}[theorem]{Lemma} + \newtheorem{corollary}[theorem]{Corollary} + \newtheorem{proposition}[theorem]{Proposition} + \newtheorem{exercise}[theorem]{Exercise} + \newtheorem{definition}[theorem]{Definition} + \newtheorem{conjecture}[theorem]{Conjecture} + \newtheorem{observation}[theorem]{Observation} + \theoremstyle{definition} + \newtheorem{example}[theorem]{Example} + \theoremstyle{remark} + \newtheorem{note}[theorem]{Note} + \newtheorem*{note*}{Note} + \newtheorem{remark}[theorem]{Remark} + \newtheorem*{remark*}{Remark} + \theoremstyle{claimstyle} + \newtheorem{claim}[theorem]{Claim} + \newtheorem*{claim*}{Claim} +\fi +\theoremstyle{plain} +\endinput +%% +%% End of file `lipics-v2021.cls'. diff --git a/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/preamble.tex b/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/preamble.tex new file mode 100644 index 0000000..894b163 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/preamble.tex @@ -0,0 +1 @@ +%% This is a placeholder for user-specific configuration and packages. \ No newline at end of file diff --git a/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/template-lipics-v2021-UNSUPPORTED.thy b/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/template-lipics-v2021-UNSUPPORTED.thy new file mode 100644 index 0000000..5d8ba33 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/template-lipics-v2021-UNSUPPORTED.thy @@ -0,0 +1,13 @@ +theory + "template-lipics-v2021-UNSUPPORTED" +imports + "Isabelle_DOF-Ontologies.document_templates" + Isabelle_DOF.scholarly_paper +begin + +list_templates +use_template "lipics-v2021-UNSUPPORTED" +list_ontologies +use_ontology "scholarly_paper" + +end diff --git a/Isabelle_DOF-Examples-Templates/template-lncs/ROOT b/Isabelle_DOF-Examples-Templates/template-lncs/ROOT new file mode 100644 index 0000000..12ed15c --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-lncs/ROOT @@ -0,0 +1,9 @@ +session "template-lncs" = "Isabelle_DOF-Ontologies" + + options [document = pdf, document_output = "output", document_build = dof] +(*theories [document = false] + A + B*) + theories + "template-lncs" + document_files + "preamble.tex" diff --git a/Isabelle_DOF-Examples-Templates/template-lncs/document/preamble.tex b/Isabelle_DOF-Examples-Templates/template-lncs/document/preamble.tex new file mode 100644 index 0000000..894b163 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-lncs/document/preamble.tex @@ -0,0 +1 @@ +%% This is a placeholder for user-specific configuration and packages. \ No newline at end of file diff --git a/Isabelle_DOF-Examples-Templates/template-lncs/template-lncs.thy b/Isabelle_DOF-Examples-Templates/template-lncs/template-lncs.thy new file mode 100644 index 0000000..c506744 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-lncs/template-lncs.thy @@ -0,0 +1,13 @@ +theory + "template-lncs" +imports + "Isabelle_DOF-Ontologies.document_templates" + Isabelle_DOF.scholarly_paper +begin + +list_templates +use_template "lncs" +list_ontologies +use_ontology "scholarly_paper" + +end diff --git a/Isabelle_DOF-Examples-Templates/template-scrartcl/ROOT b/Isabelle_DOF-Examples-Templates/template-scrartcl/ROOT new file mode 100644 index 0000000..835bf42 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-scrartcl/ROOT @@ -0,0 +1,9 @@ +session "template-scrartcl" = "Isabelle_DOF-Ontologies" + + options [document = pdf, document_output = "output", document_build = dof] +(*theories [document = false] + A + B*) + theories + "template-scrartcl" + document_files + "preamble.tex" diff --git a/Isabelle_DOF-Examples-Templates/template-scrartcl/document/preamble.tex b/Isabelle_DOF-Examples-Templates/template-scrartcl/document/preamble.tex new file mode 100644 index 0000000..894b163 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-scrartcl/document/preamble.tex @@ -0,0 +1 @@ +%% This is a placeholder for user-specific configuration and packages. \ No newline at end of file diff --git a/Isabelle_DOF-Examples-Templates/template-scrartcl/template-scrartcl.thy b/Isabelle_DOF-Examples-Templates/template-scrartcl/template-scrartcl.thy new file mode 100644 index 0000000..fedd844 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-scrartcl/template-scrartcl.thy @@ -0,0 +1,13 @@ +theory + "template-scrartcl" +imports + "Isabelle_DOF-Ontologies.document_templates" + Isabelle_DOF.scholarly_paper +begin + +list_templates +use_template "scrartcl" +list_ontologies +use_ontology "scholarly_paper" + +end diff --git a/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/ROOT b/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/ROOT new file mode 100644 index 0000000..931eb2a --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/ROOT @@ -0,0 +1,9 @@ +session "template-scrreprt-modern" = "Isabelle_DOF-Ontologies" + + options [document = pdf, document_output = "output", document_build = dof] +(*theories [document = false] + A + B*) + theories + "template-scrreprt-modern" + document_files + "preamble.tex" diff --git a/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/document/preamble.tex b/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/document/preamble.tex new file mode 100644 index 0000000..894b163 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/document/preamble.tex @@ -0,0 +1 @@ +%% This is a placeholder for user-specific configuration and packages. \ No newline at end of file diff --git a/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/template-scrreprt-modern.thy b/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/template-scrreprt-modern.thy new file mode 100644 index 0000000..ed4fe5f --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/template-scrreprt-modern.thy @@ -0,0 +1,13 @@ +theory + "template-scrreprt-modern" +imports + "Isabelle_DOF-Ontologies.document_templates" + Isabelle_DOF.technical_report +begin + +list_templates +use_template "scrreprt-modern" +list_ontologies +use_ontology "technical_report" + +end diff --git a/Isabelle_DOF-Examples-Templates/template-scrreprt/ROOT b/Isabelle_DOF-Examples-Templates/template-scrreprt/ROOT new file mode 100644 index 0000000..39cd9ef --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-scrreprt/ROOT @@ -0,0 +1,9 @@ +session "template-scrreprt" = "Isabelle_DOF-Ontologies" + + options [document = pdf, document_output = "output", document_build = dof] +(*theories [document = false] + A + B*) + theories + "template-scrreprt" + document_files + "preamble.tex" diff --git a/Isabelle_DOF-Examples-Templates/template-scrreprt/document/preamble.tex b/Isabelle_DOF-Examples-Templates/template-scrreprt/document/preamble.tex new file mode 100644 index 0000000..894b163 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-scrreprt/document/preamble.tex @@ -0,0 +1 @@ +%% This is a placeholder for user-specific configuration and packages. \ No newline at end of file diff --git a/Isabelle_DOF-Examples-Templates/template-scrreprt/template-scrreprt.thy b/Isabelle_DOF-Examples-Templates/template-scrreprt/template-scrreprt.thy new file mode 100644 index 0000000..63a8f2d --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-scrreprt/template-scrreprt.thy @@ -0,0 +1,13 @@ +theory + "template-scrreprt" +imports + "Isabelle_DOF-Ontologies.document_templates" + Isabelle_DOF.technical_report +begin + +list_templates +use_template "scrreprt" +list_ontologies +use_ontology "technical_report" + +end diff --git a/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/ROOT b/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/ROOT new file mode 100644 index 0000000..fc12583 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/ROOT @@ -0,0 +1,10 @@ +session "template-sn-article-UNSUPPORTED" = "Isabelle_DOF-Ontologies" + + options [document = pdf, document_output = "output", document_build = dof] +(*theories [document = false] + A + B*) + theories + "template-sn-article-UNSUPPORTED" + document_files + "preamble.tex" + "sn-jnl.cls" diff --git a/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/preamble.tex b/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/preamble.tex new file mode 100644 index 0000000..894b163 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/preamble.tex @@ -0,0 +1 @@ +%% This is a placeholder for user-specific configuration and packages. \ No newline at end of file diff --git a/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/sn-jnl.cls b/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/sn-jnl.cls new file mode 100644 index 0000000..bee7fbf --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/sn-jnl.cls @@ -0,0 +1,1809 @@ +%% +%% This is file `sn-jnl.cls', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% classes.dtx (with options: `sn-jnl') +%% +%% This is a generated file. +%% +%% Copyright 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 +%% The LaTeX3 Project and any individual authors listed elsewhere +%% in this file. +%% +%% This file was generated from file(s) of the LaTeX base system. +%% -------------------------------------------------------------- +%% +%% It may be distributed and/or modified under the +%% conditions of the LaTeX Project Public License, either version 1.3c +%% of this license or (at your option) any later version. +%% The latest version of this license is in +%% http://www.latex-project.org/lppl.txt +%% and version 1.3c or later is part of all distributions of LaTeX +%% version 2005/12/01 or later. +%% +%% This file has the LPPL maintenance status "maintained". +%% +%% This file may only be distributed together with a copy of the LaTeX +%% base system. You may however distribute the LaTeX base system without +%% such generated files. +%% +%% The list of all files belonging to the LaTeX base distribution is +%% given in the file `manifest.txt'. See also `legal.txt' for additional +%% information. +%% +%% The list of derived (unpacked) files belonging to the distribution +%% and covered by LPPL is defined by the unpacking scripts (with +%% extension .ins) which are part of the distribution. +%% \CharacterTable +%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +%% Digits \0\1\2\3\4\5\6\7\8\9 +%% Exclamation \! Double quote \" Hash (number) \# +%% Dollar \$ Percent \% Ampersand \& +%% Acute accent \' Left paren \( Right paren \) +%% Asterisk \* Plus \+ Comma \, +%% Minus \- Point \. Solidus \/ +%% Colon \: Semicolon \; Less than \< +%% Equals \= Greater than \> Question mark \? +%% Commercial at \@ Left bracket \[ Backslash \\ +%% Right bracket \] Circumflex \^ Underscore \_ +%% Grave accent \` Left brace \{ Vertical bar \| +%% Right brace \} Tilde \~} +\NeedsTeXFormat{LaTeX2e}[1995/12/01] +\ProvidesClass{sn-jnl} + [2019/11/18 v0.1: An authoring template for Springer Journal articles] + +\newif\if@restonecol +\newif\if@titlepage \@titlepagefalse +\newif\if@cropmarkson \@cropmarksonfalse +\newif\ifDoublecol \Doublecolfalse% +\newif\ifpagebody\global\pagebodyfalse% +\newif\if@iicol\global\@iicolfalse% +\newif\if@bibcomment\global\@bibcommentfalse% +\newif\if@referee\global\@refereefalse% +\newif\if@vrulerlinenumberon\global\@vrulerlinenumberonfalse% +\newif\if@pdflatex\global\@pdflatexfalse% +\newif\if@remarkboxon\global\@remarkboxonfalse% + +\newif\if@Numbered@refstyle\global\@Numbered@refstylefalse% Namedate + +\newif\if@Spr@basic@refstyle\global\@Spr@basic@refstylefalse% 1.Basic Springer Nature Reference Style/Chemistry Reference Style -> sn-basic.bst +\newif\if@Mathphys@refstyle\global\@Mathphys@refstylefalse% 2.Math and Physical Sciences Reference Style -> sn-mathphys.bst +\newif\if@APS@refstyle\global\@APS@refstylefalse% 3.American Physical Society (APS) Reference Style -> sn-APS.bst +\newif\if@Vancouver@refstyle\global\@Vancouver@refstylefalse% 4.Vancouver Reference Style -> sn-vancouver.bst +\newif\if@APA@refstyle\global\@APA@refstylefalse% 5.APA-based Social Sciences/Psychology Reference Style -> sn-apacite.bst +\newif\if@Chicago@refstyle\global\@Chicago@refstylefalse% 6.Chicago-based Humanities Reference Style -> sn-chicago.bst +\newif\if@Standard@Nature@refstyle\global\@Standard@Nature@refstylefalse% 7.Standard Nature Research Style -> sn-nature.bst +\newif\if@Default@refstyle\global\@Default@refstylefalse% 8. default reference style - no bib/bst required + +%% Template Options +\DeclareOption{a4paper}{\PassOptionsToPackage{a4}{crop}} +\DeclareOption{a3paper}{\PassOptionsToClass{a3paper}{article}\PassOptionsToPackage{a3}{crop}} +\DeclareOption{centre}{\PassOptionsToPackage{center}{crop}} +\DeclareOption{crop}{\PassOptionsToPackage{frame}{crop}\global\@cropmarksontrue} +\DeclareOption{nocrop}{\PassOptionsToPackage{off}{crop}\global\@cropmarksontrue} +\DeclareOption{info}{\PassOptionsToPackage{info}{crop}} +\DeclareOption{noinfo}{\PassOptionsToPackage{noinfo}{crop}} + +%% Classfile Options +\DeclareOption{oneside}{\@twosidefalse \@mparswitchfalse} +\DeclareOption{twoside}{\@twosidetrue \@mparswitchtrue} +\DeclareOption{draft}{\setlength\overfullrule{5pt}} +\DeclareOption{titlepage}{\@titlepagetrue} +\DeclareOption{notitlepage}{\@titlepagefalse} +\DeclareOption{onecolumn}{\@twocolumnfalse} +\DeclareOption{twocolumn}{\@twocolumntrue} +\DeclareOption{openbib}{\let\if@openbib\iftrue} +\DeclareOption{pagegrid}{\global\pagebodytrue}% +\DeclareOption{iicol}{\global\@iicoltrue}% +\DeclareOption{bibcomment}{\global\@bibcommenttrue}% +\DeclareOption{referee}{\global\@refereetrue}% +\DeclareOption{lineno}{\global\@vrulerlinenumberontrue}% +\DeclareOption{pdflatex}{\global\@pdflatextrue}% +\DeclareOption{remarkboxoff}{\global\@remarkboxonfalse}% + +\DeclareOption{sn-basic}{\global\@Spr@basic@refstyletrue}% +\DeclareOption{sn-mathphys}{\global\@Mathphys@refstyletrue}% +\DeclareOption{sn-aps}{\global\@APS@refstyletrue}% +\DeclareOption{sn-vancouver}{\global\@Vancouver@refstyletrue}% +\DeclareOption{sn-apa}{\global\@APA@refstyletrue}% +\DeclareOption{sn-chicago}{\global\@Chicago@refstyletrue}% +\DeclareOption{sn-nature}{\global\@Standard@Nature@refstyletrue}% +\DeclareOption{default}{\global\@Default@refstyletrue}% + +\DeclareOption{Numbered}{\global\@Numbered@refstyletrue}% +\DeclareOption{NameDate}{\global\@Numbered@refstylefalse}% + + +%%\ExecuteOptions{twosidecrop,crop,centre,info,croppage} +\ProcessOptions +\LoadClass[twoside,fleqn]{article} + +\gdef\refereedefns{% +\if@referee% +\usepackage{setspace}% +\doublespacing% +\fi}% +\refereedefns% + +%% General Packages Used +% +\AtBeginDocument{% +%%\newcommand*\ExtraParaSkip{12pt}% +\SetFootnoteHook{\hspace*{-8pt}}% +\DeclareNewFootnote{A}[gobble]% +\setlength{\skip\footinsA}{0pt}}% +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%% Fonts & Sizes %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +%% Fonts Used +%%\RequirePackage[T1]{fontenc}% +% +\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}% +\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}% +\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}% +\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}% +\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}% +\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}% +\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}% +\DeclareRobustCommand*\cal{\@fontswitch\relax\mathcal}% +\DeclareRobustCommand*\mit{\@fontswitch\relax\mathnormal}% +% +\renewcommand\normalsize{% + \@setfontsize\normalsize{10bp}{12bp}% + \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ + \abovedisplayshortskip \z@ \@plus3\p@% + \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@% + \belowdisplayskip \abovedisplayskip% + \let\@listi\@listI}% +\normalsize% +% +\newcommand\medsize{% + \@setfontsize\small\@xipt{13}% + \abovedisplayskip 5\p@ \@plus3\p@ \@minus4\p@ + \abovedisplayshortskip \z@ \@plus2\p@ + \belowdisplayshortskip 3\p@ \@plus2\p@ \@minus2\p@ + \def\@listi{\leftmargin\leftmargini + \topsep 4\p@ \@plus2\p@ \@minus2\p@ + \parsep 2\p@ \@plus\p@ \@minus\p@ + \itemsep \parsep}% + \belowdisplayskip \abovedisplayskip}% +% +\renewcommand\small{% + \@setfontsize\small\@ixpt{11}% + \abovedisplayskip 5\p@ \@plus3\p@ \@minus4\p@ + \abovedisplayshortskip \z@ \@plus2\p@ + \belowdisplayshortskip 3\p@ \@plus2\p@ \@minus2\p@ + \def\@listi{\leftmargin\leftmargini + \topsep 4\p@ \@plus2\p@ \@minus2\p@ + \parsep 2\p@ \@plus\p@ \@minus\p@ + \itemsep \parsep}% + \belowdisplayskip \abovedisplayskip}% +% +\renewcommand\footnotesize{% + \@setfontsize\footnotesize{7}{8}% + \abovedisplayskip 5\p@ \@plus2\p@ \@minus4\p@ + \abovedisplayshortskip \z@ \@plus\p@ + \belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@ + \def\@listi{\leftmargin\leftmargini + \topsep 3\p@ \@plus\p@ \@minus\p@ + \parsep 2\p@ \@plus\p@ \@minus\p@ + \itemsep \parsep}% + \belowdisplayskip \abovedisplayskip} +% +\renewcommand\scriptsize{\@setfontsize\scriptsize\@ixpt\@ixpt}% +\newcommand\scrisize{\@setfontsize\scrisize{9.3}{9}}% +\renewcommand\tiny{\@setfontsize\tiny\@vpt\@vipt}% +\renewcommand\large{\@setfontsize\large{12}{14}}% +\newcommand\larg{\@setfontsize\larg{11}{13}}% +\renewcommand\Large{\@setfontsize\Large{16}{18}}% +\renewcommand\LARGE{\@setfontsize\LARGE\@xviipt{22}}% +\renewcommand\huge{\@setfontsize\huge\@xxpt{25}}% +\renewcommand\Huge{\@setfontsize\Huge\@xxvpt{30}}% +% +\DeclareMathSizes{\@ixpt}{\@ixpt}{7}{5}% +\DeclareMathSizes{\@xpt}{\@xpt}{7}{5}% +\DeclareMathSizes{\@xipt}{\@xipt}{7}{5}% +% +\DeclareRobustCommand*\textsubscript[1]{% + \@textsubscript{\selectfont#1}}% +% +\def\@textsubscript#1{% + {\m@th\ensuremath{_{\mbox{\fontsize\sf@size\z@#1}}}}}% +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%% Layout Settings %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +%%\RequirePackage{geometry}% +% +\newlength\columnhsize% +% +%% Regular Pages (for Opening page - redefined) +% +\if@iicol% +% +%% for double column used sn-medium design trim and page size %% +% +\setlength\headheight{12pt}% +\setlength\headsep{5.15mm}% +% +\setlength\columnsep{8mm}% +\setlength\columnhsize{76mm}% +% +\setlength\maxdepth{0pt}% +\setlength\footnotesep{7\p@}% +\setlength{\skip\footins}{18\p@ \@plus 6\p@ \@minus 3\p@}% +% +\RequirePackage[% + reversemp, + paperwidth=210mm, + paperheight=297mm, + top={26mm}, + headheight={12pt}, + headsep={5.15mm}, + text={160mm,216mm}, + marginparsep=5mm, + marginparwidth=12mm, + bindingoffset=6mm, + footskip=10.13mm,twocolumn]{geometry}% +% +\renewcommand\footnoterule{% + \kern3\p@% + \hrule \@height.2mm \@width\columnwidth% + \kern5.5\p@}% +% +\else% +%% For single column used smallcond design trim and page size %% +\RequirePackage[% + reversemp, + paperwidth=210mm, + paperheight=297mm, + top={26mm}, + headheight={5.5pt}, + headsep={5.6mm}, + text={31pc,194.25mm}, + marginparsep=5mm, + marginparwidth=12mm, + bindingoffset=6mm, + footskip=10mm]{geometry} +% + \setlength\maxdepth{0pt}% + \setlength\columnsep{5mm}% + \setlength{\marginparsep}{5mm}% + \setlength{\marginparwidth}{12mm}% + \setlength\footnotesep{5.75\p@}% + \setlength{\skip\footins}{8\p@ \@plus 4\p@ \@minus 0\p@}% +% +\renewcommand\footnoterule{% + \kern3\p@% + \ifodd\c@page% + \hrule \@height.2mm \@width\textwidth% + \else% + \hrule \@height.2mm \@width37mm + \fi% + \kern5.5\p@}% +% +\fi% +% +% +\setlength\parindent{1.5em}% +% +\def\StepUpCounter#1{\global\advance#1by 1\relax}% +\def\StepDownCounter#1{\global\advance#1by -1\relax}% +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%% Pagination Settings %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +% Line spacing +\setlength\lineskip{1\p@}% +\setlength\normallineskip{1\p@}% +%%\renewcommand\baselinestretch{1.5}% +\parskip=0pt% +% +% Page break penalties +% +\@lowpenalty 51 +\@medpenalty 151 +\@highpenalty 301 +% +% Disallow widows and orphans +% +\clubpenalty 10000 +\widowpenalty 10000 +% +% Disable page breaks before equations, allow pagebreaks after +% equations and discourage widow lines before equations. +% +\displaywidowpenalty 100 +\predisplaypenalty 10000 +\postdisplaypenalty 0 +% +% Set these global demerits +% +\doublehyphendemerits 1000000 % corresponds to badness 800 +\finalhyphendemerits 1000000 % corresponds to badness 1000 +% +% Allow loose lines rather than overfull lines +% +\vbadness=9999 +\tolerance=9999 +% +% Allow breaking the page in the middle of a paragraph +% +\interlinepenalty 0 +% +% Disallow breaking the page after a hyphenated line +\brokenpenalty 10000 +% +% Hyphenation; don't split words into less than three characters +\lefthyphenmin=3 +\righthyphenmin=3 +% +% Float placement parameters +% +% The total number of floats that can be allowed on a page. +\setcounter{totalnumber}{3} +% +% The maximum number of floats at the top and bottom of a page. +\setcounter{topnumber}{5} +\setcounter{bottomnumber}{5} +% +% The maximum part of the top or bottom of a text page that can be +% occupied by floats. This is set so that at least four lines of text +% fit on the page. +\renewcommand\topfraction{.921} +\renewcommand\bottomfraction{.921} + +% The minimum amount of a text page that must be occupied by text. +% This should accomodate four lines of text. +\renewcommand\textfraction{.13} + +% The minimum amount of a float page that must be occupied by floats. +\renewcommand\floatpagefraction{.887} + +% The same parameters repeated for double column output +\renewcommand\dbltopfraction{.88} +\renewcommand\dblfloatpagefraction{.88} + +% Space between floats +\setlength\floatsep{18\p@ \@plus 4\p@ \@minus 2\p@} + +% Space between floats and text +\setlength\textfloatsep{15\p@ \@plus 4\p@ \@minus 2\p@} + +% Space above and below an inline figure +\setlength\intextsep {18\p@ \@plus 4\p@ \@minus 2\p@} + +% For double column floats +\setlength\dblfloatsep {20\p@ \@plus 4\p@ \@minus 2\p@} +\setlength\dbltextfloatsep{15\p@ \@plus 4\p@ \@minus 2\p@} + +\hyphenation{Figure Figures Table Tables Equation Equations Section Sections Appendix Theorem Lemma} + + +% +%%%%%%%%%%%%%%%%%%%%%%%%%%% Math Settings %%%%%%%%%%%%%%%%%%%%%%%%%%% +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%% For above/below spacing +\def\eqnarray{% + \stepcounter{equation}% + \def\@currentlabel{\p@equation\theequation}% + \global\@eqnswtrue + \m@th + \global\@eqcnt\z@ + \tabskip\@centering + \let\\\@eqncr + $$\everycr{}\halign to\displaywidth\bgroup + \hskip\@centering$\displaystyle\tabskip\z@skip{##}$\@eqnsel + &\global\@eqcnt\@ne\hskip \tw@\arraycolsep \hfil${##}$\hfil + &\global\@eqcnt\tw@ \hskip \tw@\arraycolsep + $\displaystyle{##}$\hfil\tabskip\@centering + &\global\@eqcnt\thr@@ \hb@xt@\z@\bgroup\hss##\egroup + \tabskip\z@skip + \cr +} +\def\endeqnarray{% + \@@eqncr + \egroup + \global\advance\c@equation\m@ne + $$\@ignoretrue +} +% +%%%%%%%%%%%%%%%%%%%%%%%%%%% Titles %%%%%%%%%%%%%%%%%%%%%%%%%%% +% +\renewcommand\refname{References}% +\renewcommand\figurename{Fig.}% defined as per springer style +\renewcommand\tablename{Table}% +\renewcommand\appendixname{Appendix}% +\renewcommand\abstractname{Abstract}% +% +%%%%%%%%%%%%%%%%%%%%%%%%%%% Article Front Matter %%%%%%%%%%%%%%%%%%%%%%%%%%% +% + +\def\raggedleft{\leftskip0pt plus 1fil\parfillskip=0pt\relax}% +\def\raggedright{\rightskip0pt plus 1fil\parfillskip=0pt\relax}% +\def\raggedcenter{\leftskip=0pt plus 0.5fil\rightskip=0pt plus 0.5fil% +\parfillskip=0pt\let\hb=\break}% +\def\titraggedcenter{\leftskip=12pt plus 0.5fil\rightskip=12pt plus 0.5fil% +\parfillskip=0pt\let\hb=\break}% +\def\absraggedcenter{\leftskip=24pt plus 0.5fil\rightskip=24pt plus 0.5fil% +\parfillskip=0pt\let\hb=\break}% + +% +%%% Font Def +\def\Artcatfont{\reset@font\fontsize{8bp}{10bp}\selectfont}% +\def\Titlefont{\reset@font\fontsize{17bp}{22.5bp}\selectfont\titraggedcenter}% +\def\SubTitlefont{\reset@font\fontsize{14bp}{16.5bp}\selectfont\titraggedcenter}% +\def\Authorfont{\reset@font\fontsize{12bp}{14.5bp}\selectfont\boldmath\titraggedcenter}% +\def\addressfont{\reset@font\fontsize{11bp}{13.5bp}\selectfont\titraggedcenter}% +\def\abstractheadfont{\reset@font\fontsize{9bp}{11bp}\bfseries\selectfont\titraggedcenter}% +\def\abstractsubheadfont{\reset@font\fontsize{9bp}{11bp}\bfseries\selectfont}% +\def\abstractfont{\reset@font\fontsize{9bp}{11bp}\selectfont\leftskip=24pt\rightskip=24pt\parfillskip=0pt plus 1fil}% +\def\keywordfont{\reset@font\fontsize{8bp}{9.5bp}\selectfont\leftskip=24pt\rightskip=24pt plus0.5fill}% +\def\historyfont{\reset@font\fontsize{8bp}{9.5bp}\selectfont\leftskip=24pt\rightskip=24pt plus0.5fill}% + +%% Article Type + +\newbox\artcatbox% + +\AtBeginDocument{\definecolor{artcatboxgray}{cmyk}{0.0,0.0,0.0,0.30}}% + +\def\articletype#1{\if!#1!\else\setbox\artcatbox\hbox{\Artcatfont\hskip1mm#1\hskip1mm}\fi% +\gdef\ArtType{\fboxsep=0pt\colorbox{artcatboxgray}{\vbox to 4mm{\vfil% + {\raggedright\box\artcatbox}\vfil}}}% +\gdef\@ArtType{#1}}% +%%\articletype{RESEARCH ARTICLE}% +\articletype{}% + +%% Meta Info +%\def\@jyear{{0000}}% +%\def\jyear#1{\gdef\@jyear{#1}}% + +%% Article Title + +\renewcommand{\title}[2][]{% +\gdef\@checktitle{#1}\ifx\@checktitle\empty\gdef\@title{#2}% +\gdef\s@title{#2}\else\gdef\@title{#2}\gdef\s@title{#1}\fi% +\markboth{\textit{\s@title}}{\textit{\s@title}}}% + +\def\subtitle#1{\gdef\@subtitle{#1}}\subtitle{}% + +%% Cross Link for Author & Address +\def\jmkLabel#1{\@bsphack\protected@write\@auxout{}{\string\Newlabel{#1}{\@currentlabel}}\@esphack}% +\def\Newlabel#1#2{\expandafter\xdef\csname X@#1\endcsname{#2}}% +\def\jmkRef#1{\@ifundefined{X@#1}{0}{\csname X@#1\endcsname}}% + +%% Article Author(s) +\let\sep\@empty% +\let\authorsep\@empty% +\newcount\aucount% +\newcount\corraucount% +\newcount\punctcount% +% +\def\artauthors{}% +\newif\if@auemail% +\newif\if@corauemail% +% +\def\au@and{\ifnum\punctcount=2\ and\else\unskip, \advance\punctcount by -1 \fi}% +% +\def\author{\advance\aucount by 1\@ifstar\@@corrauthor\@@author}% +% +\newcommand{\@@author}[2][]{\def\@authfrstarg{#1}\@corauemailfalse% +\g@addto@macro\artauthors{% + \ifnum\aucount=1% + \global\@auemailtrue% + \else% + \global\@auemailfalse% + \fi% + \Authorfont% + \def\baselinestretch{1}% + \authorsep{#2}\unskip\ifx\@authfrstarg\empty\else\textsuperscript{\smash{{% + \@for\@@affmark:=#1\do{\edef\affnum{\@ifundefined{X@\@@affmark}{\@@affmark}{\jmkRef{\@@affmark}}}% + \unskip\sep\affnum\let\sep=,}}}}\fi% + \def\authorsep{{\au@and} }%%% + \global\let\sep\@empty\global\let\@corref\@empty% +}}% +% +\newcommand{\@@corrauthor}[2][]{\def\@authfrstarg{#1}\@corauemailtrue\advance\corraucount by 1% +\g@addto@macro\artauthors{% + \global\@auemailtrue% + \Authorfont% + \def\baselinestretch{1}% + \authorsep{#2}\unskip\ifx\@authfrstarg\empty\else\textsuperscript{\smash{{% + \@for\@@affmark:=#1\do{\edef\affnum{\@ifundefined{X@\@@affmark}{\@@affmark}{\jmkRef{\@@affmark}}}% + \unskip\sep\affnum\let\sep=,}}}{*}\hskip-1pt}\fi\unskip% + \def\authorsep{\au@and~}%%% + \global\let\sep\@empty\global\let\@corref\@empty% +}}% +%% +%% Miscellaneous macros %% +%% +\def\fnm#1{\leavevmode\hbox{#1}}% +\def\sur#1{\unskip~\nobreak\leavevmode\hbox{#1}}% +\def\spfx#1{#1}% +\def\pfx#1{#1}% +\def\sfx#1{#1}% +\def\tanm#1{#1}% +\def\dgr#1{#1}% +% +%% Author Email +% +\let\nomail\relax% +\def\corrauthemail{}% +\def\authemail{}% + +\newcount\emailcnt% + +\def\email#1{\global\advance\emailcnt by 1\relax% +\if@corauemail% + \g@addto@macro\corrauthemail{% + \setcounter{footnote}{0}% + \textcolor{blue}{#1};\ % + }% +\else% + \g@addto@macro\authemail{% + \setcounter{footnote}{0}% + \textcolor{blue}{#1};\ % + }% +\fi} + +%% Corrseponding Address +\def\@copycorthanks{}% +\def\auaddress{}% +\def\@auaddress{}% + +\newcounter{affn}% +\newcount\addcount% To check the count of address + +\renewcommand\theaffn{\arabic{affn}}% + +\def\affil{\advance\addcount by 1\@ifstar\@@coraddress\@@address}% + +\newcommand{\@@coraddress}[2][]{%\advance\addcount by 1 +\g@addto@macro\auaddress{% + \stepcounter{affn}% + \xdef\@currentlabel{\theaffn}% + \jmkLabel{\theaffn}% + {\textsuperscript{#1*}#2.\par} } +} + +%% Macros for present address + +\newif\ifpresentaddress% + +\def\@presentaddresstxt{}% +\def\presentaddresstxt#1{\gdef\@presentaddresstxt{#1:}}\presentaddresstxt{Present Address}% +\newcommand{\presentaddress}[1]{\gdef\@presentaddresstext{\@presentaddresstxt\par#1}\global\presentaddresstrue}% + +%% Macros for equally contributed + +\newif\ifequalcont% + +%\def\@equalconttxt{}% +%\def\equalcontxt#1{\gdef\@equalconttxt{#1}}\equalcontxt{These authors contributed equally to this work.}% +%\newcommand{\equalcont}[1][\@equalconttxt]{\gdef\@equalconttext{#1}\g@addto@macro\artauthors{$^{\dagger}$}\global\equalconttrue}% + +\def\@equalconttxt{}% +\def\equalcontxt#1{\gdef\@equalconttxt{#1}}\equalcontxt{}% +\newcommand{\equalcont}[1]{\gdef\@equalconttext{#1}\g@addto@macro\artauthors{$^{\dagger}$}\global\equalconttrue}% + +%% Author Address + +\newcommand{\@@address}[2][]{%%\advance\addcount by 1 +\g@addto@macro\auaddress{% + \stepcounter{affn}% + \xdef\@currentlabel{\theaffn}% + \jmkLabel{\theaffn}% + {\textsuperscript{#1}#2.\par} }%\theaffn +} + +%% Address tagging +\newcommand{\orgdiv}[1]{#1}% +\newcommand{\orgname}[1]{#1}% +\newcommand{\orgaddress}[1]{#1}% +\newcommand{\street}[1]{#1}% +\newcommand{\postcode}[1]{#1}% +\newcommand{\city}[1]{#1}% +\newcommand{\state}[1]{#1}% +\newcommand{\country}[1]{#1}% + +%% Article notes + +\def\@artnote{}% +\def\artnote#1{\gdef\@artnote{#1}}% + +%% Miscellaneous notes + +\def\@miscnote{}% +\def\miscnote#1{\gdef\@miscnote{\par\addvspace{3pt}#1}}% + +%% Motto + +\def\mottofont{\reset@font\fontfamily{\rmdefault}\fontsize{8.5bp}{10bp}\fontshape{it}\selectfont\raggedright} +% +\let\@motto\@empty +\def\mottoraggedright{\rightskip0mm\leftskip=42mm plus 1fil\parfillskip=0pt\relax}% +\newcommand{\motto}[2][]{\gdef\@headcheck{#1}\gdef\@motto{\@headcheck\ifx\@headcheck\@empty\vskip12pt\else\fi{\mottofont\mottoraggedright#2\par}}} + +%% Article Abstract +\newcommand\abstracthead{\@startsection {section}{1}{\z@}{-22pt \@plus0ex \@minus0ex}{3pt}{\abstractheadfont}} +\newcommand\subabstracthead{\@startsection{subsection}{2}{\z@}{3pt \@plus0ex \@minus0ex}{-.5em}{\abstractsubheadfont}} + +\def\@abstract{}% +\long\def\abstract#1{\def\@abstract{% +\let\paragraph\subabstracthead% +\abstractfont% +\abstracthead*{\abstractname}% +#1\par}}% + +\def\printabstract{\ifx\@abstract\empty\else\@abstract\fi\par}% + +\def\printkeywords{\ifx\@keywords\empty\else\@keywords\fi\par}% + +% +%% Keywords +\def\keywordname{Keywords}% +\def\keywords#1{\ifx#1\empty\else\def\@keywords{\par\addvspace{10pt}{\keywordfont{\bfseries\keywordname:} #1\par}}\fi}% +\def\@keywords{}% + +%% PACs + +\def\pacsbullet{\hbox{\hskip2.5pt,\hskip2.5pt}}% + +\def\change@commas#1,#2{% + \ifx#2\@empty% + #1% + \else% + #1\nobreak\hbox{\pacsbullet}\allowbreak\expandafter\change@commas% + \fi% + #2}% + +\newcommand\keywordhead[1]{\par\addvspace{10pt}% +{{\keywordfont\bfseries#1:\ }}}% + +\newcommand{\pacs}[1]{\keywordhead{\pacsname}#1}% +% +\newcount\PacsCount% +\PacsCount=0% +% +\newcount\PacsTmpCnt% +\PacsTmpCnt=1% +% +\gdef\StorePacsText#1#2{% +\edef\GetRoman{\romannumeral#1}% +\expandafter\gdef\csname\GetRoman StorePacsTxt\endcsname{#2}% +}% +% +\let\oldpacs\pacs% +\renewcommand\pacs[2][PAC Codes]{\gdef\pacsname{{\bfseries#1}}\gdef\@pacs{\keywordfont\raggedright\oldpacs\change@commas#2,\@empty\par} +\StepUpCounter{\PacsCount}% +\StorePacsText{\the\PacsCount}{\gdef\pacsname{{\bfseries#1}}\keywordfont\raggedright\oldpacs\change@commas#2,\@empty}% +}% + +\def\@pacs{}% + +%% Glossary + +\def\gloshead{Glossary}% + +\newenvironment{glos}[1][\gloshead]{\begingroup\parindent=0pt% +\section*{#1} +\def\item[##1]{##1,\ }}{% +\endgroup}% +% + +%% Article History + +\def\received#1{\g@addto@macro\@history{{Received #1}}}% +\def\revised#1{\g@addto@macro\@history{{; revised #1}}}% +\def\accepted#1{\g@addto@macro\@history{{; accepted #1}}}% + +%% Remark on Front page %% + +\newdimen\FMremarkdim% + +\newcommand{\FMremark}{\begingroup\parindent=0pt\parskip=0pt% +\if@referee\singlespacing\fi% +\fboxsep=6pt\fboxrule=0.5pt% +\FMremarkdim=\textwidth%%\paperwidth% +\advance\FMremarkdim-\fboxsep% +\advance\FMremarkdim-2\fboxrule% +\if@referee\vskip-21pt\fi% +%%\fbox{\vbox{\hsize=\FMremarkdim\small% +\unvbox\fmremarkbox +%%}}% +\endgroup} + +\newbox\fmremarkbox% + +\newenvironment{fmremark}{\begingroup\parindent=0pt% +\fboxsep=6pt\fboxrule=0.5pt% +\FMremarkdim=\textwidth%%\paperwidth% +\advance\FMremarkdim-\fboxsep% +\advance\FMremarkdim-2\fboxrule% +\global\setbox\fmremarkbox\vbox\bgroup\small% +}{\egroup\endgroup} + +%% Article Header Definition +\renewcommand{\@maketitle}{\newpage\null% + \if@remarkboxon\vbox to 0pt{\vspace*{-78pt}\hspace*{-18pt}\FMremark}\else\vskip21pt\fi%%\par% + \hsize\textwidth\parindent0pt%%%\vskip7pt% + %% Aritle Type + {\hbox to \textwidth{{\Artcatfont\ArtType\hfill}\par}} + %% Aritle Title + \ifx\@title\empty\else% + \removelastskip\vskip20pt\nointerlineskip% + {\Titlefont\@title\par} + %\addcontentsline{toc}{chapter}{\@title}% for bookmarks + \fi% + %% Aritle SubTitle + \ifx\@subtitle\empty\else% + \vskip9pt% + {{\SubTitlefont\@subtitle\par}} + \fi% + %% Aritle Authors, Address and Correspondings + \ifnum\aucount>0 + \global\punctcount\aucount% + \vskip20pt% + \artauthors\par%% authors and emails + {\vskip7pt\addressfont\auaddress\par%% corresponding adress + \removelastskip\vskip24pt% + \ifnum\emailcnt>0\relax% + \ifx\corrauthemail\@empty\else{\ifnum\aucount>1*\fi}% + Corresponding author(s). E-mail(s): \corrauthemail\par\fi% + \ifx\authemail\@empty\else Contributing authors:\ \authemail\fi% + \fi% + \ifequalcont{\par$^{\dagger}$\@equalconttext\par}\fi% + \removelastskip\vskip24pt% + \ifpresentaddress{\par\@presentaddresstext\par}\fi% + } + \fi% + {\printabstract\par}% + {\printkeywords\par}% + \ifx\@pacs\empty\else% + \loop\ifnum\PacsCount>0% + \csname\romannumeral\PacsTmpCnt StorePacsTxt\endcsname\par% + \StepDownCounter{\PacsCount}% + \StepUpCounter{\PacsTmpCnt}% + \repeat% + \fi% + %%{\printhistory\par}% + %%{\ifx\@motto\empty\else\@motto\fi}% + \removelastskip\vskip36pt\vskip0pt}% + +\usepackage{cuted}% +\@ifpackageloaded{cuted}{\gdef\@setmarks{}}{}% + +%% Printing Article Header +\newdimen\firstpagehtcheck + +\renewcommand\maketitle{\par + \@afterindentfalse% + \begingroup + \gdef\UrlFont{\rmfamily}% + \renewcommand\thefootnote{\@fnsymbol\c@footnote}% + \def\@makefnmark{\rlap{\@textsuperscript{\normalfont\smash{\@thefnmark}}}}% + \long\def\@makefntext##1{\parindent 1em\noindent\small\selectfont + \hbox{\@textsuperscript{\normalfont\@thefnmark}}##1}% + \if@twocolumn + \ifnum \col@number=\@ne% +\setbox0=\vbox{\@maketitle} +\firstpagehtcheck=\ht0% +\advance\firstpagehtcheck by \dp0% +\ifdim\firstpagehtcheck>\textheight% +\setbox1=\vsplit0to2\textheight% +\setbox1=\vbox{\unvbox1}% +\setbox2=\vbox{\unvbox0}% +\unvbox1% +\stripsep=0pt% +\begin{strip} +\unvbox2% +\end{strip} +\else +\twocolumn[\@maketitle]% +\fi +\else +\@maketitle +\fi% + \else% + \newpage% + \global\@topnum\z@% Prevents figures from going at top of page. + \@maketitle% + \fi% + \endgroup% + \ifx\@artnote\@empty\else\footnoteA{\@artnote}\fi% + \ifx\@miscnote\@empty\else\footnoteA{\@miscnote\par}\fi% + \setcounter{footnote}{0}% + \global\let\thanks\relax% + \global\let\artnote\relax% + \global\let\maketitle\relax% + \global\let\@maketitle\relax% + \global\let\@thanks\@empty% + \global\let\@author\@empty% + \global\let\@date\@empty% + \global\let\title\relax% + \global\let\author\relax% + \global\let\date\relax% + \global\let\and\relax% + \pagestyle{headings}% + %%%print continuous abstract on next page + \@afterheading% + %%\vskip-18pt% this is included to avoid vertical space at the beginning of left column on article opening pages +}% + +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Page Styles %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +% +\def\opheaderfont{\reset@font\fontsize{10bp}{0bp}\selectfont}% +\def\headerfont{\reset@font\fontsize{10bp}{0bp}\selectfont}% +\def\footerfont{\reset@font\fontsize{10bp}{0bp}\selectfont}% + +%% Regular Page Style +\def\ps@headings{% + \def\@oddfoot{\hfill\thepage\hfill}% + \let\@evenfoot\@oddfoot% + \def\@evenhead{% + \vbox to 0pt{\vspace*{-48pt}% + \hbox to \hsize{\hfill \relax\hfill}}\par%% + \hspace*{-\textwidth}\hbox to \hsize{\hfill}}% + \def\@oddhead{% + \vbox to 0pt{\vspace*{-48pt}% + \hbox to \hsize{\hfill \relax\hfill}}\par%% + \hspace*{-\textwidth}\hbox to \hsize{\hfill}}% + \let\@mkboth\markboth% + }% + +%\newdimen\opshortpage% + +%\def\printcopyright#1{#1}%% + +%\gdef\@copyrighttext{}% +%\gdef\@copyrightyear{\@jyear}% + +%\def\copytext#1#2{\gdef\@copyrightyear{#2}\def\@copyrighttext{\begin{minipage}[t]{\textwidth}\footerfont\textcopyright\ #1\ \@copyrightyear\end{minipage}}} + +%\copytext{Springer Science+Business Media B.V.}{\@jyear}% + +%\def\@opjournalheader{\undef\leftmark\space\ {{(\@jyear),\ \textbf{\@jvol}:\@artid}} {\thepage{--}\pageref*{LastPage}}\\ +%{\@DOI}}% + +%% Opening Page Style +\def\ps@titlepage{% + %%\def\@oddhead{\vbox{\vskip-36pt\hbox to \textwidth{\hfill\includegraphics{springer-nature-logo}\hspace*{-1pt}}}}% + %%\let\@oddhead\@empty\let\@evenhead\@empty% + \def\@oddhead{% + \vbox to 0pt{\vspace*{-38pt}% + \hbox to \hsize{\hfill \hfill}}}%% + \let\@evenhead\@oddhead% + \def\@oddfoot{\vbox to 18pt{\vfill\reset@font\rmfamily\hfil\thepage\hfil}}%% + \def\@evenfoot{}}% + +\def\ps@plain{\let\@mkboth\@gobbletwo% +\let\@oddhead\@empty\let\@evenhead\@empty% +\def\@oddfoot{\vbox to 18pt{\vfill\reset@font\rmfamily\hfil ddd\thepage\hfil}}% +\let\@evenfoot\@oddfoot}% + +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Sections %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% + +\def\numbered{\setcounter{secnumdepth}{3}}% +\def\unnumbered{\setcounter{secnumdepth}{0}}% +\numbered%% default is numbered Sections + +\renewcommand\thesection {\@arabic\c@section}% +\renewcommand\thesubsection {\thesection.\@arabic\c@subsection}% +\renewcommand\thesubsubsection{\thesubsection.\@arabic\c@subsubsection}% +\renewcommand\theparagraph {\thesubsubsection.\@arabic\c@paragraph}% +\renewcommand\thesubparagraph {\theparagraph.\@arabic\c@subparagraph}% +%% +\def\@seccntformat#1{\csname the#1\endcsname\hskip.5em}% + +\def\@sect#1#2#3#4#5#6[#7]#8{% + \ifnum #2>\c@secnumdepth + \let\@svsec\@empty + \else + \refstepcounter{#1}% + \protected@edef\@svsec{\@seccntformat{#1}\relax}% + \fi + \@tempskipa #5\relax + \ifdim \@tempskipa>\z@ + \begingroup + #6{% + \@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 + \@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\sectionfont{\reset@font\fontfamily{\rmdefault}\fontsize{14bp}{16bp}\bfseries\selectfont\raggedright\boldmath}% +\def\subsectionfont{\reset@font\fontfamily{\rmdefault}\fontsize{12bp}{14bp}\bfseries\selectfont\raggedright\boldmath}% +\def\subsubsectionfont{\reset@font\fontsize{11bp}{13bp}\bfseries\selectfont\raggedright\boldmath}% +\def\paragraphfont{\reset@font\fontsize{10bp}{12bp}\bfseries\itshape\selectfont\raggedright}% +% +\def\subparagraphfont{\itshape}% +\def\bmheadfont{\reset@font\fontfamily{\rmdefault}\fontsize{10bp}{12bp}\bfseries\selectfont\raggedright\boldmath}% +% +\renewcommand\section{\@startsection{section}{1}{\z@}% + {-12pt \@plus -4pt \@minus -2pt}% + {9pt}% + {\sectionfont}} +\renewcommand\subsection{\@startsection{subsection}{2}{\z@}% + {-12pt \@plus -4pt \@minus -2pt}% + {6pt}% + {\subsectionfont}} +\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}% + {-12pt \@plus -4pt \@minus -2pt}% + {6pt}% + {\subsubsectionfont}} +\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}% + {-12pt \@plus -4pt \@minus-2pt}% + {3pt}% + {\paragraphfont}} +\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}% + {6pt \@plus1ex \@minus.2ex}% + {-1em}% + {\subparagraphfont}} +\newcommand\bmhead{\@startsection{subparagraph}{5}{\z@}% + {6pt \@plus1ex \@minus .2ex}% + {-1em}% + {\bmheadfont}} +% +\def\@startsection#1#2#3#4#5#6{% + \if@noskipsec \leavevmode \fi + \par + \@tempskipa #4\relax + \@afterindenttrue + \ifdim \@tempskipa <\z@ + \@tempskipa -\@tempskipa \@afterindentfalse + \fi + \if@nobreak + \everypar{}% + \else + \addpenalty\@secpenalty\addvspace\@tempskipa + \fi + \@ifstar + {\@ssect{#3}{#4}{#5}{#6}}% + {\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}}}} +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Lists %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +\newdimen\labelwidthi% +\newdimen\labelwidthii% +\newdimen\labelwidthiii% +\newdimen\labelwidthiv% + +\def\normal@labelsep{0.5em}% +\labelsep\normal@labelsep% +\settowidth{\labelwidthi}{(iii)}% +\settowidth{\labelwidthii}{(d)}% +\settowidth{\labelwidthiii}{(iii)}% +\settowidth{\labelwidthiv}{(M)}% + +\leftmargini\labelwidthi \advance\leftmargini\labelsep +\leftmarginii\labelwidthii \advance\leftmarginii\labelsep +\leftmarginiii\labelwidthiii \advance\leftmarginiii\labelsep +\leftmarginiv\labelwidthiv \advance\leftmarginiv\labelsep + +\def\setleftmargin#1#2{\settowidth{\@tempdima}{#2}\labelsep\normal@labelsep + \csname labelwidth#1\endcsname\@tempdima + \@tempdimb\@tempdima \advance\@tempdimb\labelsep + \csname leftmargin#1\endcsname\@tempdimb} +\def\@listI{\leftmargin\leftmargini + \labelwidth\labelwidthi \labelsep\normal@labelsep + \topsep \z@ \partopsep\z@ \parsep\z@ \itemsep\z@ + \listparindent 1em} +\def\@listii{\leftmargin\leftmarginii + \labelwidth\labelwidthii \labelsep\normal@labelsep + \topsep\z@ \partopsep\z@ \parsep\z@ \itemsep\z@ + \listparindent 1em} +\def\@listiii{\leftmargin\leftmarginiii + \labelwidth\labelwidthiii \labelsep\normal@labelsep + \topsep\z@ \partopsep\z@ \parsep\z@ \itemsep\z@ + \listparindent 1em} +\def\@listiv{\leftmargin\leftmarginiv + \labelwidth\labelwidthiv \labelsep\normal@labelsep + \topsep\z@ \partopsep\z@ \parsep\z@ \itemsep\z@ + \listparindent 1em} +\let\@listi\@listI +\@listi +% +\setlength \labelsep {.5em} +\setlength \labelwidth{\leftmargini} +\addtolength\labelwidth{-\labelsep} +\@beginparpenalty -\@lowpenalty +\@endparpenalty -\@lowpenalty +\@itempenalty -\@lowpenalty +\def\labelitemi{$\bullet$} \def\labelitemii{$\cdot$} +\def\labelenumi{\theenumi.} \def\theenumi{\arabic{enumi}} +\def\labelenumii{(\alph{enumii})} \def\theenumii{\alph{enumii}} +\def\labelenumiii{(\roman{enumiii})}\def\theenumiii{\roman{enumiii}} +\def\labelenumiv{(\Alph{enumiv})} \def\theenumiv{\Alph{enumiv}} + +% +%%%%%%%%%%%%%%%%%%%%%%%%%%% Ordered & Unordered List %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +\def\listfont{\normalsize}% +% +\def\enumargs{% + \listfont% + \leftmargini0pt% + \leftmarginii0pt% + \leftmarginiii0pt% + \ifnum\@enumdepth=3\topsep0pt\else\ifnum\@enumdepth=2\topsep0pt\else\topsep 6pt\fi\fi% + \partopsep \z@% + \itemsep \z@% + \parsep \z@% + \labelsep 0.5em% + \rightmargin \z@% + \raggedright% + \listparindent \parindent% + \itemindent \z@}% + +\def\enumerate{% + \@ifnextchar[{\@numerate}{\@numerate[0.]}} + +\def\@numerate[#1]{\par% + \ifnum \@enumdepth >3 \@toodeep\else + \advance\@enumdepth \@ne + \edef\@enumctr{enum\romannumeral\the\@enumdepth} + \list{\csname label\@enumctr\endcsname}{% + \enumargs% + \setlength{\leftmargin}{\csname leftmargin\romannumeral\the\@enumdepth\endcsname} + \usecounter{\@enumctr} + \settowidth\labelwidth{#1} + \addtolength{\leftmargin}{\labelwidth} + \addtolength{\leftmargin}{\labelsep} + \def\makelabel##1{\hss\llap{##1}}}% + \fi + } +\let\endenumerate\endlist + +%%Unnumbered list%% + +\def\unenumargs{% + \listfont% + \leftmargini\parindent% + \topsep6pt% + \partopsep \z@% + \itemsep \z@% + \parsep \z@% + \labelsep 0\p@% + \rightmargin \z@% + \raggedright% + \listparindent \parindent% + \itemindent -12pt}% + +\def\unenumerate{% + \@ifnextchar[{\@unenumerate}{\@unenumerate[0.]}} + +\def\@unenumerate[#1]{\par% + \ifnum \@enumdepth >3 \@toodeep\else + \advance\@enumdepth \@ne + \edef\@enumctr{enum\romannumeral\the\@enumdepth} + \list{}{% + \unenumargs + \setlength{\leftmargin}{\csname leftmargin\romannumeral\the\@enumdepth\endcsname} + \usecounter{\@enumctr} + \settowidth\labelwidth{#1} + \addtolength{\leftmargin}{0pt} + \addtolength{\leftmargin}{0pt} + \def\makelabel##1{\hss\llap{##1}}}% + \fi + } + +\let\endunenumerate\endlist% + +%% bulleted list + +\def\itemargs{% + \listfont% + \leftmargini0pt% + \leftmarginii0pt% + \ifnum\@enumdepth=3\topsep0pt\else\ifnum\@enumdepth=2\topsep0pt\else\topsep 6pt\fi\fi% + \partopsep \z@% + \itemsep \z@% + \parsep \z@% + \labelsep 0.5em% + \rightmargin \z@% + \raggedright% + \listparindent \z@% + \itemindent \z@}% + +\renewcommand\labelitemi{\raise1pt\hbox{\textbullet}}% +\renewcommand\labelitemii{\textendash}% + +\def\itemize{% + \@ifnextchar[{\@itemize}{\@itemize[$\bullet$]}} + +\def\@itemize[#1]{\par% + \ifnum \@itemdepth >3 \@toodeep\else + \advance\@itemdepth \@ne + \edef\@itemctr{item\romannumeral\the\@itemdepth} + \list{\csname label\@itemctr\endcsname}{% + \itemargs + \setlength{\leftmargin}{\csname leftmargin\romannumeral\the\@itemdepth\endcsname} + \settowidth\labelwidth{#1} + \addtolength{\leftmargin}{\labelwidth} + \addtolength{\leftmargin}{\labelsep} + \def\makelabel##1{\hss \llap{##1}}}% + \fi + } +\let\enditemize\endlist +% +\def\quote{\list{}{\itemindent\z@ + \leftmargin 1em \rightmargin \z@}% +\item[]} +\let\endquote\endlist +% +\def\descriptionlabel#1{\hspace\labelsep \itshape #1} +\def\description{\list{}{\labelwidth\z@ + \leftmargin \z@ \topsep6pt\itemindent \z@ %-\leftmargin + \let\makelabel\descriptionlabel}} +\let\enddescription\endlist + +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Float %%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\setlength\abovecaptionskip{2.25\p@}% +\setlength\belowcaptionskip{6\p@}% + +\setlength\arraycolsep{2\p@}% +\setlength\tabcolsep{6\p@}% +\setlength\arrayrulewidth{.4\p@}% +\setlength\doublerulesep{2\p@}% +\setlength\tabbingsep{\labelsep}% + +\def\fnum@figure{{\bfseries\figurename\space\thefigure}}% +\def\fnum@table{{\bfseries\tablename\space\thetable}}% + +\def\FigName{figure}% + +\long\def\@makecaption#1#2{% + \ifx\FigName\@captype + \vskip\abovecaptionskip + \@figurecaption{#1}{#2} + \else + \@tablecaption{#1}{#2} + \vskip\belowcaptionskip + \fi% +} + +%% Figure + +\def\figurecaptionfont{\reset@font\fontfamily{\rmdefault}\fontsize{8}{9.5}\selectfont}% + +\newdimen\figwidth% +\newdimen\figheight% +\newdimen\sidecapwidth +\newdimen\wrapcapline% +\newdimen\totalwrapline% +\newdimen\wraptotline% + +%% Figures macro +\newbox\figurebox% +\newbox\wrapfigcapbox + +\def\FIG#1#2{% +\setbox\figurebox\hbox{#1}% +%% Figure dimensions +\figwidth\wd\figurebox% +\figheight\ht\figurebox% +{\parbox{\hsize}{% +\centerline{\box\figurebox}% +%% Caption +#2}}} + +%% Figures caption +\newbox\figcapbox +\newbox\capbox +\long\def\@figurecaption#1#2{{\figurecaptionfont{\bfseries#1}\hskip.7em#2\par}}% + +\newenvironment{unnumfigure}{\begingroup\setlength{\topsep}{12pt}% +\begin{center}}{\end{center}\endgroup} + +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +\@ifpackageloaded{booktabs}{\cmidrulewidth=.15pt}{}% +% +\def\tablecaptionfont{\reset@font\fontsize{8bp}{9.5bp}\selectfont}% +\def\tablebodyfont{\reset@font\fontsize{8bp}{9.5bp}\selectfont}% +\def\tablecolheadfont{\reset@font\fontsize{8bp}{9.5bp}\selectfont\bfseries\boldmath}% +\def\tablefootnotefont{\reset@font\fontsize{8bp}{9.5bp}\selectfont}% + +%% Table Macro + +\newskip\headwidthskip% + +\def\tabraggedcenter{\leftskip=0pt plus 0.5fil\rightskip=0pt plus 0.5fil\parfillskip=0pt}% + +\newenvironment{@processtable}[4]{% +\setbox4=\hbox to \hsize{\hss% +\begin{minipage}[t]{#4}% +\tabraggedcenter% +\caption{#1}\par% +{\tablebodyfont\noindent\ignorespaces#2\par}\par\vglue6pt% +{\if!#3!\else{\tablefootnotefont#3}\fi}% +\end{minipage}% +\hss}% +\box4\par}% + +\newcommand\TBL[3]{\begingroup% +% +\if!#1!\let\caption\relax\fi% +% + \global\setbox\temptbox=\hbox{\bgroup{\tablebodyfont#2}\egroup}% + \global\tempdime\wd\temptbox% + \@processtable{#1}{\global\headwidthskip=\tempdime% + \vbox{#2}}{#3}{\tempdime}% +\endgroup}% + +%% Table Caption +\newbox\tabcapbox% +\newbox\temptbox% +\newdimen\tempdime% +\newdimen\tabhtdime% + +\long\def\@tablecaption#1#2{% + \setbox\tabcapbox\vbox{\tablecaptionfont\raggedright% + {\bfseries #1}{\hskip2mm}#2\vphantom{y}\par}% + \box\tabcapbox% +} + +%% Table Column Heads +\def\TCH#1{{\tablecolheadfont #1}} + +%% Table Footnotes + +\newenvironment{tablenotes}{\list{}{\setlength{\labelsep}{0pt}% +\setlength{\labelwidth}{0pt}% +\setlength{\leftmargin}{0pt}% +\setlength{\rightmargin}{0pt}% +\setlength{\topsep}{-6pt}% +\setlength{\itemsep}{2pt}% +\setlength{\partopsep}{0pt}% +\setlength{\listparindent}{0em}% +\setlength{\parsep}{0pt}}% +\item\relax% +}{\endlist}% + +\def\tnote#1{$^{#1}$}%% + +%% Table Rules + +\def\toprule{%\noalign{\vskip3pt} +\noalign{\ifnum0=`}\fi + \hrule \@height 0\p@ \@width 0pt + \hrule \@height 0.75\p@ % <- rule height + \hrule \@height 5pt \@width 0pt + \futurelet\@tempa\@xhline} +% Middle rule +\def\midrule{\noalign{\ifnum0=`}\fi% + \hrule \@height 3pt \@width 0pt + \hrule \@height .5pt % <- rule height + \hrule \@height 5pt \@width 0pt + \futurelet \@tempa\@xhline} +% Bottom rule +\def\botrule{\noalign{\ifnum0=`}\fi + \hrule \@height 3pt \@width 0pt + \hrule \@height 0.75\p@ % <- rule height + \hrule \@height 3pt \@width 0pt + \futurelet\@tempa\@xhline} +% +\def\@@@cmidrule[#1-#2]#3#4{\global\@cmidla#1\relax + \global\advance\@cmidla\m@ne + \ifnum\@cmidla>0\global\let\@gtempa\@cmidrulea\else + \global\let\@gtempa\@cmidruleb\fi + \global\@cmidlb#2\relax + \global\advance\@cmidlb-\@cmidla + \global\@thisrulewidth=#3 + \@setrulekerning{#4} + \ifnum\@lastruleclass=\z@\vskip 3\p@\fi + \ifnum0=`{\fi}\@gtempa + \noalign{\ifnum0=`}\fi\futurenonspacelet\@tempa\@xcmidrule} +\def\@xcmidrule{% + \ifx\@tempa\cmidrule + \vskip-\@thisrulewidth + \global\@lastruleclass=\@ne + \else \ifx\@tempa\morecmidrules + \vskip \cmidrulesep + \global\@lastruleclass=\@ne\else + \vskip 5\p@ + \global\@lastruleclass=\z@ + \fi\fi + \ifnum0=`{\fi}} +\let\cline\cmidrule + +\usepackage[figuresright]{rotating}% +\usepackage{threeparttable} + +\let\tableorg\table% +\let\endtableorg\endtable% + +\let\sidewaystableorg\sidewaystable% +\let\endsidewaystableorg\endsidewaystable% + +\renewenvironment{table}[1][]% +{\begin{tableorg}[#1]% +\begin{center} +\begin{threeparttable} +\tablebodyfont% +\renewcommand\footnotetext[2][]{{\removelastskip\vskip3pt% +\let\tablebodyfont\tablefootnotefont% +\hskip0pt\if!##1!\else{\smash{$^{##1}$}}\fi##2\par}}% +}{\end{threeparttable}\end{center}\end{tableorg}} + +\renewenvironment{sidewaystable}[1][]% +{\begin{sidewaystableorg}[#1]% +\begin{center} +\begin{threeparttable} +\tablebodyfont% +\renewcommand\footnotetext[2][]{{\removelastskip\vskip3pt% +\let\tablebodyfont\tablefootnotefont% +\hskip0pt\if!##1!\else{\smash{$^{##1}$}}\fi##2\par}}% +}{\end{threeparttable}\end{center}\end{sidewaystableorg}} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% Other Env. %%%%%%%%%%%%%%%%%%%%%%%%% + +\def\quotefont{\reset@font\fontfamily{\rmdefault}\fontsize{9}{11}\selectfont}% + +\renewenvironment{quote} + {\list{}{\topsep=0pt\topsep6pt\leftmargin=1em\raggedright\quotefont}% + \item\relax} + {\endlist} + +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%% Appendix %%%%%%%%%%%%%%%%%%%%%%%%% +% + +\newif\ifbackmatter% +\newcommand{\backmatter}{\global\backmattertrue}% + +\usepackage[title]{appendix}% + +\@ifpackageloaded{appendix}{% +% +\renewenvironment{appendices}{% + \@resets@pp + \if@dotoc@pp + \if@dopage@pp % both page and toc + \if@chapter@pp % chapters + \clear@ppage + \fi + \appendixpage + \else % toc only + \if@chapter@pp % chapters + \clear@ppage + \fi + \addappheadtotoc + \fi + \else + \if@dopage@pp % page only + \appendixpage + \fi + \fi + \if@chapter@pp + \if@dotitletoc@pp \@redotocentry@pp{chapter} \fi + \else + \if@dotitletoc@pp \@redotocentry@pp{section} \fi + \if@dohead@pp + \def\sectionmark##1{% + \if@twoside + \markboth{\@formatsecmark@pp{##1}}{} + \else + \markright{\@formatsecmark@pp{##1}}{} + \fi} + \fi + \if@dotitle@pp + \def\sectionname{\appendixname} + \def\@seccntformat##1{\@ifundefined{##1name}{}{\csname ##1name\endcsname\ }% + \csname the##1\endcsname\quad} + \fi + \fi +}{% + \@ppsaveapp\@pprestoresec} +%% +\AtBeginDocument{% +% +\let\oldappendices\appendices% +\let\oldendappendices\endappendices% +%% +\renewenvironment{appendices}{% +\setcounter{figure}{0}% +\setcounter{table}{0}% +\setcounter{equation}{0}% +%% +\begin{oldappendices}% + \gdef\thefigure{\@Alph\c@section\arabic{figure}}% + \gdef\thetable{\@Alph\c@section\arabic{table}}% + \gdef\theequation{\@Alph\c@section\arabic{equation}}% +}{\end{oldappendices}} +} +%% +}{} + + +% +%%%%%%%%%%%%%%%%%%%%%%%%%%% Article History %%%%%%%%%%%%%%%%%%%% +% +\def\@history{} +\def\printhistory{{\par\addvspace{8pt}% +\historyfont\noindent% +\ifx\@history\empty\gdef\@history{Received xx xxx xxxx}\fi\@history\par}}% +% +%%%%%%%%%%%%%%%%%%%%%%% Footnotes %%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +% +\renewcommand\@makefntext[1]{% + \hskip8pt{\smash{\@makefnmark}}#1} +% +\RequirePackage{hyperref}% +%%\RequirePackage{hypcap}% +\gdef\breakurldefns{% +\if@pdflatex\else% + \RequirePackage[hyphenbreaks]{breakurl}% +% \let\href\burlalt% +\fi}% +\breakurldefns% +% \bgroup +% \catcode`\&=12\relax +% \hyper@normalise\burl@addtocharlistbefore{%} +% \hyper@normalise\burl@addtocharlistafter{:/.?#&_,;!=+~}%% for extra breaks in url +% \egroup +% \burl@defifstructure +% +\hypersetup{% + colorlinks, + breaklinks=true, + plainpages=false,% + citecolor=blue, + linkcolor=blue, + urlcolor=blue, + bookmarksopen=true,% + bookmarksnumbered=false,% + bookmarksdepth=5% +} +% +\AtBeginDocument{\renewcommand\UrlFont{\rmfamily}}% +% +\AtBeginDocument{% +\@ifpackageloaded{natbib}{% + \renewcommand\bibsection{% + \section*{\refname}% + }% +}{}% +}% +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +\pagestyle{headings}% +\pagenumbering{arabic}% +\sloppy% +\frenchspacing% +\flushbottom% + +%%% special parameters for TeX +\adjdemerits=100 +\linepenalty=100 +% +%%%%%%%%%%%%%%% Biography +% +\RequirePackage{wrapfig}% +% +% +% \begin{wrapfigure}[12]{r}[34pt]{5cm}
\end{wrapfigure} +% -- - ---- --- +% [number of narrow lines] {placement} [overhang] {width of figure} +\newcount\wraplines% +%%\wraplines=5% +% +\newbox\@authorfigbox% +\newskip\@authorfigboxdim% +% +\newskip\biofigadjskip% +\biofigadjskip=0pt% +% +\def\authbiotextfont{\reset@font\fontsize{8bp}{9.5bp}\selectfont}% +% +\newenvironment{biography}[2]{\par\addvspace{11.5pt plus3.375pt minus1.6875pt}%\lineno@off% +\def\author##1{{\bfseries##1}}% +\if!#1!\def\@authorfig{}\else\def\@authorfig{{#1}}\fi% +\setbox\@authorfigbox=\hbox{#1}% +\@authorfigboxdim=\wd\@authorfigbox% +\if@iicol\advance\@authorfigboxdim by -10pt\else\advance\@authorfigboxdim by -2pt\fi% +\wraplines=9\fboxrule=1pt\fboxsep=6pt% +\noindent{% +\ifx\@authorfig\@empty\else\unskip% +\begin{wrapfigure}[\wraplines]{l}[0pt]{\@authorfigboxdim}%{38.25mm}% +\vskip-19pt\addvspace{\biofigadjskip}% +\@authorfig% +\end{wrapfigure}% +\fi% +{\authbiotextfont#2\par}% +\par% +}}{\par\addvspace{10.5pt plus3.375pt minus1.6875pt}} +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Theorem %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +% +\@ifpackageloaded{amsthm}{% +% +%\let\proof\relax% +%\let\endproof\relax% + +\def\@begintheorem#1#2[#3]{% + \deferred@thm@head{\the\thm@headfont \thm@indent + \@ifempty{#1}{\let\thmname\@gobble}{\let\thmname\@iden}% + \@ifempty{#2}{\let\thmnumber\@gobble}{\let\thmnumber\@iden}% + \@ifempty{#3}{\let\thmnote\@gobble}{\let\thmnote\@iden}% + \thm@swap\swappedhead\thmhead{#1}{#2}{#3}% + \the\thm@headpunct + \thmheadnl % possibly a newline. + \hskip\thm@headsep + }% + \ignorespaces +} + +\def\@endtheorem{\endtrivlist\@endpefalse} + + +\AtBeginDocument{% +% +\DeclareRobustCommand{\S}{\ifmmode\mathsection\else\textsection\fi} + +\DeclareSymbolFont{AMSa}{U}{msa}{m}{n}% +\DeclareMathSymbol{\opensquare}{\mathord}{AMSa}{"03}% +\def\qedsymbol{\ensuremath{\opensquare}}% +% +\newenvironment{spiproof}[1][\proofname]{\par\removelastskip%\vspace*{2pt}% + \pushQED{\qed}% + \small\normalfont \topsep7.5\p@\@plus7.5\p@\relax% + \trivlist% + \item[\hskip\labelsep% + \itshape% + #1\@addpunct{}]\ignorespaces% +}{% + \popQED\endtrivlist\@endpefalse% +}% +% +\let\proof\spiproof\let\endproof\endspiproof% +% +}% +% +\def\thm@space@setup{% +\thm@preskip=12pt% +\thm@postskip=12pt} +% +%%%%%%%%%%%%%%%%%% StyleOne +% +\newtheoremstyle{thmstyleone}% Numbered +{18pt plus2pt minus1pt}% Space above +{18pt plus2pt minus1pt}% Space below +{\small\itshape}% Body font +{0pt}% Indent amount +{\small\bfseries}% Theorem head font +{}% Punctuation after theorem head +{.5em}% Space after theorem headi +{\thmname{#1}\thmnumber{\@ifnotempty{#1}{ }\@upn{#2}}% + \thmnote{ {\the\thm@notefont(#3)}}}% Theorem head spec (can be left empty, meaning `normal') +% +\newtheoremstyle{thmstyletwo}% Numbered +{18pt plus2pt minus1pt}% Space above +{18pt plus2pt minus1pt}% Space below +{\small\normalfont}% Body font +{0pt}% Indent amount +{\small\itshape}% Theorem head font +{}% Punctuation after theorem head +{.5em}% Space after theorem headi +{\thmname{#1}\thmnumber{\@ifnotempty{#1}{ }{#2}}% + \thmnote{ {\the\thm@notefont(#3)}}}% Theorem head spec (can be left empty, meaning `normal') +% +\newtheoremstyle{thmstylethree}% Definition +{18pt plus2pt minus1pt}% Space above +{18pt plus2pt minus1pt}% Space below +{\small\normalfont}% Body font +{0pt}% Indent amount +{\small\bfseries}% Theorem head font +{}% Punctuation after theorem head +{.5em}% Space after theorem headi +{\thmname{#1}\thmnumber{\@ifnotempty{#1}{ }\@upn{#2}}% + \thmnote{ {\the\thm@notefont(#3)}}}% Theorem head spec (can be left empty, meaning `normal') +% +\newtheoremstyle{thmstylefour}% Proof +{18pt plus2pt minus1pt}% Space above +{18pt plus2pt minus1pt}% Space below +{\small\normalfont}% Body font +{0pt}% Indent amount +{\small\itshape}% Theorem head font +{}% Punctuation after theorem head +{.5em}% Space after theorem headi +{\global\proofthmtrue\thmname{#1} \thmnote{#3}}% Theorem head spec (can be left empty, meaning `normal') +% +}{} + +%% Macros for bibliographystyles %% + +% \def\bibcommenthead{\if@bibcomment\begingroup\parindent=0pt\parskip=0pt% +% \removelastskip\vskip13pt\nointerlineskip% +% +% \vbox{\bibfont If you are submitting to one of the Nature Research journals, using the eJP +% submission system, please include the references within the manuscript file itself. You may +% do this by copying the reference list from your .bbl file, and pasting it into the bibliography +% environment of the main manuscript .tex file.}\par% +% \removelastskip\nobreak\vskip13pt\nobreak% +% \endgroup\fi}% + +\def\bibcommenthead{}% + +\if@Spr@basic@refstyle% +\if@Numbered@refstyle% + \usepackage[numbers,sort&compress]{natbib}% + \gdef\NumBib{YES}% +\else% + \usepackage[authoryear]{natbib}% + \gdef\NumBib{NO}% +\fi% + \bibliographystyle{sn-basic}% + \setlength{\bibsep}{1em}% + \def\bibfont{\reset@font\fontfamily{\rmdefault}\normalsize\selectfont}% +\fi% +\if@Mathphys@refstyle% +\if@Numbered@refstyle% + \usepackage[numbers,sort&compress]{natbib}% + \gdef\NumBib{YES}% +\else% + \usepackage[authoryear]{natbib}% + \gdef\NumBib{NO}% +\fi% + \bibliographystyle{sn-mathphys}% + \setlength{\bibsep}{1em}% + \def\bibfont{\reset@font\fontfamily{\rmdefault}\normalsize\selectfont}% +\fi% +\if@APS@refstyle% + \usepackage[numbers,sort&compress]{natbib}% + \gdef\NumBib{YES}% + \bibliographystyle{sn-APS}% + \setlength{\bibsep}{1em}% + \def\bibfont{\reset@font\fontfamily{\rmdefault}\normalsize\selectfont}% +\fi% +\if@Vancouver@refstyle% +\if@Numbered@refstyle% + \usepackage[numbers,sort&compress]{natbib}% + \gdef\NumBib{YES}% +\else% + \usepackage[authoryear]{natbib}% + \gdef\NumBib{NO}% +\fi% + \bibliographystyle{sn-vancouver}% + \setlength{\bibsep}{1em}% + \def\bibfont{\reset@font\fontfamily{\rmdefault}\normalsize\selectfont}% +\fi% +\if@APA@refstyle% +\if@Numbered@refstyle% + \usepackage[natbibapa]{apacite}% + \gdef\NumBib{YES}% +\else% + \usepackage[natbibapa]{apacite}% + \gdef\NumBib{NO}% +\fi% + \bibliographystyle{sn-apacite}% + \def\refdoi#1{\urlstyle{rm}\url{#1}}% + \renewcommand{\doiprefix}{}% + \AtBeginDocument{% + \renewcommand{\BPBI}{.}% Period between initials - command from apacite.sty + }% + \setlength{\bibsep}{1em}% + \def\bibfont{\reset@font\fontfamily{\rmdefault}\normalsize\selectfont}% +\fi% +\if@Chicago@refstyle% +\if@Numbered@refstyle% + \usepackage[numbers,sort&compress]{natbib}% + \gdef\NumBib{YES}% +\else% + \usepackage[authoryear]{natbib}% + \gdef\NumBib{NO}% +\fi% + \bibliographystyle{sn-chicago}% + \hypersetup{urlcolor=black,colorlinks=false,pdfborder={0 0 0}}\urlstyle{same}% + \setlength{\bibsep}{1em}% + \def\bibfont{\reset@font\fontfamily{\rmdefault}\normalsize\selectfont}% +\fi% +\if@Standard@Nature@refstyle% + \usepackage[numbers,sort&compress]{natbib}% + \gdef\NumBib{YES}% + \bibliographystyle{sn-nature}% + \setlength{\bibsep}{1em}% + \def\bibfont{\reset@font\fontfamily{\rmdefault}\normalsize\selectfont}% +\fi% +\if@Default@refstyle% + \usepackage[numbers,sort&compress]{natbib}% + \gdef\NumBib{YES}% + \setlength{\bibsep}{1em}% + \def\bibfont{\reset@font\fontfamily{\rmdefault}\normalsize\selectfont}% +\fi% + +\AtBeginDocument{\allowdisplaybreaks}% + +\def\eqnheadfont{\reset@font\fontfamily{\rmdefault}\fontsize{16}{18}\bfseries\selectfont}% + +\newcommand{\eqnhead}[1]{\begingroup% +\begin{center} +{\eqnheadfont #1}\par% +\end{center} +\removelastskip\vskip24pt% +\thispagestyle{titlepage}%% +%%\thispagestyle{empty}% +\endgroup} + +%% Macros for border matrix %% + +\newif\if@borderstar + +\def\bordermatrix{\@ifnextchar*{% +\@borderstartrue\@bordermatrix@i}{\@borderstarfalse\@bordermatrix@i*}% +} +\def\@bordermatrix@i*{\@ifnextchar[{\@bordermatrix@ii}{\@bordermatrix@ii[()]}} +\def\@bordermatrix@ii[#1]#2{% +\begingroup +\m@th\@tempdima8.75\p@\setbox\z@\vbox{% +\def\cr{\crcr\noalign{\kern 2\p@\global\let\cr\endline }}% +\ialign {$##$\hfil\kern 2\p@\kern\@tempdima & \thinspace % +\hfil $##$\hfil && \quad\hfil $##$\hfil\crcr\omit\strut % +\hfil\crcr\noalign{\kern -\baselineskip}#2\crcr\omit % +\strut\cr}}% +\setbox\tw@\vbox{\unvcopy\z@\global\setbox\@ne\lastbox}% +\setbox\tw@\hbox{\unhbox\@ne\unskip\global\setbox\@ne\lastbox}% +\setbox\tw@\hbox{% +$\kern\wd\@ne\kern -\@tempdima\left\@firstoftwo#1% +\if@borderstar\kern2pt\else\kern -\wd\@ne\fi% +\global\setbox\@ne\vbox{\box\@ne\if@borderstar\else\kern 2\p@\fi}% +\vcenter{\if@borderstar\else\kern -\ht\@ne\fi% +\unvbox\z@\kern-\if@borderstar2\fi\baselineskip}% +\if@borderstar\kern-2\@tempdima\kern2\p@\else\,\fi\right\@secondoftwo#1 $% +}\null \;\vbox{\kern\ht\@ne\box\tw@}% +\endgroup +} + +%% Macros for line numbers %% + +\if@vrulerlinenumberon% +% +\usepackage{vruler}% +% +%%\setvruler[][][][][][][][][] +\def\linenoon{%%\definecolor{blue}{gray}{0}% +\def\tiny{\normalsize\color{black}}% +\setvruler[12bp][1][1][3][1][1.18\textwidth][26pt][-7pt][0.99\textheight]% for even pages: left side; for odd pages: right side; +%%\linkbluecolor +}% +\linenoon% +\def\lineno@off{\unsetvruler}% +\fi% +%% url macros %% + +\gdef\orcidlogo{% +\includegraphics{Orcidlogo.eps}% +}% + +\gdef\orcid#1{\href{#1}{\orcidlogo}}% + + +\endinput diff --git a/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/template-sn-article-UNSUPPORTED.thy b/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/template-sn-article-UNSUPPORTED.thy new file mode 100644 index 0000000..241ad0a --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/template-sn-article-UNSUPPORTED.thy @@ -0,0 +1,13 @@ +theory + "template-sn-article-UNSUPPORTED" +imports + "Isabelle_DOF-Ontologies.document_templates" + Isabelle_DOF.scholarly_paper +begin + +list_templates +use_template "sn-article-UNSUPPORTED" +list_ontologies +use_ontology "scholarly_paper" + +end diff --git a/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/ROOT b/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/ROOT new file mode 100644 index 0000000..15bc299 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/ROOT @@ -0,0 +1,10 @@ +session "template-svjour3-UNSUPPORTED" = "Isabelle_DOF-Ontologies" + + options [document = pdf, document_output = "output", document_build = dof] +(*theories [document = false] + A + B*) + theories + "template-svjour3-UNSUPPORTED" + document_files + "preamble.tex" + "svjour3.cls" diff --git a/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/preamble.tex b/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/preamble.tex new file mode 100644 index 0000000..894b163 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/preamble.tex @@ -0,0 +1 @@ +%% This is a placeholder for user-specific configuration and packages. \ No newline at end of file diff --git a/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/svjour3.cls b/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/svjour3.cls new file mode 100644 index 0000000..ae6cc67 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/svjour3.cls @@ -0,0 +1,1431 @@ +% SVJour3 DOCUMENT CLASS -- version 3.2 for LaTeX2e +% +% LaTeX document class for Springer journals +% +%% +%% +%% \CharacterTable +%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +%% Digits \0\1\2\3\4\5\6\7\8\9 +%% Exclamation \! Double quote \" Hash (number) \# +%% Dollar \$ Percent \% Ampersand \& +%% Acute accent \' Left paren \( Right paren \) +%% Asterisk \* Plus \+ Comma \, +%% Minus \- Point \. Solidus \/ +%% Colon \: Semicolon \; Less than \< +%% Equals \= Greater than \> Question mark \? +%% Commercial at \@ Left bracket \[ Backslash \\ +%% Right bracket \] Circumflex \^ Underscore \_ +%% Grave accent \` Left brace \{ Vertical bar \| +%% Right brace \} Tilde \~} +\NeedsTeXFormat{LaTeX2e}[1995/12/01] +\ProvidesClass{svjour3}[2007/05/08 v3.2 +^^JLaTeX document class for Springer journals] +\newcommand\@ptsize{} +\newif\if@restonecol +\newif\if@titlepage +\@titlepagefalse +\DeclareOption{a4paper} + {\setlength\paperheight {297mm}% + \setlength\paperwidth {210mm}} +\DeclareOption{10pt}{\renewcommand\@ptsize{0}} +\DeclareOption{twoside}{\@twosidetrue \@mparswitchtrue} +\DeclareOption{draft}{\setlength\overfullrule{5pt}} +\DeclareOption{final}{\setlength\overfullrule{0pt}} +\DeclareOption{fleqn}{\input{fleqn.clo}\AtBeginDocument{\mathindent\z@}% +\AtBeginDocument{\@ifpackageloaded{amsmath}{\@mathmargin\z@}{}}% +\PassOptionsToPackage{fleqn}{amsmath}} +%%% +\DeclareOption{onecolumn}{} +\DeclareOption{smallcondensed}{} +\DeclareOption{twocolumn}{\@twocolumntrue\ExecuteOptions{fleqn}} +\newif\if@smallext\@smallextfalse +\DeclareOption{smallextended}{\@smallexttrue} +\let\if@mathematic\iftrue +\let\if@numbook\iffalse +\DeclareOption{numbook}{\let\if@envcntsect\iftrue + \AtEndOfPackage{% + \renewcommand\thefigure{\thesection.\@arabic\c@figure}% + \renewcommand\thetable{\thesection.\@arabic\c@table}% + \renewcommand\theequation{\thesection.\@arabic\c@equation}% + \@addtoreset{figure}{section}% + \@addtoreset{table}{section}% + \@addtoreset{equation}{section}% + }% +} +\DeclareOption{openbib}{% + \AtEndOfPackage{% + \renewcommand\@openbib@code{% + \advance\leftmargin\bibindent + \itemindent -\bibindent + \listparindent \itemindent + \parsep \z@ + }% + \renewcommand\newblock{\par}}% +} +\DeclareOption{natbib}{% +\AtEndOfClass{\RequirePackage{natbib}% +% Changing some parameters of NATBIB +\setlength{\bibhang}{\parindent}% +%\setlength{\bibsep}{0mm}% +\let\bibfont=\small +\def\@biblabel#1{#1.}% +\newcommand{\etal}{et al.}% +\bibpunct{(}{)}{;}{a}{}{,}}} +% +\let\if@runhead\iffalse +\DeclareOption{runningheads}{\let\if@runhead\iftrue} +\let\if@smartrunh\iffalse +\DeclareOption{smartrunhead}{\let\if@smartrunh\iftrue} +\DeclareOption{nosmartrunhead}{\let\if@smartrunh\iffalse} +\let\if@envcntreset\iffalse +\DeclareOption{envcountreset}{\let\if@envcntreset\iftrue} +\let\if@envcntsame\iffalse +\DeclareOption{envcountsame}{\let\if@envcntsame\iftrue} +\let\if@envcntsect\iffalse +\DeclareOption{envcountsect}{\let\if@envcntsect\iftrue} +\let\if@referee\iffalse +\DeclareOption{referee}{\let\if@referee\iftrue} +\def\makereferee{\def\baselinestretch{2}} +\let\if@instindent\iffalse +\DeclareOption{instindent}{\let\if@instindent\iftrue} +\let\if@smartand\iffalse +\DeclareOption{smartand}{\let\if@smartand\iftrue} +\let\if@spthms\iftrue +\DeclareOption{nospthms}{\let\if@spthms\iffalse} +% +% language and babel dependencies +\DeclareOption{deutsch}{\def\switcht@@therlang{\switcht@deutsch}% +\gdef\svlanginfo{\typeout{Man spricht deutsch.}\global\let\svlanginfo\relax}} +\DeclareOption{francais}{\def\switcht@@therlang{\switcht@francais}% +\gdef\svlanginfo{\typeout{On parle francais.}\global\let\svlanginfo\relax}} +\let\switcht@@therlang\relax +\let\svlanginfo\relax +% +\AtBeginDocument{\@ifpackageloaded{babel}{% +\@ifundefined{extrasenglish}{}{\addto\extrasenglish{\switcht@albion}}% +\@ifundefined{extrasUKenglish}{}{\addto\extrasUKenglish{\switcht@albion}}% +\@ifundefined{extrasfrenchb}{}{\addto\extrasfrenchb{\switcht@francais}}% +\@ifundefined{extrasgerman}{}{\addto\extrasgerman{\switcht@deutsch}}% +\@ifundefined{extrasngerman}{}{\addto\extrasngerman{\switcht@deutsch}}% +}{\switcht@@therlang}% +} +% +\def\ClassInfoNoLine#1#2{% + \ClassInfo{#1}{#2\@gobble}% +} +\let\journalopt\@empty +\DeclareOption*{% +\InputIfFileExists{sv\CurrentOption.clo}{% +\global\let\journalopt\CurrentOption}{% +\ClassWarning{Springer-SVJour3}{Specified option or subpackage +"\CurrentOption" not found -}\OptionNotUsed}} +\ExecuteOptions{a4paper,twoside,10pt,instindent} +\ProcessOptions +% +\ifx\journalopt\@empty\relax +\ClassInfoNoLine{Springer-SVJour3}{extra/valid Springer sub-package (-> *.clo) +\MessageBreak not found in option list of \string\documentclass +\MessageBreak - autoactivating "global" style}{} +\input{svglov3.clo} +\else +\@ifundefined{validfor}{% +\ClassError{Springer-SVJour3}{Possible option clash for sub-package +\MessageBreak "sv\journalopt.clo" - option file not valid +\MessageBreak for this class}{Perhaps you used an option of the old +Springer class SVJour!} +}{} +\fi +% +\if@smartrunh\AtEndDocument{\islastpageeven\getlastpagenumber}\fi +% +\newcommand{\twocoltest}[2]{\if@twocolumn\def\@gtempa{#2}\else\def\@gtempa{#1}\fi +\@gtempa\makeatother} +\newcommand{\columncase}{\makeatletter\twocoltest} +% +\DeclareMathSymbol{\Gamma}{\mathalpha}{letters}{"00} +\DeclareMathSymbol{\Delta}{\mathalpha}{letters}{"01} +\DeclareMathSymbol{\Theta}{\mathalpha}{letters}{"02} +\DeclareMathSymbol{\Lambda}{\mathalpha}{letters}{"03} +\DeclareMathSymbol{\Xi}{\mathalpha}{letters}{"04} +\DeclareMathSymbol{\Pi}{\mathalpha}{letters}{"05} +\DeclareMathSymbol{\Sigma}{\mathalpha}{letters}{"06} +\DeclareMathSymbol{\Upsilon}{\mathalpha}{letters}{"07} +\DeclareMathSymbol{\Phi}{\mathalpha}{letters}{"08} +\DeclareMathSymbol{\Psi}{\mathalpha}{letters}{"09} +\DeclareMathSymbol{\Omega}{\mathalpha}{letters}{"0A} +% +\setlength\parindent{15\p@} +\setlength\smallskipamount{3\p@ \@plus 1\p@ \@minus 1\p@} +\setlength\medskipamount{6\p@ \@plus 2\p@ \@minus 2\p@} +\setlength\bigskipamount{12\p@ \@plus 4\p@ \@minus 4\p@} +\setlength\headheight{12\p@} +\setlength\headsep {14.50dd} +\setlength\topskip {10\p@} +\setlength\footskip{30\p@} +\setlength\maxdepth{.5\topskip} +% +\@settopoint\textwidth +\setlength\marginparsep {10\p@} +\setlength\marginparpush{5\p@} +\setlength\topmargin{-10pt} +\if@twocolumn + \setlength\oddsidemargin {-30\p@} + \setlength\evensidemargin{-30\p@} +\else + \setlength\oddsidemargin {\z@} + \setlength\evensidemargin{\z@} +\fi +\setlength\marginparwidth {48\p@} +\setlength\footnotesep{8\p@} +\setlength{\skip\footins}{9\p@ \@plus 4\p@ \@minus 2\p@} +\setlength\floatsep {12\p@ \@plus 2\p@ \@minus 2\p@} +\setlength\textfloatsep{20\p@ \@plus 2\p@ \@minus 4\p@} +\setlength\intextsep {20\p@ \@plus 2\p@ \@minus 2\p@} +\setlength\dblfloatsep {12\p@ \@plus 2\p@ \@minus 2\p@} +\setlength\dbltextfloatsep{20\p@ \@plus 2\p@ \@minus 4\p@} +\setlength\@fptop{0\p@} +\setlength\@fpsep{12\p@ \@plus 2\p@ \@minus 2\p@} +\setlength\@fpbot{0\p@ \@plus 1fil} +\setlength\@dblfptop{0\p@} +\setlength\@dblfpsep{12\p@ \@plus 2\p@ \@minus 2\p@} +\setlength\@dblfpbot{0\p@ \@plus 1fil} +\setlength\partopsep{2\p@ \@plus 1\p@ \@minus 1\p@} +\def\@listi{\leftmargin\leftmargini + \parsep \z@ + \topsep 6\p@ \@plus2\p@ \@minus4\p@ + \itemsep\parsep} +\let\@listI\@listi +\@listi +\def\@listii {\leftmargin\leftmarginii + \labelwidth\leftmarginii + \advance\labelwidth-\labelsep + \topsep \z@ + \parsep \topsep + \itemsep \parsep} +\def\@listiii{\leftmargin\leftmarginiii + \labelwidth\leftmarginiii + \advance\labelwidth-\labelsep + \topsep \z@ + \parsep \topsep + \itemsep \parsep} +\def\@listiv {\leftmargin\leftmarginiv + \labelwidth\leftmarginiv + \advance\labelwidth-\labelsep} +\def\@listv {\leftmargin\leftmarginv + \labelwidth\leftmarginv + \advance\labelwidth-\labelsep} +\def\@listvi {\leftmargin\leftmarginvi + \labelwidth\leftmarginvi + \advance\labelwidth-\labelsep} +% +\setlength\lineskip{1\p@} +\setlength\normallineskip{1\p@} +\renewcommand\baselinestretch{} +\setlength\parskip{0\p@ \@plus \p@} +\@lowpenalty 51 +\@medpenalty 151 +\@highpenalty 301 +\setcounter{topnumber}{4} +\renewcommand\topfraction{.9} +\setcounter{bottomnumber}{2} +\renewcommand\bottomfraction{.7} +\setcounter{totalnumber}{6} +\renewcommand\textfraction{.1} +\renewcommand\floatpagefraction{.85} +\setcounter{dbltopnumber}{3} +\renewcommand\dbltopfraction{.85} +\renewcommand\dblfloatpagefraction{.85} +\def\ps@headings{% + \let\@oddfoot\@empty\let\@evenfoot\@empty + \def\@evenhead{\small\csname runheadhook\endcsname + \rlap{\thepage}\hfil\leftmark\unskip}% + \def\@oddhead{\small\csname runheadhook\endcsname + \ignorespaces\rightmark\hfil\llap{\thepage}}% + \let\@mkboth\@gobbletwo + \let\sectionmark\@gobble + \let\subsectionmark\@gobble + } +% make indentations changeable +\def\setitemindent#1{\settowidth{\labelwidth}{#1}% + \leftmargini\labelwidth + \advance\leftmargini\labelsep + \def\@listi{\leftmargin\leftmargini + \labelwidth\leftmargini\advance\labelwidth by -\labelsep + \parsep=\parskip + \topsep=\medskipamount + \itemsep=\parskip \advance\itemsep by -\parsep}} +\def\setitemitemindent#1{\settowidth{\labelwidth}{#1}% + \leftmarginii\labelwidth + \advance\leftmarginii\labelsep +\def\@listii{\leftmargin\leftmarginii + \labelwidth\leftmarginii\advance\labelwidth by -\labelsep + \parsep=\parskip + \topsep=\z@ + \itemsep=\parskip \advance\itemsep by -\parsep}} +% labels of description +\def\descriptionlabel#1{\hspace\labelsep #1\hfil} +% adjusted environment "description" +% if an optional parameter (at the first two levels of lists) +% is present, its width is considered to be the widest mark +% throughout the current list. +\def\description{\@ifnextchar[{\@describe}{\list{}{\labelwidth\z@ + \itemindent-\leftmargin \let\makelabel\descriptionlabel}}} +\let\enddescription\endlist +% +\def\describelabel#1{#1\hfil} +\def\@describe[#1]{\relax\ifnum\@listdepth=0 +\setitemindent{#1}\else\ifnum\@listdepth=1 +\setitemitemindent{#1}\fi\fi +\list{--}{\let\makelabel\describelabel}} +% +\newdimen\logodepth +\logodepth=1.2cm +\newdimen\headerboxheight +\headerboxheight=163pt % 18 10.5dd-lines - 2\baselineskip +\if@twocolumn\else\advance\headerboxheight by-14.5mm\fi +\newdimen\betweenumberspace % dimension for space between +\betweenumberspace=3.33pt % number and text of titles. +\newdimen\aftertext % dimension for space after +\aftertext=5pt % text of title. +\newdimen\headlineindent % dimension for space between +\headlineindent=1.166cm % number and text of headings. +\if@mathematic + \def\runinend{} % \enspace} + \def\floatcounterend{\enspace} + \def\sectcounterend{} +\else + \def\runinend{.} + \def\floatcounterend{.\ } + \def\sectcounterend{.} +\fi +\def\email#1{\emailname: #1} +\def\keywords#1{\par\addvspace\medskipamount{\rightskip=0pt plus1cm +\def\and{\ifhmode\unskip\nobreak\fi\ $\cdot$ +}\noindent\keywordname\enspace\ignorespaces#1\par}} +% +\def\subclassname{{\bfseries Mathematics Subject Classification +(2000)}\enspace} +\def\subclass#1{\par\addvspace\medskipamount{\rightskip=0pt plus1cm +\def\and{\ifhmode\unskip\nobreak\fi\ $\cdot$ +}\noindent\subclassname\ignorespaces#1\par}} +% +\def\PACSname{\textbf{PACS}\enspace} +\def\PACS#1{\par\addvspace\medskipamount{\rightskip=0pt plus1cm +\def\and{\ifhmode\unskip\nobreak\fi\ $\cdot$ +}\noindent\PACSname\ignorespaces#1\par}} +% +\def\CRclassname{{\bfseries CR Subject Classification}\enspace} +\def\CRclass#1{\par\addvspace\medskipamount{\rightskip=0pt plus1cm +\def\and{\ifhmode\unskip\nobreak\fi\ $\cdot$ +}\noindent\CRclassname\ignorespaces#1\par}} +% +\def\ESMname{\textbf{Electronic Supplementary Material}\enspace} +\def\ESM#1{\par\addvspace\medskipamount +\noindent\ESMname\ignorespaces#1\par} +% +\newcounter{inst} +\newcounter{auth} +\def\authdepth{2} +\newdimen\instindent +\newbox\authrun +\newtoks\authorrunning +\newbox\titrun +\newtoks\titlerunning +\def\authorfont{\bfseries} + +\def\combirunning#1{\gdef\@combi{#1}} +\def\@combi{} +\newbox\combirun +% +\def\ps@last{\def\@evenhead{\small\rlap{\thepage}\hfil +\lastevenhead}} +\newcounter{lastpage} +\def\islastpageeven{\@ifundefined{lastpagenumber} +{\setcounter{lastpage}{0}}{\setcounter{lastpage}{\lastpagenumber}} +\ifnum\value{lastpage}>0 + \ifodd\value{lastpage}% + \else + \if@smartrunh + \thispagestyle{last}% + \fi + \fi +\fi} +\def\getlastpagenumber{\clearpage +\addtocounter{page}{-1}% + \immediate\write\@auxout{\string\gdef\string\lastpagenumber{\thepage}}% + \immediate\write\@auxout{\string\newlabel{LastPage}{{}{\thepage}}}% + \addtocounter{page}{1}} + +\def\journalname#1{\gdef\@journalname{#1}} + +\def\dedication#1{\gdef\@dedic{#1}} +\def\@dedic{} + +\let\@date\undefined +\def\notused{~} + +\def\institute#1{\gdef\@institute{#1}} + +\def\offprints#1{\begingroup +\def\protect{\noexpand\protect\noexpand}\xdef\@thanks{\@thanks +\protect\footnotetext[0]{\unskip\hskip-15pt{\itshape Send offprint requests +to\/}: \ignorespaces#1}}\endgroup\ignorespaces} + +%\def\mail#1{\gdef\@mail{#1}} +%\def\@mail{} + +\def\@thanks{} + +\def\@fnsymbol#1{\ifcase#1\or\star\or{\star\star}\or{\star\star\star}% + \or \dagger\or \ddagger\or + \mathchar "278\or \mathchar "27B\or \|\or **\or \dagger\dagger + \or \ddagger\ddagger \else\@ctrerr\fi\relax} +% +%\def\invthanks#1{\footnotetext[0]{\kern-\bibindent#1}} +% +\def\nothanksmarks{\def\thanks##1{\protected@xdef\@thanks{\@thanks + \protect\footnotetext[0]{\kern-\bibindent##1}}}} +% +\def\subtitle#1{\gdef\@subtitle{#1}} +\def\@subtitle{} + +\def\headnote#1{\gdef\@headnote{#1}} +\def\@headnote{} + +\def\papertype#1{\gdef\paper@type{\MakeUppercase{#1}}} +\def\paper@type{} + +\def\ch@ckobl#1#2{\@ifundefined{@#1} + {\typeout{SVJour3 warning: Missing +\expandafter\string\csname#1\endcsname}% + \csname #1\endcsname{#2}} + {}} +% +\def\ProcessRunnHead{% + \def\\{\unskip\ \ignorespaces}% + \def\thanks##1{\unskip{}}% + \instindent=\textwidth + \advance\instindent by-\headlineindent + \if!\the\titlerunning!\else + \edef\@title{\the\titlerunning}% + \fi + \global\setbox\titrun=\hbox{\small\rmfamily\unboldmath\ignorespaces\@title + \unskip}% + \ifdim\wd\titrun>\instindent + \typeout{^^JSVJour3 Warning: Title too long for running head.}% + \typeout{Please supply a shorter form with \string\titlerunning + \space prior to \string\maketitle}% + \global\setbox\titrun=\hbox{\small\rmfamily + Title Suppressed Due to Excessive Length}% + \fi + \xdef\@title{\copy\titrun}% +% + \if!\the\authorrunning! + \else + \setcounter{auth}{1}% + \edef\@author{\the\authorrunning}% + \fi + \ifnum\value{inst}>\authdepth + \def\stripauthor##1\and##2\endauthor{% + \protected@xdef\@author{##1\unskip\unskip\if!##2!\else\ et al.\fi}}% + \expandafter\stripauthor\@author\and\endauthor + \else + \gdef\and{\unskip, \ignorespaces}% + {\def\and{\noexpand\protect\noexpand\and}% + \protected@xdef\@author{\@author}} + \fi + \global\setbox\authrun=\hbox{\small\rmfamily\unboldmath\ignorespaces + \@author\unskip}% + \ifdim\wd\authrun>\instindent + \typeout{^^JSVJour3 Warning: Author name(s) too long for running head. + ^^JPlease supply a shorter form with \string\authorrunning + \space prior to \string\maketitle}% + \global\setbox\authrun=\hbox{\small\rmfamily Please give a shorter version + with: {\tt\string\authorrunning\space and + \string\titlerunning\space prior to \string\maketitle}}% + \fi + \xdef\@author{\copy\authrun}% + \markboth{\@author}{\@title}% +} +% +\let\orithanks=\thanks +\def\thanks#1{\ClassWarning{SVJour3}{\string\thanks\space may only be +used inside of \string\title, \string\author,\MessageBreak +and \string\date\space prior to \string\maketitle}} +% +\def\maketitle{\par\let\thanks=\orithanks +\ch@ckobl{journalname}{Noname} +\ch@ckobl{date}{the date of receipt and acceptance should be inserted +later} +\ch@ckobl{title}{A title should be given} +\ch@ckobl{author}{Name(s) and initial(s) of author(s) should be given} +\ch@ckobl{institute}{Address(es) of author(s) should be given} +\begingroup +% + \renewcommand\thefootnote{\@fnsymbol\c@footnote}% + \def\@makefnmark{$^{\@thefnmark}$}% + \renewcommand\@makefntext[1]{% + \noindent + \hb@xt@\bibindent{\hss\@makefnmark\enspace}##1\vrule height0pt + width0pt depth8pt} +% + \def\lastand{\ifnum\value{inst}=2\relax + \unskip{} \andname\ + \else + \unskip, \andname\ + \fi}% + \def\and{\stepcounter{auth}\relax + \if@smartand + \ifnum\value{auth}=\value{inst}% + \lastand + \else + \unskip, + \fi + \else + \unskip, + \fi}% + \thispagestyle{empty} + \ifnum \col@number=\@ne + \@maketitle + \else + \twocolumn[\@maketitle]% + \fi +% + \global\@topnum\z@ + \if!\@thanks!\else + \@thanks +\insert\footins{\vskip-3pt\hrule\@width\if@twocolumn\columnwidth +\else 38mm\fi\vskip3pt}% + \fi + {\def\thanks##1{\unskip{}}% + \def\iand{\\[5pt]\let\and=\nand}% + \def\nand{\ifhmode\unskip\nobreak\fi\ $\cdot$ }% + \let\and=\nand + \def\at{\\\let\and=\iand}% + \footnotetext[0]{\kern-\bibindent + \ignorespaces\@institute}\vspace{5dd}}% +%\if!\@mail!\else +% \footnotetext[0]{\kern-\bibindent\mailname\ +% \ignorespaces\@mail}% +%\fi +% + \if@runhead + \ProcessRunnHead + \fi +% + \endgroup + \setcounter{footnote}{0} + \global\let\thanks\relax + \global\let\maketitle\relax + \global\let\@maketitle\relax + \global\let\@thanks\@empty + \global\let\@author\@empty + \global\let\@date\@empty + \global\let\@title\@empty + \global\let\@subtitle\@empty + \global\let\title\relax + \global\let\author\relax + \global\let\date\relax + \global\let\and\relax} + +\def\makeheadbox{{% +\hbox to0pt{\vbox{\baselineskip=10dd\hrule\hbox +to\hsize{\vrule\kern3pt\vbox{\kern3pt +\hbox{\bfseries\@journalname\ manuscript No.} +\hbox{(will be inserted by the editor)} +\kern3pt}\hfil\kern3pt\vrule}\hrule}% +\hss}}} +% +\def\rubric{\setbox0=\hbox{\small\strut}\@tempdima=\ht0\advance +\@tempdima\dp0\advance\@tempdima2\fboxsep\vrule\@height\@tempdima +\@width\z@} +\newdimen\rubricwidth +% +\def\@maketitle{\newpage +\normalfont +\vbox to0pt{\if@twocolumn\vskip-39pt\else\vskip-49pt\fi +\nointerlineskip +\makeheadbox\vss}\nointerlineskip +\vbox to 0pt{\offinterlineskip\rubricwidth=\columnwidth +%%%%\vskip-12.5pt % -12.5pt +\if@twocolumn\else % one column journal + \divide\rubricwidth by144\multiply\rubricwidth by89 % perform golden section + \vskip-\topskip +\fi +\hrule\@height0.35mm\noindent +\advance\fboxsep by.25mm +\global\advance\rubricwidth by0pt +\rubric +\vss}\vskip19.5pt % war 9pt +% +\if@twocolumn\else + \gdef\footnoterule{% + \kern-3\p@ + \hrule\@width38mm % \columnwidth \rubricwidth + \kern2.6\p@} +\fi +% + \setbox\authrun=\vbox\bgroup + \if@twocolumn + \hrule\@height10.5mm\@width0\p@ + \else + \hrule\@height 2mm\@width0\p@ + \fi + \pretolerance=10000 + \rightskip=0pt plus 4cm + \nothanksmarks +% \if!\@headnote!\else +% \noindent +% {\LARGE\normalfont\itshape\ignorespaces\@headnote\par}\vskip 3.5mm +% \fi + {\LARGE\bfseries + \noindent\ignorespaces + \@title \par}\vskip 17pt\relax + \if!\@subtitle!\else + {\large\bfseries + \pretolerance=10000 + \rightskip=0pt plus 3cm + \vskip-12pt +% \noindent\ignorespaces\@subtitle \par}\vskip 11.24pt\relax + \noindent\ignorespaces\@subtitle \par}\vskip 17pt\relax + \fi + {\authorfont + \setbox0=\vbox{\setcounter{auth}{1}\def\and{\stepcounter{auth} }% + \hfuzz=2\textwidth\def\thanks##1{}\@author}% + \setcounter{footnote}{0}% + \global\value{inst}=\value{auth}% + \setcounter{auth}{1}% + \if@twocolumn + \rightskip43mm plus 4cm minus 3mm + \else % one column journal + \rightskip=\linewidth + \advance\rightskip by-\rubricwidth + \advance\rightskip by0pt plus 4cm minus 3mm + \fi +% +\def\and{\unskip\nobreak\enskip{\boldmath$\cdot$}\enskip\ignorespaces}% + \noindent\ignorespaces\@author\vskip7.23pt} +% + \small + \if!\@dedic!\else + \par + \normalsize\it + \addvspace\baselineskip + \noindent\@dedic + \fi + \egroup % end of header box + \@tempdima=\headerboxheight + \advance\@tempdima by-\ht\authrun + \unvbox\authrun + \ifdim\@tempdima>0pt + \vrule width0pt height\@tempdima\par + \fi + \noindent{\small\@date\if@twocolumn\vskip 7.2mm\else\vskip 5.2mm\fi} + \global\@minipagetrue + \global\everypar{\global\@minipagefalse\global\everypar{}}% +%\vskip22.47pt +} +% +\if@mathematic + \def\vec#1{\ensuremath{\mathchoice + {\mbox{\boldmath$\displaystyle\mathbf{#1}$}} + {\mbox{\boldmath$\textstyle\mathbf{#1}$}} + {\mbox{\boldmath$\scriptstyle\mathbf{#1}$}} + {\mbox{\boldmath$\scriptscriptstyle\mathbf{#1}$}}}} +\else + \def\vec#1{\ensuremath{\mathchoice + {\mbox{\boldmath$\displaystyle#1$}} + {\mbox{\boldmath$\textstyle#1$}} + {\mbox{\boldmath$\scriptstyle#1$}} + {\mbox{\boldmath$\scriptscriptstyle#1$}}}} +\fi +% +\def\tens#1{\ensuremath{\mathsf{#1}}} +% +\setcounter{secnumdepth}{3} +\newcounter {section} +\newcounter {subsection}[section] +\newcounter {subsubsection}[subsection] +\newcounter {paragraph}[subsubsection] +\newcounter {subparagraph}[paragraph] +\renewcommand\thesection {\@arabic\c@section} +\renewcommand\thesubsection {\thesection.\@arabic\c@subsection} +\renewcommand\thesubsubsection{\thesubsection.\@arabic\c@subsubsection} +\renewcommand\theparagraph {\thesubsubsection.\@arabic\c@paragraph} +\renewcommand\thesubparagraph {\theparagraph.\@arabic\c@subparagraph} +% +\def\@hangfrom#1{\setbox\@tempboxa\hbox{#1}% + \hangindent \z@\noindent\box\@tempboxa} +% +\def\@seccntformat#1{\csname the#1\endcsname\sectcounterend +\hskip\betweenumberspace} +% +% \newif\if@sectrule +% \if@twocolumn\else\let\@sectruletrue=\relax\fi +% \if@avier\let\@sectruletrue=\relax\fi +% \def\makesectrule{\if@sectrule\global\@sectrulefalse\null\vglue-\topskip +% \hrule\nobreak\parskip=5pt\relax\fi} +% % +% \let\makesectruleori=\makesectrule +% \def\restoresectrule{\global\let\makesectrule=\makesectruleori\global\@sectrulefalse} +% \def\nosectrule{\let\makesectrule=\restoresectrule} +% +\def\@startsection#1#2#3#4#5#6{% + \if@noskipsec \leavevmode \fi + \par + \@tempskipa #4\relax + \@afterindenttrue + \ifdim \@tempskipa <\z@ + \@tempskipa -\@tempskipa \@afterindentfalse + \fi + \if@nobreak + \everypar{}% + \else + \addpenalty\@secpenalty\addvspace\@tempskipa + \fi +% \ifnum#2=1\relax\@sectruletrue\fi + \@ifstar + {\@ssect{#3}{#4}{#5}{#6}}% + {\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}}}} +% +\def\@sect#1#2#3#4#5#6[#7]#8{% + \ifnum #2>\c@secnumdepth + \let\@svsec\@empty + \else + \refstepcounter{#1}% + \protected@edef\@svsec{\@seccntformat{#1}\relax}% + \fi + \@tempskipa #5\relax + \ifdim \@tempskipa>\z@ + \begingroup + #6{% \makesectrule + \@hangfrom{\hskip #3\relax\@svsec}% + \raggedright + \hyphenpenalty \@M% + \interlinepenalty \@M #8\@@par}% + \endgroup + \csname #1mark\endcsname{#7}% + \addcontentsline{toc}{#1}{% + \ifnum #2>\c@secnumdepth \else + \protect\numberline{\csname the#1\endcsname\sectcounterend}% + \fi + #7}% + \else + \def\@svsechd{% + #6{\hskip #3\relax + \@svsec #8\/\hskip\aftertext}% + \csname #1mark\endcsname{#7}% + \addcontentsline{toc}{#1}{% + \ifnum #2>\c@secnumdepth \else + \protect\numberline{\csname the#1\endcsname}% + \fi + #7}}% + \fi + \@xsect{#5}} +% +\def\@ssect#1#2#3#4#5{% + \@tempskipa #3\relax + \ifdim \@tempskipa>\z@ + \begingroup + #4{% \makesectrule + \@hangfrom{\hskip #1}% + \interlinepenalty \@M #5\@@par}% + \endgroup + \else + \def\@svsechd{#4{\hskip #1\relax #5}}% + \fi + \@xsect{#3}} + +% +% measures and setting of sections +% +\def\section{\@startsection{section}{1}{\z@}% + {-21dd plus-8pt minus-4pt}{10.5dd} + {\normalsize\bfseries\boldmath}} +\def\subsection{\@startsection{subsection}{2}{\z@}% + {-21dd plus-8pt minus-4pt}{10.5dd} + {\normalsize\upshape}} +\def\subsubsection{\@startsection{subsubsection}{3}{\z@}% + {-13dd plus-8pt minus-4pt}{10.5dd} + {\normalsize\itshape}} +\def\paragraph{\@startsection{paragraph}{4}{\z@}% + {-13pt plus-8pt minus-4pt}{\z@}{\normalsize\itshape}} + +\setlength\leftmargini {\parindent} +\leftmargin \leftmargini +\setlength\leftmarginii {\parindent} +\setlength\leftmarginiii {1.87em} +\setlength\leftmarginiv {1.7em} +\setlength\leftmarginv {.5em} +\setlength\leftmarginvi {.5em} +\setlength \labelsep {.5em} +\setlength \labelwidth{\leftmargini} +\addtolength\labelwidth{-\labelsep} +\@beginparpenalty -\@lowpenalty +\@endparpenalty -\@lowpenalty +\@itempenalty -\@lowpenalty +\renewcommand\theenumi{\@arabic\c@enumi} +\renewcommand\theenumii{\@alph\c@enumii} +\renewcommand\theenumiii{\@roman\c@enumiii} +\renewcommand\theenumiv{\@Alph\c@enumiv} +\newcommand\labelenumi{\theenumi.} +\newcommand\labelenumii{(\theenumii)} +\newcommand\labelenumiii{\theenumiii.} +\newcommand\labelenumiv{\theenumiv.} +\renewcommand\p@enumii{\theenumi} +\renewcommand\p@enumiii{\theenumi(\theenumii)} +\renewcommand\p@enumiv{\p@enumiii\theenumiii} +\newcommand\labelitemi{\normalfont\bfseries --} +\newcommand\labelitemii{\normalfont\bfseries --} +\newcommand\labelitemiii{$\m@th\bullet$} +\newcommand\labelitemiv{$\m@th\cdot$} + +\if@spthms +% definition of the "\spnewtheorem" command. +% +% Usage: +% +% \spnewtheorem{env_nam}{caption}[within]{cap_font}{body_font} +% or \spnewtheorem{env_nam}[numbered_like]{caption}{cap_font}{body_font} +% or \spnewtheorem*{env_nam}{caption}{cap_font}{body_font} +% +% New is "cap_font" and "body_font". It stands for +% fontdefinition of the caption and the text itself. +% +% "\spnewtheorem*" gives a theorem without number. +% +% A defined spnewthoerem environment is used as described +% by Lamport. +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\def\@thmcountersep{} +\def\@thmcounterend{} +\newcommand\nocaption{\noexpand\@gobble} +\newdimen\spthmsep \spthmsep=5pt + +\def\spnewtheorem{\@ifstar{\@sthm}{\@Sthm}} + +% definition of \spnewtheorem with number + +\def\@spnthm#1#2{% + \@ifnextchar[{\@spxnthm{#1}{#2}}{\@spynthm{#1}{#2}}} +\def\@Sthm#1{\@ifnextchar[{\@spothm{#1}}{\@spnthm{#1}}} + +\def\@spxnthm#1#2[#3]#4#5{\expandafter\@ifdefinable\csname #1\endcsname + {\@definecounter{#1}\@addtoreset{#1}{#3}% + \expandafter\xdef\csname the#1\endcsname{\expandafter\noexpand + \csname the#3\endcsname \noexpand\@thmcountersep \@thmcounter{#1}}% + \expandafter\xdef\csname #1name\endcsname{#2}% + \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}% + \global\@namedef{end#1}{\@endtheorem}}} + +\def\@spynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname + {\@definecounter{#1}% + \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}% + \expandafter\xdef\csname #1name\endcsname{#2}% + \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#3}{#4}}% + \global\@namedef{end#1}{\@endtheorem}}} + +\def\@spothm#1[#2]#3#4#5{% + \@ifundefined{c@#2}{\@latexerr{No theorem environment `#2' defined}\@eha}% + {\expandafter\@ifdefinable\csname #1\endcsname + {\global\@namedef{the#1}{\@nameuse{the#2}}% + \expandafter\xdef\csname #1name\endcsname{#3}% + \global\@namedef{#1}{\@spthm{#2}{\csname #1name\endcsname}{#4}{#5}}% + \global\@namedef{end#1}{\@endtheorem}}}} + +\def\@spthm#1#2#3#4{\topsep 7\p@ \@plus2\p@ \@minus4\p@ +\labelsep=\spthmsep\refstepcounter{#1}% +\@ifnextchar[{\@spythm{#1}{#2}{#3}{#4}}{\@spxthm{#1}{#2}{#3}{#4}}} + +\def\@spxthm#1#2#3#4{\@spbegintheorem{#2}{\csname the#1\endcsname}{#3}{#4}% + \ignorespaces} + +\def\@spythm#1#2#3#4[#5]{\@spopargbegintheorem{#2}{\csname + the#1\endcsname}{#5}{#3}{#4}\ignorespaces} + +\def\normalthmheadings{\def\@spbegintheorem##1##2##3##4{\trivlist\normalfont + \item[\hskip\labelsep{##3##1\ ##2\@thmcounterend}]##4} +\def\@spopargbegintheorem##1##2##3##4##5{\trivlist + \item[\hskip\labelsep{##4##1\ ##2}]{##4(##3)\@thmcounterend\ }##5}} +\normalthmheadings + +\def\reversethmheadings{\def\@spbegintheorem##1##2##3##4{\trivlist\normalfont + \item[\hskip\labelsep{##3##2\ ##1\@thmcounterend}]##4} +\def\@spopargbegintheorem##1##2##3##4##5{\trivlist + \item[\hskip\labelsep{##4##2\ ##1}]{##4(##3)\@thmcounterend\ }##5}} + +% definition of \spnewtheorem* without number + +\def\@sthm#1#2{\@Ynthm{#1}{#2}} + +\def\@Ynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname + {\global\@namedef{#1}{\@Thm{\csname #1name\endcsname}{#3}{#4}}% + \expandafter\xdef\csname #1name\endcsname{#2}% + \global\@namedef{end#1}{\@endtheorem}}} + +\def\@Thm#1#2#3{\topsep 7\p@ \@plus2\p@ \@minus4\p@ +\@ifnextchar[{\@Ythm{#1}{#2}{#3}}{\@Xthm{#1}{#2}{#3}}} + +\def\@Xthm#1#2#3{\@Begintheorem{#1}{#2}{#3}\ignorespaces} + +\def\@Ythm#1#2#3[#4]{\@Opargbegintheorem{#1} + {#4}{#2}{#3}\ignorespaces} + +\def\@Begintheorem#1#2#3{#3\trivlist + \item[\hskip\labelsep{#2#1\@thmcounterend}]} + +\def\@Opargbegintheorem#1#2#3#4{#4\trivlist + \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }} + +% initialize theorem environment + +\if@envcntsect + \def\@thmcountersep{.} + \spnewtheorem{theorem}{Theorem}[section]{\bfseries}{\itshape} +\else + \spnewtheorem{theorem}{Theorem}{\bfseries}{\itshape} + \if@envcntreset + \@addtoreset{theorem}{section} + \else + \@addtoreset{theorem}{chapter} + \fi +\fi + +%definition of divers theorem environments +\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily} +\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily} +\if@envcntsame % all environments like "Theorem" - using its counter + \def\spn@wtheorem#1#2#3#4{\@spothm{#1}[theorem]{#2}{#3}{#4}} +\else % all environments with their own counter + \if@envcntsect % show section counter + \def\spn@wtheorem#1#2#3#4{\@spxnthm{#1}{#2}[section]{#3}{#4}} + \else % not numbered with section + \if@envcntreset + \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4} + \@addtoreset{#1}{section}} + \else + \let\spn@wtheorem=\@spynthm + \fi + \fi +\fi +% +\let\spdefaulttheorem=\spn@wtheorem +% +\spn@wtheorem{case}{Case}{\itshape}{\rmfamily} +\spn@wtheorem{conjecture}{Conjecture}{\itshape}{\rmfamily} +\spn@wtheorem{corollary}{Corollary}{\bfseries}{\itshape} +\spn@wtheorem{definition}{Definition}{\bfseries}{\rmfamily} +\spn@wtheorem{example}{Example}{\itshape}{\rmfamily} +\spn@wtheorem{exercise}{Exercise}{\bfseries}{\rmfamily} +\spn@wtheorem{lemma}{Lemma}{\bfseries}{\itshape} +\spn@wtheorem{note}{Note}{\itshape}{\rmfamily} +\spn@wtheorem{problem}{Problem}{\bfseries}{\rmfamily} +\spn@wtheorem{property}{Property}{\itshape}{\rmfamily} +\spn@wtheorem{proposition}{Proposition}{\bfseries}{\itshape} +\spn@wtheorem{question}{Question}{\itshape}{\rmfamily} +\spn@wtheorem{solution}{Solution}{\bfseries}{\rmfamily} +\spn@wtheorem{remark}{Remark}{\itshape}{\rmfamily} +% +\newenvironment{theopargself} + {\def\@spopargbegintheorem##1##2##3##4##5{\trivlist + \item[\hskip\labelsep{##4##1\ ##2}]{##4##3\@thmcounterend\ }##5} + \def\@Opargbegintheorem##1##2##3##4{##4\trivlist + \item[\hskip\labelsep{##3##1}]{##3##2\@thmcounterend\ }}}{} +\newenvironment{theopargself*} + {\def\@spopargbegintheorem##1##2##3##4##5{\trivlist + \item[\hskip\labelsep{##4##1\ ##2}]{\hspace*{-\labelsep}##4##3\@thmcounterend}##5} + \def\@Opargbegintheorem##1##2##3##4{##4\trivlist + \item[\hskip\labelsep{##3##1}]{\hspace*{-\labelsep}##3##2\@thmcounterend}}}{} +% +\fi + +\def\@takefromreset#1#2{% + \def\@tempa{#1}% + \let\@tempd\@elt + \def\@elt##1{% + \def\@tempb{##1}% + \ifx\@tempa\@tempb\else + \@addtoreset{##1}{#2}% + \fi}% + \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname + \expandafter\def\csname cl@#2\endcsname{}% + \@tempc + \let\@elt\@tempd} + +\def\squareforqed{\hbox{\rlap{$\sqcap$}$\sqcup$}} +\def\qed{\ifmmode\else\unskip\quad\fi\squareforqed} +\def\smartqed{\def\qed{\ifmmode\squareforqed\else{\unskip\nobreak\hfil +\penalty50\hskip1em\null\nobreak\hfil\squareforqed +\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}} + +% Define `abstract' environment +\def\abstract{\topsep=0pt\partopsep=0pt\parsep=0pt\itemsep=0pt\relax +\trivlist\item[\hskip\labelsep +{\bfseries\abstractname}]\if!\abstractname!\hskip-\labelsep\fi} +\if@twocolumn +% \if@avier +% \def\endabstract{\endtrivlist\addvspace{5mm}\strich} +% \def\strich{\hrule\vskip1ptplus12pt} +% \else + \def\endabstract{\endtrivlist\addvspace{3mm}} +% \fi +\else +\fi +% +\newenvironment{verse} + {\let\\\@centercr + \list{}{\itemsep \z@ + \itemindent -1.5em% + \listparindent\itemindent + \rightmargin \leftmargin + \advance\leftmargin 1.5em}% + \item\relax} + {\endlist} +\newenvironment{quotation} + {\list{}{\listparindent 1.5em% + \itemindent \listparindent + \rightmargin \leftmargin + \parsep \z@ \@plus\p@}% + \item\relax} + {\endlist} +\newenvironment{quote} + {\list{}{\rightmargin\leftmargin}% + \item\relax} + {\endlist} +\newcommand\appendix{\par\small + \setcounter{section}{0}% + \setcounter{subsection}{0}% + \renewcommand\thesection{\@Alph\c@section}} +\setlength\arraycolsep{1.5\p@} +\setlength\tabcolsep{6\p@} +\setlength\arrayrulewidth{.4\p@} +\setlength\doublerulesep{2\p@} +\setlength\tabbingsep{\labelsep} +\skip\@mpfootins = \skip\footins +\setlength\fboxsep{3\p@} +\setlength\fboxrule{.4\p@} +\renewcommand\theequation{\@arabic\c@equation} +\newcounter{figure} +\renewcommand\thefigure{\@arabic\c@figure} +\def\fps@figure{tbp} +\def\ftype@figure{1} +\def\ext@figure{lof} +\def\fnum@figure{\figurename~\thefigure} +\newenvironment{figure} + {\@float{figure}} + {\end@float} +\newenvironment{figure*} + {\@dblfloat{figure}} + {\end@dblfloat} +\newcounter{table} +\renewcommand\thetable{\@arabic\c@table} +\def\fps@table{tbp} +\def\ftype@table{2} +\def\ext@table{lot} +\def\fnum@table{\tablename~\thetable} +\newenvironment{table} + {\@float{table}} + {\end@float} +\newenvironment{table*} + {\@dblfloat{table}} + {\end@dblfloat} +% +\def \@floatboxreset {% + \reset@font + \small + \@setnobreak + \@setminipage +} +% +\newcommand{\tableheadseprule}{\noalign{\hrule height.375mm}} +% +\newlength\abovecaptionskip +\newlength\belowcaptionskip +\setlength\abovecaptionskip{10\p@} +\setlength\belowcaptionskip{0\p@} +\newcommand\leftlegendglue{} + +\def\fig@type{figure} + +\newdimen\figcapgap\figcapgap=3pt +\newdimen\tabcapgap\tabcapgap=5.5pt + +\@ifundefined{floatlegendstyle}{\def\floatlegendstyle{\bfseries}}{} + +\long\def\@caption#1[#2]#3{\par\addcontentsline{\csname + ext@#1\endcsname}{#1}{\protect\numberline{\csname + the#1\endcsname}{\ignorespaces #2}}\begingroup + \@parboxrestore + \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par + \endgroup} + +\def\capstrut{\vrule\@width\z@\@height\topskip} + +\@ifundefined{captionstyle}{\def\captionstyle{\normalfont\small}}{} + +\long\def\@makecaption#1#2{% + \captionstyle + \ifx\@captype\fig@type + \vskip\figcapgap + \fi + \setbox\@tempboxa\hbox{{\floatlegendstyle #1\floatcounterend}% + \capstrut #2}% + \ifdim \wd\@tempboxa >\hsize + {\floatlegendstyle #1\floatcounterend}\capstrut #2\par + \else + \hbox to\hsize{\leftlegendglue\unhbox\@tempboxa\hfil}% + \fi + \ifx\@captype\fig@type\else + \vskip\tabcapgap + \fi} + +\newdimen\figgap\figgap=1cc +\long\def\@makesidecaption#1#2{% + \parbox[b]{\@tempdimb}{\captionstyle{\floatlegendstyle + #1\floatcounterend}#2}} +\def\sidecaption#1\caption{% +\setbox\@tempboxa=\hbox{#1\unskip}% +\if@twocolumn + \ifdim\hsize<\textwidth\else + \ifdim\wd\@tempboxa<\columnwidth + \typeout{Double column float fits into single column - + ^^Jyou'd better switch the environment. }% + \fi + \fi +\fi +\@tempdimb=\hsize +\advance\@tempdimb by-\figgap +\advance\@tempdimb by-\wd\@tempboxa +\ifdim\@tempdimb<3cm + \typeout{\string\sidecaption: No sufficient room for the legend; + using normal \string\caption. }% + \unhbox\@tempboxa + \let\@capcommand=\@caption +\else + \let\@capcommand=\@sidecaption + \leavevmode + \unhbox\@tempboxa + \hfill +\fi +\refstepcounter\@captype +\@dblarg{\@capcommand\@captype}} + +\long\def\@sidecaption#1[#2]#3{\addcontentsline{\csname + ext@#1\endcsname}{#1}{\protect\numberline{\csname + the#1\endcsname}{\ignorespaces #2}}\begingroup + \@parboxrestore + \@makesidecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par + \endgroup} + +% Define `acknowledgement' environment +\def\acknowledgement{\par\addvspace{17pt}\small\rmfamily +\trivlist\if!\ackname!\item[]\else +\item[\hskip\labelsep +{\bfseries\ackname}]\fi} +\def\endacknowledgement{\endtrivlist\addvspace{6pt}} +\newenvironment{acknowledgements}{\begin{acknowledgement}} +{\end{acknowledgement}} +% Define `noteadd' environment +\def\noteadd{\par\addvspace{17pt}\small\rmfamily +\trivlist\item[\hskip\labelsep +{\itshape\noteaddname}]} +\def\endnoteadd{\endtrivlist\addvspace{6pt}} + +\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm} +\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf} +\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt} +\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf} +\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit} +\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl} +\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc} +\DeclareRobustCommand*\cal{\@fontswitch\relax\mathcal} +\DeclareRobustCommand*\mit{\@fontswitch\relax\mathnormal} +\newcommand\@pnumwidth{1.55em} +\newcommand\@tocrmarg{2.55em} +\newcommand\@dotsep{4.5} +\setcounter{tocdepth}{1} +\newcommand\tableofcontents{% + \section*{\contentsname}% + \@starttoc{toc}% + \addtocontents{toc}{\begingroup\protect\small}% + \AtEndDocument{\addtocontents{toc}{\endgroup}}% + } +\newcommand*\l@part[2]{% + \ifnum \c@tocdepth >-2\relax + \addpenalty\@secpenalty + \addvspace{2.25em \@plus\p@}% + \begingroup + \setlength\@tempdima{3em}% + \parindent \z@ \rightskip \@pnumwidth + \parfillskip -\@pnumwidth + {\leavevmode + \large \bfseries #1\hfil \hb@xt@\@pnumwidth{\hss #2}}\par + \nobreak + \if@compatibility + \global\@nobreaktrue + \everypar{\global\@nobreakfalse\everypar{}}% + \fi + \endgroup + \fi} +\newcommand*\l@section{\@dottedtocline{1}{0pt}{1.5em}} +\newcommand*\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}} +\newcommand*\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}} +\newcommand*\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}} +\newcommand*\l@subparagraph{\@dottedtocline{5}{10em}{5em}} +\newcommand\listoffigures{% + \section*{\listfigurename + \@mkboth{\listfigurename}% + {\listfigurename}}% + \@starttoc{lof}% + } +\newcommand*\l@figure{\@dottedtocline{1}{1.5em}{2.3em}} +\newcommand\listoftables{% + \section*{\listtablename + \@mkboth{\listtablename}{\listtablename}}% + \@starttoc{lot}% + } +\let\l@table\l@figure +\newdimen\bibindent +\setlength\bibindent{\parindent} +\def\@biblabel#1{#1.} +\def\@lbibitem[#1]#2{\item[{[#1]}\hfill]\if@filesw + {\let\protect\noexpand + \immediate + \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces} +\newenvironment{thebibliography}[1] + {\section*{\refname + \@mkboth{\refname}{\refname}}\small + \list{\@biblabel{\@arabic\c@enumiv}}% + {\settowidth\labelwidth{\@biblabel{#1}}% + \leftmargin\labelwidth + \advance\leftmargin\labelsep + \@openbib@code + \usecounter{enumiv}% + \let\p@enumiv\@empty + \renewcommand\theenumiv{\@arabic\c@enumiv}}% + \sloppy\clubpenalty4000\widowpenalty4000% + \sfcode`\.\@m} + {\def\@noitemerr + {\@latex@warning{Empty `thebibliography' environment}}% + \endlist} +% +\newcount\@tempcntc +\def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi + \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do + {\@ifundefined + {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bfseries + ?}\@warning + {Citation `\@citeb' on page \thepage \space undefined}}% + {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}% + \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne + \@citea\def\@citea{,\hskip0.1em\ignorespaces}\hbox{\csname b@\@citeb\endcsname}% + \else + \advance\@tempcntb\@ne + \ifnum\@tempcntb=\@tempcntc + \else\advance\@tempcntb\m@ne\@citeo + \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}} +\def\@citeo{\ifnum\@tempcnta>\@tempcntb\else + \@citea\def\@citea{,\hskip0.1em\ignorespaces}% + \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else + {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else \def\@citea{--}\fi + \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi} +% +\newcommand\newblock{\hskip .11em\@plus.33em\@minus.07em} +\let\@openbib@code\@empty +\newenvironment{theindex} + {\if@twocolumn + \@restonecolfalse + \else + \@restonecoltrue + \fi + \columnseprule \z@ + \columnsep 35\p@ + \twocolumn[\section*{\indexname}]% + \@mkboth{\indexname}{\indexname}% + \thispagestyle{plain}\parindent\z@ + \parskip\z@ \@plus .3\p@\relax + \let\item\@idxitem} + {\if@restonecol\onecolumn\else\clearpage\fi} +\newcommand\@idxitem{\par\hangindent 40\p@} +\newcommand\subitem{\@idxitem \hspace*{20\p@}} +\newcommand\subsubitem{\@idxitem \hspace*{30\p@}} +\newcommand\indexspace{\par \vskip 10\p@ \@plus5\p@ \@minus3\p@\relax} + +\if@twocolumn + \renewcommand\footnoterule{% + \kern-3\p@ + \hrule\@width\columnwidth + \kern2.6\p@} +\else + \renewcommand\footnoterule{% + \kern-3\p@ + \hrule\@width.382\columnwidth + \kern2.6\p@} +\fi +\newcommand\@makefntext[1]{% + \noindent + \hb@xt@\bibindent{\hss\@makefnmark\enspace}#1} +% +\def\trans@english{\switcht@albion} +\def\trans@french{\switcht@francais} +\def\trans@german{\switcht@deutsch} +\newenvironment{translation}[1]{\if!#1!\else +\@ifundefined{selectlanguage}{\csname trans@#1\endcsname}{\selectlanguage{#1}}% +\fi}{} +% languages +% English section +\def\switcht@albion{%\typeout{English spoken.}% + \def\abstractname{Abstract}% + \def\ackname{Acknowledgements}% + \def\andname{and}% + \def\lastandname{, and}% + \def\appendixname{Appendix}% + \def\chaptername{Chapter}% + \def\claimname{Claim}% + \def\conjecturename{Conjecture}% + \def\contentsname{Contents}% + \def\corollaryname{Corollary}% + \def\definitionname{Definition}% + \def\emailname{E-mail}% + \def\examplename{Example}% + \def\exercisename{Exercise}% + \def\figurename{Fig.}% + \def\keywordname{{\bfseries Keywords}}% + \def\indexname{Index}% + \def\lemmaname{Lemma}% + \def\contriblistname{List of Contributors}% + \def\listfigurename{List of Figures}% + \def\listtablename{List of Tables}% + \def\mailname{{\itshape Correspondence to\/}:}% + \def\noteaddname{Note added in proof}% + \def\notename{Note}% + \def\partname{Part}% + \def\problemname{Problem}% + \def\proofname{Proof}% + \def\propertyname{Property}% + \def\questionname{Question}% + \def\refname{References}% + \def\remarkname{Remark}% + \def\seename{see}% + \def\solutionname{Solution}% + \def\tablename{Table}% + \def\theoremname{Theorem}% +}\switcht@albion % make English default +% +% French section +\def\switcht@francais{\svlanginfo +%\typeout{On parle francais.}% + \def\abstractname{R\'esum\'e\runinend}% + \def\ackname{Remerciements\runinend}% + \def\andname{et}% + \def\lastandname{ et}% + \def\appendixname{Appendice}% + \def\chaptername{Chapitre}% + \def\claimname{Pr\'etention}% + \def\conjecturename{Hypoth\`ese}% + \def\contentsname{Table des mati\`eres}% + \def\corollaryname{Corollaire}% + \def\definitionname{D\'efinition}% + \def\emailname{E-mail}% + \def\examplename{Exemple}% + \def\exercisename{Exercice}% + \def\figurename{Fig.}% + \def\keywordname{{\bfseries Mots-cl\'e\runinend}}% + \def\indexname{Index}% + \def\lemmaname{Lemme}% + \def\contriblistname{Liste des contributeurs}% + \def\listfigurename{Liste des figures}% + \def\listtablename{Liste des tables}% + \def\mailname{{\itshape Correspondence to\/}:}% + \def\noteaddname{Note ajout\'ee \`a l'\'epreuve}% + \def\notename{Remarque}% + \def\partname{Partie}% + \def\problemname{Probl\`eme}% + \def\proofname{Preuve}% + \def\propertyname{Caract\'eristique}% +%\def\propositionname{Proposition}% + \def\questionname{Question}% + \def\refname{Bibliographie}% + \def\remarkname{Remarque}% + \def\seename{voyez}% + \def\solutionname{Solution}% +%\def\subclassname{{\it Subject Classifications\/}:}% + \def\tablename{Tableau}% + \def\theoremname{Th\'eor\`eme}% +} +% +% German section +\def\switcht@deutsch{\svlanginfo +%\typeout{Man spricht deutsch.}% + \def\abstractname{Zusammenfassung\runinend}% + \def\ackname{Danksagung\runinend}% + \def\andname{und}% + \def\lastandname{ und}% + \def\appendixname{Anhang}% + \def\chaptername{Kapitel}% + \def\claimname{Behauptung}% + \def\conjecturename{Hypothese}% + \def\contentsname{Inhaltsverzeichnis}% + \def\corollaryname{Korollar}% +%\def\definitionname{Definition}% + \def\emailname{E-Mail}% + \def\examplename{Beispiel}% + \def\exercisename{\"Ubung}% + \def\figurename{Abb.}% + \def\keywordname{{\bfseries Schl\"usselw\"orter\runinend}}% + \def\indexname{Index}% +%\def\lemmaname{Lemma}% + \def\contriblistname{Mitarbeiter}% + \def\listfigurename{Abbildungsverzeichnis}% + \def\listtablename{Tabellenverzeichnis}% + \def\mailname{{\itshape Correspondence to\/}:}% + \def\noteaddname{Nachtrag}% + \def\notename{Anmerkung}% + \def\partname{Teil}% +%\def\problemname{Problem}% + \def\proofname{Beweis}% + \def\propertyname{Eigenschaft}% +%\def\propositionname{Proposition}% + \def\questionname{Frage}% + \def\refname{Literatur}% + \def\remarkname{Anmerkung}% + \def\seename{siehe}% + \def\solutionname{L\"osung}% +%\def\subclassname{{\it Subject Classifications\/}:}% + \def\tablename{Tabelle}% +%\def\theoremname{Theorem}% +} +\newcommand\today{} +\edef\today{\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} +\setlength\columnsep{1.5cc} +\setlength\columnseprule{0\p@} +% +\frenchspacing +\clubpenalty=10000 +\widowpenalty=10000 +\def\thisbottomragged{\def\@textbottom{\vskip\z@ plus.0001fil +\global\let\@textbottom\relax}} +\pagestyle{headings} +\pagenumbering{arabic} +\if@twocolumn + \twocolumn +\fi +%\if@avier +% \onecolumn +% \setlength{\textwidth}{156mm} +% \setlength{\textheight}{226mm} +%\fi +\if@referee + \makereferee +\fi +\flushbottom +\endinput +%% +%% End of file `svjour3.cls'. diff --git a/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/template-svjour3-UNSUPPORTED.thy b/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/template-svjour3-UNSUPPORTED.thy new file mode 100644 index 0000000..e764327 --- /dev/null +++ b/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/template-svjour3-UNSUPPORTED.thy @@ -0,0 +1,13 @@ +theory + "template-svjour3-UNSUPPORTED" +imports + "Isabelle_DOF-Ontologies.document_templates" + Isabelle_DOF.scholarly_paper +begin + +list_templates +use_template "svjour3-UNSUPPORTED" +list_ontologies +use_ontology "scholarly_paper" + +end