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 |
|