2989
|
1 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
2 |
%% Modification log
|
|
3 |
%%
|
|
4 |
%% 2004/03/25 v0.1 based on amsart.cls, inspired by jair.sty
|
|
5 |
%% 2004/09/01 v0.2 based on amsart.cls
|
|
6 |
%% 2004/10/12 v0.3 based on amsart.cls
|
|
7 |
%% 2004/12/16 v0.4 based on amsart.cls
|
|
8 |
%% 2005/01/24 v0.5 based on amsart.cls
|
|
9 |
%% 2005/03/10 v0.6 based on amsart.cls
|
|
10 |
%% 2006/07/24 v0.7 based on amsart.cls
|
|
11 |
%% 2007/11/13 v0.8 based on amsart.cls
|
|
12 |
%%
|
|
13 |
%% Juergen Koslowski, Stefan Milius
|
|
14 |
%%
|
|
15 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
16 |
|
|
17 |
\NeedsTeXFormat{LaTeX2e}
|
|
18 |
\ProvidesClass{lmcs}
|
|
19 |
[2009/05/25 v0.8 LMCS Layout Editor Class]
|
|
20 |
\DeclareOption*{\PassOptionsToClass{\CurrentOption}{amsart}}
|
|
21 |
\ProcessOptions\relax
|
|
22 |
|
|
23 |
\LoadClass[11pt,reqno]{amsart}
|
|
24 |
\usepackage{helvet,cclicenses}
|
|
25 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
26 |
% Use of this class, cf. also lmcs-smp.tex
|
|
27 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
28 |
%
|
|
29 |
% This class builds upon the amsart class of AMS-LaTeX and requires use
|
|
30 |
% of LaTeX 2e.
|
|
31 |
%
|
|
32 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
33 |
% Start of the paper
|
|
34 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
35 |
%
|
|
36 |
% \documentclass{lmcs}
|
|
37 |
%
|
|
38 |
% without any options followed optionally by
|
|
39 |
%
|
|
40 |
% \usepackage{package1,package2,...}
|
|
41 |
%
|
|
42 |
% loading additional macro packages you may wish to use, (eg, xypic, etc.)
|
|
43 |
% (This also is the place to define further theorem-environments, in case
|
|
44 |
% those provided by default do not suffice, cf. below.)
|
|
45 |
%
|
|
46 |
% \begin{document}
|
|
47 |
% \title[short_title]{real title}
|
|
48 |
%
|
|
49 |
% and a list of author information of the form
|
|
50 |
%
|
|
51 |
% \author[short_author1]{Author 1}
|
|
52 |
% \address{address 1}
|
|
53 |
% \email{author1@email1}
|
|
54 |
% \thanks{thanks 1}
|
|
55 |
%
|
|
56 |
% \author[short_author2]{Author 2}
|
|
57 |
% \address{address 2}
|
|
58 |
% \email{author2@email2}
|
|
59 |
% \thanks{thanks 2}
|
|
60 |
%
|
|
61 |
% \author[short_author3]{Author 3}
|
|
62 |
% \address{address 3}
|
|
63 |
% \email{author3@email3}
|
|
64 |
% \thanks{thanks 3}
|
|
65 |
%
|
|
66 |
% The \email and \thanks fields are optional. The \thanks fields appear
|
|
67 |
% in footnotes on the title page, the addresses and email information
|
|
68 |
% is relegated to the end of the article. The optional arguments to
|
|
69 |
% the \title and \author macros determine a running head on the odd
|
|
70 |
% and even pages, respectively.
|
|
71 |
%
|
|
72 |
% Lists of keywords and phrases as well as an ACM Subject
|
|
73 |
% classification are mandatory; these appear in footnotes on the
|
|
74 |
% title page, preceeding any \thanks fields.
|
|
75 |
%
|
|
76 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
77 |
% Body of the paper
|
|
78 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
79 |
%
|
|
80 |
% We encourage the use of LaTeX's crossreferencing capabilities with the
|
|
81 |
% \label and \ref commands, for sections, subsections, theorems etc., and
|
|
82 |
% displayed equations and figures.
|
|
83 |
%
|
|
84 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
85 |
% Theorems, Definitions etc.
|
|
86 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
87 |
%
|
|
88 |
% The following theorem-like environments are available. The
|
|
89 |
% numbering is consecutive within sections.
|
|
90 |
%
|
|
91 |
% thm Theorem
|
|
92 |
% cor Corollary
|
|
93 |
% lem Lemma
|
|
94 |
% prop Proposition
|
|
95 |
% asm Asumption
|
|
96 |
%
|
|
97 |
% defi Definition
|
|
98 |
% rem Remark
|
|
99 |
% rems Remarks (intended for use with itemized remarks)
|
|
100 |
% exa Example
|
|
101 |
% exas Examples (intended for use with itemized examples)
|
|
102 |
% conj Conjecture
|
|
103 |
% prob Problem
|
|
104 |
% oprob Open Problem
|
|
105 |
% algo Algorithm
|
|
106 |
% obs Observation
|
|
107 |
%
|
|
108 |
% If you require additional environments, you can add them before
|
|
109 |
% \begin{document} by means of
|
|
110 |
%
|
|
111 |
% \theoremstyle{plain}\newtheorem{env}[thm]{Environment}
|
|
112 |
%
|
|
113 |
% or
|
|
114 |
%
|
|
115 |
% \theoremstyle{definition}\newtheorem{env}[thm]{Environment}
|
|
116 |
%
|
|
117 |
% In the first case the font within the new environment will be italicised.
|
|
118 |
%
|
|
119 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
120 |
% Proofs
|
|
121 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
122 |
%
|
|
123 |
% Proofs start with the command \proof and should be ended by \qed,
|
|
124 |
% which provides an end-of-proof box at the right margin:
|
|
125 |
%
|
|
126 |
% \proof ... \qed
|
|
127 |
%
|
|
128 |
% In itemized or enumerated proofs the \qed command has to occur BEFORE
|
|
129 |
% \end{itemize} or \end{enumerate} to ensure proper placement of the box:
|
|
130 |
%
|
|
131 |
% \proof
|
|
132 |
% \begin{itemize}
|
|
133 |
% \item[(1)] ...
|
|
134 |
% \item[(2)] ...
|
|
135 |
% ...
|
|
136 |
% \item[(n)] ... \qed
|
|
137 |
% \end{itemize}
|
|
138 |
%
|
|
139 |
% Similarly, the box may be used within theorem environments, when no
|
|
140 |
% explicit proof is given:
|
|
141 |
%
|
|
142 |
% \begin{thm} ... \qed \end{thm}
|
|
143 |
%
|
|
144 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
145 |
% Itemized or enumerated environments and proofs
|
|
146 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
147 |
%
|
|
148 |
% By default, the first item of an itemized (or enumerated) environment
|
|
149 |
% or proof appears inlined on the same line as the environment title.
|
|
150 |
% This can be prevented by placing \hfill before the itemization, e.g.:
|
|
151 |
%
|
|
152 |
% \begin{thm}\label{T:abc}\hfill
|
|
153 |
% \begin{itemize} ...
|
|
154 |
%
|
|
155 |
% \proof\hfill
|
|
156 |
% \begin{itemize} ...
|
|
157 |
|
|
158 |
|
|
159 |
%
|
|
160 |
% End of the paper
|
|
161 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
162 |
%
|
|
163 |
% Acknowledgements should be placed in a non-numbered section:
|
|
164 |
%
|
|
165 |
% \section*{Acknowledgement}
|
|
166 |
%
|
|
167 |
% The bibliography uses alpha.bst where references are built from the
|
|
168 |
% authors' initials and the year of publication. The use of bibtex
|
|
169 |
% for creating the bibliography is strongly encouraged. Then the
|
|
170 |
% end of the paper takes the form
|
|
171 |
%
|
|
172 |
% \begin{thebibliography}{key}
|
|
173 |
% \end{thebibliography}
|
|
174 |
% \end{document}
|
|
175 |
%
|
|
176 |
% where ``key'' is the longest alphanumerical key expected to occur.
|
|
177 |
%
|
|
178 |
% Optionally, appendices can be inserted after the bibliography by
|
|
179 |
% means of
|
|
180 |
%
|
|
181 |
% \end{thebibliography}
|
|
182 |
% \appendix
|
|
183 |
% \section{} % Appendix A
|
|
184 |
% \section{} % Appendix B
|
|
185 |
% % etc.
|
|
186 |
% \end{document}
|
|
187 |
|
|
188 |
|
|
189 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
190 |
%%% actual macros
|
|
191 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
192 |
|
|
193 |
\count255=\the\catcode`\@ \catcode`\@=11 \edef\catc@de{\the\count255}
|
|
194 |
|
|
195 |
\newif\ifsuPer \suPertrue
|
|
196 |
\def\rsuper#1{\ifsuPer${\,}^{\MakeLowercase #1}$\fi}%
|
|
197 |
\def\lsuper#1{\ \hskip-2 pt\ifsuPer\llap{${}^{\MakeLowercase #1}\ $\fi}}%
|
|
198 |
|
|
199 |
\def\titlecomment#1{\def\@titlecomment{#1}}
|
|
200 |
\let\@titlecomment=\@empty
|
|
201 |
\renewcommand{\sfdefault}{phv}
|
|
202 |
\renewcommand*\subjclass[2][1991]{%
|
|
203 |
\def\@subjclass{#2}%
|
|
204 |
\@ifundefined{subjclassname@#1}{%
|
|
205 |
\ClassWarning{\@classname}{Unknown edition (#1) of ACM
|
|
206 |
Subject Classification; using '1991'.}%
|
|
207 |
}{%
|
|
208 |
\@xp\let\@xp\subjclassname\csname subjclassname@1998\endcsname
|
|
209 |
}%
|
|
210 |
}
|
|
211 |
\@namedef{subjclassname@1998}{1998 ACM Subject Classification}
|
|
212 |
\newcommand{\revisionname}{Revision Note}
|
|
213 |
\newbox\revisionbox
|
|
214 |
\newenvironment{revision}{%
|
|
215 |
\ifx\maketitle\relax
|
|
216 |
\ClassWarning{\@classname}{Revision should precede
|
|
217 |
\protect\maketitle\space in LMCS documentclasses; reported}%
|
|
218 |
\fi
|
|
219 |
\global\setbox\revisionbox=\vtop \bgroup
|
|
220 |
\normalfont\Small
|
|
221 |
\list{}{\labelwidth\z@
|
|
222 |
\leftmargin3pc \rightmargin\leftmargin
|
|
223 |
\listparindent\normalparindent \itemindent\z@
|
|
224 |
\parsep\z@ \@plus\p@
|
|
225 |
\let\fullwidthdisplay\relax
|
|
226 |
}%
|
|
227 |
\item[\hskip\labelsep\scshape\revisionname.]%
|
|
228 |
}{%
|
|
229 |
\endlist\egroup
|
|
230 |
\ifx\@setrevision\relax \@setrevisiona \fi
|
|
231 |
}
|
|
232 |
\def\@setrevision{\@setrevisiona \global\let\@setrevision\relax}
|
|
233 |
\def\@setrevisiona{%
|
|
234 |
\ifvoid\revisionbox
|
|
235 |
\else
|
|
236 |
\skip@20\p@ \advance\skip@-\lastskip
|
|
237 |
\advance\skip@-\baselineskip \vskip\skip@
|
|
238 |
\box\revisionbox
|
|
239 |
\prevdepth\z@ % because \revisionbox is a vtop
|
|
240 |
\bigskip\hrule\medskip
|
|
241 |
\fi
|
|
242 |
}
|
|
243 |
\def\@setsubjclass{%
|
|
244 |
{\itshape\subjclassname:}\enspace\@subjclass\@addpunct.}
|
|
245 |
\def\@setkeywords{%
|
|
246 |
{\itshape \keywordsname:}\enspace \@keywords\@addpunct.}
|
|
247 |
\def\@settitlecomment{\@titlecomment\@addpunct.}
|
|
248 |
\def\@maketitle{%
|
|
249 |
\normalfont\normalsize
|
|
250 |
\let\@makefnmark\relax \let\@thefnmark\relax
|
|
251 |
\ifx\@empty\@date\else \@footnotetext{\@setdate}\fi
|
|
252 |
\ifx\@empty\@subjclass\else \@footnotetext{\@setsubjclass}\fi
|
|
253 |
\ifx\@empty\@keywords\else \@footnotetext{\@setkeywords}\fi
|
|
254 |
\ifx\@empty\@titlecomment\else \@footnotetext{\@settitlecomment}\fi
|
|
255 |
\ifx\@empty\thankses\else \@footnotetext{%
|
|
256 |
\def\par{\let\par\@par}\@setthanks\par}\fi
|
|
257 |
\@mkboth{\@nx\shortauthors}{\@nx\shorttitle}%
|
|
258 |
\global\topskip12\p@\relax % 5.5pc " " " " "
|
|
259 |
\topskip42 pt\@settitle
|
|
260 |
\ifx\@empty\authors \else \@setauthors \fi
|
|
261 |
\@setaddresses
|
|
262 |
\ifx\@empty\@dedicatory
|
|
263 |
\else
|
|
264 |
\baselineskip18\p@
|
|
265 |
\vtop{\centering{\footnotesize\itshape\@dedicatory\@@par}%
|
|
266 |
\global\dimen@i\prevdepth}\prevdepth\dimen@i
|
|
267 |
\fi
|
|
268 |
\endfront@text
|
|
269 |
\bigskip\hrule\medskip
|
|
270 |
\@setrevision
|
|
271 |
\@setabstract
|
|
272 |
\vskip-\bigskipamount
|
|
273 |
\normalsize
|
|
274 |
\if@titlepage
|
|
275 |
\newpage
|
|
276 |
\else
|
|
277 |
\dimen@34\p@ \advance\dimen@-\baselineskip
|
|
278 |
\vskip\dimen@\relax
|
|
279 |
\fi
|
|
280 |
}
|
|
281 |
\def\@setaddresses{\par
|
|
282 |
\nobreak \begingroup
|
|
283 |
\footnotesize
|
|
284 |
\def\author##1{\nobreak\addvspace\bigskipamount}%
|
|
285 |
\def\\{\unskip, \ignorespaces}%
|
|
286 |
\interlinepenalty\@M
|
|
287 |
\def\address##1##2{\begingroup
|
|
288 |
\par\addvspace\bigskipamount\noindent\narrower
|
|
289 |
\@ifnotempty{##1}{(\ignorespaces##1\unskip) }%
|
|
290 |
{\ignorespaces##2}\par\endgroup}%
|
|
291 |
\def\curraddr##1##2{\begingroup
|
|
292 |
\@ifnotempty{##2}{\nobreak\indent{\itshape Current address}%
|
|
293 |
\@ifnotempty{##1}{, \ignorespaces##1\unskip}\/:\space
|
|
294 |
##2\par}\endgroup}%
|
|
295 |
\def\email##1##2{\begingroup
|
|
296 |
\@ifnotempty{##2}{\nobreak\indent{\itshape e-mail address}%
|
|
297 |
\@ifnotempty{##1}{, \ignorespaces##1\unskip}\/:\space
|
|
298 |
{##2}\par}\endgroup}%
|
|
299 |
\def\urladdr##1##2{\begingroup
|
|
300 |
\@ifnotempty{##2}{\nobreak\indent{\itshape URL}%
|
|
301 |
\@ifnotempty{##1}{, \ignorespaces##1\unskip}\/:\space
|
|
302 |
\ttfamily##2\par}\endgroup}%
|
|
303 |
\addresses
|
|
304 |
\endgroup
|
|
305 |
}
|
|
306 |
\copyrightinfo{}{}
|
|
307 |
|
|
308 |
\newinsert\copyins
|
|
309 |
\skip\copyins=3pc
|
|
310 |
\count\copyins=1000 % magnification factor, 1000 = 100%
|
|
311 |
\dimen\copyins=.5\textheight % maximum allowed per page
|
|
312 |
|
|
313 |
\renewcommand{\topfraction}{0.95} % let figure take up nearly whole page
|
|
314 |
\renewcommand{\textfraction}{0.05} % let figure take up nearly whole page
|
|
315 |
|
|
316 |
%% Specify the dimensions of each page
|
|
317 |
|
|
318 |
\setlength{\oddsidemargin}{.25 in} % Note \oddsidemargin = \evensidemargin
|
|
319 |
\setlength{\evensidemargin}{.25 in}
|
|
320 |
\setlength{\marginparwidth}{0.07 true in}
|
|
321 |
\setlength{\topmargin}{-0.7 in}
|
|
322 |
\addtolength{\headheight}{1.84 pt}
|
|
323 |
\addtolength{\headsep}{0.25in}
|
|
324 |
\addtolength{\voffset}{0.7 in}
|
|
325 |
\setlength{\textheight}{8.5 true in} % Height of text (including footnotes & figures)
|
|
326 |
\setlength{\textwidth}{6.0 true in} % Width of text line.
|
|
327 |
\setlength{\parindent}{20 pt} % Width of text line.
|
|
328 |
\widowpenalty=10000
|
|
329 |
\clubpenalty=10000
|
|
330 |
\@twosidetrue \@mparswitchtrue \def\ds@draft{\overfullrule 5pt}
|
|
331 |
\raggedbottom
|
|
332 |
|
|
333 |
%% Pagestyle
|
|
334 |
|
|
335 |
%% Defines the pagestyle for the title page.
|
|
336 |
%% Usage: \lmcsheading{vol}{issue}{year}{pages}{subm}{publ}{rev}{spec_iss}{title}
|
|
337 |
|
|
338 |
\def\lmcsheading#1#2#3#4#5#6#7{\def\ps@firstpage{\let\@mkboth\@gobbletwo%
|
|
339 |
\def\@oddhead{%
|
|
340 |
\hbox{%
|
|
341 |
\vbox to 30 pt{\scriptsize\vfill
|
|
342 |
\hbox{\textsf{Logical Methods in Computer Science}\hfil}
|
|
343 |
\hbox{\textsf{Vol.~? (?:?) 2???, ? pages}}
|
|
344 |
\hbox{\textsf{www.lmcs-online.org}}
|
|
345 |
\rlap{\vrule width\hsize depth .4 pt}}}\hfill
|
|
346 |
\raise 4pt
|
|
347 |
\hbox{%
|
|
348 |
\vbox to 30 pt{\scriptsize\vfill
|
|
349 |
\hbox{\textsf{}}
|
|
350 |
\hbox{\textsf{}}}}\hfill
|
|
351 |
\raise 4pt
|
|
352 |
\hbox{%
|
|
353 |
\vbox to 30 pt{\scriptsize\vfill
|
|
354 |
\hbox to 94 pt{\textsf{Submitted\hfill date}}
|
|
355 |
\hbox to 94 pt{\textsf{Published\hfill date}}
|
|
356 |
}}}
|
|
357 |
\def\@evenhead{}\def\@evenfoot{}}%
|
|
358 |
\thispagestyle{firstpage}}
|
|
359 |
|
|
360 |
\def\endfront@text{%
|
|
361 |
\insert\copyins{\hsize\textwidth
|
|
362 |
\fontsize{6}{7\p@}\normalfont\upshape
|
|
363 |
\noindent
|
|
364 |
\hbox{
|
|
365 |
\vbox{\fontsize{6}{8 pt}\baselineskip=6 pt\vss
|
|
366 |
\hbox{\hbox to 20 pt{\hfill}
|
|
367 |
\textsf{LOGICAL METHODS}\hfil}
|
|
368 |
\hbox{\hbox to 20 pt{\phantom{x}}
|
|
369 |
\textsf{IN COMPUTER SCIENCE}}}}
|
|
370 |
\hfill\textsf{DOI:10.2168/LMCS-???}
|
|
371 |
%\hfill\textsf{\copyright\shortauthors}
|
|
372 |
\hfill
|
|
373 |
\hbox{
|
|
374 |
\vbox{\fontsize{6}{8 pt}\baselineskip=6 pt\vss
|
|
375 |
\hbox{\textsf{\,\,\copyright\quad \shortauthors}\hfil}
|
|
376 |
\hbox{\textsf{Creative Commons}\hfil}}}
|
|
377 |
\par\kern\z@}%
|
|
378 |
}
|
|
379 |
%\def\endfront@text{}
|
|
380 |
|
|
381 |
\def\enddoc@text{}
|
|
382 |
|
|
383 |
%% Defines the pagestyle for the rest of the pages
|
|
384 |
%% Usage: \ShortHeadings{Minimizing Conflicts}{Minton et al}
|
|
385 |
%% \ShortHeadings{short title}{short authors}
|
|
386 |
|
|
387 |
%\def\firstpageno#1{\setcounter{page}{#1}}
|
|
388 |
%\def\ShortHeadings#1#2{\def\ps@lmcsps{\let\@mkboth\@gobbletwo%
|
|
389 |
%\def\@oddhead{\hfill {\small\sc #1} \hfill}%
|
|
390 |
%\def\@oddfoot{\hfill \small\rm \thepage \hfill}%
|
|
391 |
%\def\@evenhead{\hfill {\small\sc #2} \hfill}%
|
|
392 |
%\def\@evenfoot{\hfill \small\rm \thepage \hfill}}%
|
|
393 |
%\pagestyle{lmcsps}}
|
|
394 |
|
|
395 |
%% MISCELLANY
|
|
396 |
|
|
397 |
\def\@startsection#1#2#3#4#5#6{\bigskip%
|
|
398 |
\if@noskipsec \leavevmode \fi
|
|
399 |
\par \@tempskipa #4\relax
|
|
400 |
\@afterindentfalse
|
|
401 |
\ifdim \@tempskipa <\z@ \@tempskipa -\@tempskipa \@afterindentfalse\fi
|
|
402 |
\if@nobreak \everypar{}\else
|
|
403 |
\addpenalty\@secpenalty\addvspace\@tempskipa\fi
|
|
404 |
\@ifstar{\@dblarg{\@sect{#1}{\@m}{#3}{#4}{#5}{#6}}}%
|
|
405 |
{\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}}}%
|
|
406 |
}
|
|
407 |
|
|
408 |
\def\figurecaption#1#2{\noindent\hangindent 40pt
|
|
409 |
\hbox to 36pt {\small\sl #1 \hfil}
|
|
410 |
\ignorespaces {\small #2}}
|
|
411 |
% Figurecenter prints the caption title centered.
|
|
412 |
\def\figurecenter#1#2{\centerline{{\sl #1} #2}}
|
|
413 |
\def\figurecenter#1#2{\centerline{{\small\sl #1} {\small #2}}}
|
|
414 |
|
|
415 |
%
|
|
416 |
% Allow ``hanging indents'' in long captions
|
|
417 |
%
|
|
418 |
\long\def\@makecaption#1#2{
|
|
419 |
\vskip 10pt
|
|
420 |
\setbox\@tempboxa\hbox{#1: #2}
|
|
421 |
\ifdim \wd\@tempboxa >\hsize % IF longer than one line:
|
|
422 |
\begin{list}{#1:}{
|
|
423 |
\settowidth{\labelwidth}{#1:}
|
|
424 |
\setlength{\leftmargin}{\labelwidth}
|
|
425 |
\addtolength{\leftmargin}{\labelsep}
|
|
426 |
}\item #2 \end{list}\par % Output in quote mode
|
|
427 |
\else % ELSE center.
|
|
428 |
\hbox to\hsize{\hfil\box\@tempboxa\hfil}
|
|
429 |
\fi}
|
|
430 |
|
|
431 |
|
|
432 |
% Define strut macros for skipping spaces above and below text in a
|
|
433 |
% tabular environment.
|
|
434 |
\def\abovestrut#1{\rule[0in]{0in}{#1}\ignorespaces}
|
|
435 |
\def\belowstrut#1{\rule[-#1]{0in}{#1}\ignorespaces}
|
|
436 |
|
|
437 |
%%% Theorem environments
|
|
438 |
|
|
439 |
% the following environments switch to a slanted font:
|
|
440 |
\theoremstyle{plain}
|
|
441 |
|
|
442 |
\newtheorem{thm}{Theorem}[section]
|
|
443 |
\newtheorem{cor}[thm]{Corollary}
|
|
444 |
\newtheorem{lem}[thm]{Lemma}
|
|
445 |
\newtheorem{prop}[thm]{Proposition}
|
|
446 |
\newtheorem{asm}[thm]{Assumption}
|
|
447 |
|
|
448 |
% the following environments keep the roman font:
|
|
449 |
\theoremstyle{definition}
|
|
450 |
|
|
451 |
\newtheorem{rem}[thm]{Remark}
|
|
452 |
\newtheorem{rems}[thm]{Remarks}
|
|
453 |
\newtheorem{exa}[thm]{Example}
|
|
454 |
\newtheorem{exas}[thm]{Examples}
|
|
455 |
\newtheorem{defi}[thm]{Definition}
|
|
456 |
\newtheorem{conv}[thm]{Convention}
|
|
457 |
\newtheorem{conj}[thm]{Conjecture}
|
|
458 |
\newtheorem{prob}[thm]{Problem}
|
|
459 |
\newtheorem{oprob}[thm]{Open Problem}
|
|
460 |
\newtheorem{algo}[thm]{Algorithm}
|
|
461 |
\newtheorem{obs}[thm]{Observation}
|
|
462 |
\newtheorem{qu}[thm]{Question}
|
|
463 |
\newtheorem{fact}[thm]{Fact}
|
|
464 |
\newtheorem{pty}[thm]{Property}
|
|
465 |
|
|
466 |
\numberwithin{equation}{section}
|
|
467 |
|
|
468 |
% end-of-proof sign, to appear at right margin
|
|
469 |
% Paul Taylor and Chris Thompson, Cambridge, 1986
|
|
470 |
%
|
|
471 |
\def\pushright#1{{% set up
|
|
472 |
\parfillskip=0pt % so \par doesn't push #1 to left
|
|
473 |
\widowpenalty=10000 % so we dont break the page before #1
|
|
474 |
\displaywidowpenalty=10000 % ditto
|
|
475 |
\finalhyphendemerits=0 % TeXbook exercise 14.32
|
|
476 |
%
|
|
477 |
% horizontal
|
|
478 |
\leavevmode % \nobreak means lines not pages
|
|
479 |
\unskip % remove previous space or glue
|
|
480 |
\nobreak % don't break lines
|
|
481 |
\hfil % ragged right if we spill over
|
|
482 |
\penalty50 % discouragement to do so
|
|
483 |
\hskip.2em % ensure some space
|
|
484 |
\null % anchor following \hfill
|
|
485 |
\hfill % push #1 to right
|
|
486 |
{#1} % the end-of-proof mark (or whatever)
|
|
487 |
%
|
|
488 |
% vertical
|
|
489 |
\par}} % build paragraph
|
|
490 |
|
|
491 |
\def\qEd{{\lower1 pt\hbox{\vbox{\hrule\hbox{\vrule\kern4 pt
|
|
492 |
\vbox{\kern4 pt\hbox{\hss}\kern4 pt}\kern4 pt\vrule}\hrule}}}}
|
|
493 |
\def\qed{\pushright{\qEd}
|
|
494 |
\penalty-700 \par\addvspace{\medskipamount}}
|
|
495 |
|
|
496 |
\newenvironment{Proof}[1][\proofname]{\par
|
|
497 |
\pushQED{\qed}%
|
|
498 |
\normalfont \topsep6\p@\@plus6\p@\relax
|
|
499 |
\trivlist
|
|
500 |
\item[\hskip\labelsep
|
|
501 |
\itshape
|
|
502 |
#1]\ignorespaces
|
|
503 |
}{%
|
|
504 |
\popQED\endtrivlist\@endpefalse
|
|
505 |
}
|
|
506 |
\newenvironment{iteMize}[1]{\begin{enumerate}[#1]}{\end{enumerate}}
|
|
507 |
\newenvironment{desCription}{\begin{enumerate}[\hbox to8 pt{\hfill}]}{\end{enumerate}}
|
|
508 |
% Bibliographystyle
|
|
509 |
|
|
510 |
\bibliographystyle{alpha}
|
|
511 |
|
|
512 |
\endinput
|