1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/extra.sty Wed Mar 23 11:32:21 1994 +0100
1.3 @@ -0,0 +1,34 @@
1.4 +% extra.sty : Isabelle Manual extra macros for non-Springer version
1.5 +%
1.6 +\typeout{Document Style extra. Released 17 February 1994}
1.7 +
1.8 +%%Euro-style date: 20 September 1955
1.9 +\def\today{\number\day\space\ifcase\month\or
1.10 +January\or February\or March\or April\or May\or June\or
1.11 +July\or August\or September\or October\or November\or December\fi
1.12 +\space\number\year}
1.13 +
1.14 +\input{alltt.sty}
1.15 +%Indented, boxed alltt environment; uses \small\tt font
1.16 +%\leftmargini is LaTeX's first-level indentation for items (2.5em)
1.17 +%@endparenv is LaTeX's trick for preventing indentation of next paragraph
1.18 +\newenvironment{ttbox}{\par\nobreak\vskip-2pt
1.19 + \vbox\bgroup\footnotesize\begin{alltt} \leftskip\leftmargini}%
1.20 + {\end{alltt}\egroup\vskip-7pt\@endparenv}
1.21 +\newcommand\ttbreak{\end{ttbox}\vskip-10pt\begin{ttbox}}
1.22 +
1.23 +%%%Put first chapter on odd page, with arabic numbering; like \cleardoublepage
1.24 +\newcommand\clearfirst{\clearpage\ifodd\c@page\else
1.25 + \hbox{}\newpage\if@twocolumn\hbox{}\newpage\fi\fi
1.26 + \pagenumbering{arabic}}
1.27 +
1.28 +%%%Ruled chapter headings
1.29 +\def\@rulehead#1{\hrule height1pt \vskip 14pt \Huge \bf
1.30 + #1 \vskip 14pt\hrule height1pt}
1.31 +\def\@makechapterhead#1{ { \parindent 0pt
1.32 + \ifnum\c@secnumdepth >\m@ne \raggedleft\large\bf\@chapapp{} \thechapter \par
1.33 + \vskip 20pt \fi \raggedright \@rulehead{#1} \par \nobreak \vskip 40pt } }
1.34 +
1.35 +\def\@makeschapterhead#1{ { \parindent 0pt \raggedright
1.36 + \@rulehead{#1} \par \nobreak \vskip 40pt } }
1.37 +
2.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
2.2 +++ b/doc-src/mathsing.sty Wed Mar 23 11:32:21 1994 +0100
2.3 @@ -0,0 +1,945 @@
2.4 +%% edited by LCP!!
2.5 +%% Commented out the change to \newlinechar
2.6 +%% Increased space in Contents
2.7 +%% Changed \thebibliography to the defn in llncs.sty
2.8 +%% Added ttbox
2.9 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.10 +%
2.11 +% MATHSING.STY Version 1.1
2.12 +%
2.13 +% This LaTeX style option file contains necessary macros for writing
2.14 +% camera ready English single author math book manuscripts.
2.15 +%
2.16 +%
2.17 +% Usage:
2.18 +%
2.19 +% \documentstyle[12pt,mathsing]{book}
2.20 +% ...
2.21 +%
2.22 +% Change log:
2.23 +%
2.24 +% 90/11/04 pagestyle empty for first page of chapter
2.25 +% 90/11/04 distinct figure and table captions
2.26 +% 90/11/04 \small for captions and headings
2.27 +% 90/11/04 improved definition of theorem-like environments
2.28 +% 90/12/01 separation after chapter title changed to 5.1cm
2.29 +% 90/12/01 page size changed to 45x14.4+10pt=23.05cm
2.30 +% 90/12/01 references
2.31 +% 90/12/01 common counter for theorem-like environments
2.32 +% 90/12/02 table of contents
2.33 +% 90/12/02 final improvements and corrections
2.34 +% 90/12/26 two styles for equation numbers
2.35 +% 91/02/05 \numberlikebook and \numberlikearticle replace
2.36 +% \eqnbook and \eqnarticle
2.37 +% 91/10/07 \listoffigures, \listoftables made similar to
2.38 +% \tableofcontents,
2.39 +% running head of Index changed: Sachverzeichnis -> Index,
2.40 +% \newthe now uses \thechapter instead of \arabic{chapter}
2.41 +% 91/02/05 binding: \tablebook, \tablearticle
2.42 +% \figurebook, \figurearticle added
2.43 +% 91/10/07 holzwarth: \listoffigures, \listoftables
2.44 +% according to \tableofcontents,
2.45 +% \begin{theindex}
2.46 +% \newthe to produce correct numbers
2.47 +% 91/12/03 \chapter, \section, and \subsection now do not
2.48 +% hyphenate the headings any more
2.49 +%
2.50 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.51 +
2.52 +
2.53 +
2.54 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.55 +%
2.56 +% change the catcode of @ (allows names containing @ after \begin{document})
2.57 +%
2.58 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.59 +
2.60 +\makeatletter
2.61 +
2.62 +
2.63 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.64 +%
2.65 +% page layout and dimensions
2.66 +%
2.67 +% The following commands are redefined:
2.68 +%
2.69 +% \ps@headings (cf. BOOK.STY)
2.70 +%
2.71 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.72 +
2.73 +%
2.74 +% Layout
2.75 +%
2.76 +% Note: The following values do not apply for English Springer
2.77 +% books on phsics; use \baselineskip=14pt, \textwidth=13.8cm,
2.78 +% \textheight=640pt (=45x14pt+10pt=22.5cm) instead!
2.79 +%
2.80 +
2.81 +\baselineskip=14.4pt % LaTeX default
2.82 +
2.83 +\topmargin=0cm
2.84 +\textwidth=14.2cm % 1.2 x 11.833 cm
2.85 +\textheight=658pt % 45x14.4pt+10pt = 658pt = 23.0554cm
2.86 +%\textheight=23.2502cm % 1.2x19.3752cm=23.2502cm (first version)
2.87 +\oddsidemargin=0.7cm
2.88 +\evensidemargin=0.7cm
2.89 +\headsep=20pt % ?
2.90 +
2.91 +\parindent=7mm % 1.2 x 5.833mm
2.92 +
2.93 +\hfuzz=2pt % supress "overfull box" messages below 2pt
2.94 +
2.95 +\frenchspacing % no large blanks at the end of a sentence
2.96 +
2.97 +
2.98 +\tolerance=500
2.99 +
2.100 +\abovedisplayskip=3.6 mm plus7.2pt minus 4.8pt
2.101 +\belowdisplayskip=3.6 mm plus7.2pt minus 4.8pt
2.102 +\abovedisplayshortskip=0.0 mm plus7.2pt minus 2.4pt
2.103 +\belowdisplayshortskip=2.4 mm plus4.8pt minus 4.8pt
2.104 +
2.105 +\predisplaypenalty=0 % penalties for page break
2.106 +\clubpenalty=10000 %
2.107 +\widowpenalty=10000 %
2.108 +
2.109 +
2.110 +%
2.111 +% running titles
2.112 +%
2.113 +
2.114 +% binding 5.2.91 \hspace changed to 1.0 cm | |
2.115 +% binding 5.2.91 dot deleted after \thesection |
2.116 +\def\ps@headings{
2.117 + \let\@mkboth\markboth
2.118 + \def\@oddfoot{}
2.119 + \def\@evenfoot{}
2.120 + \def\@evenhead{\rm\small\thepage\hspace{1.0cm}\leftmark\hfil\hbox{}}
2.121 + \def\@oddhead{\hbox{}\hfil\rm\small\rightmark\hspace{1.0cm}\thepage}
2.122 + \def\chaptermark##1{\markboth
2.123 + {\ifnum \c@secnumdepth >\m@ne \thechapter.\ \fi ##1}{}}
2.124 +%hier punkt raus. binding |
2.125 + \def\sectionmark##1{\markright
2.126 + {\ifnum \c@secnumdepth >\z@ \thesection\ \fi ##1}}
2.127 + }
2.128 +
2.129 +\pagestyle{headings}
2.130 +
2.131 +
2.132 +
2.133 +
2.134 +
2.135 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.136 +%
2.137 +% Chapters and Sections
2.138 +%
2.139 +% The following commands are redefined:
2.140 +%
2.141 +% \@makechapterhead (cf. BK12.STY)
2.142 +% \@makeschapterhead (cf. BK12.STY)
2.143 +% \chapter (cf. BK12.STY)
2.144 +% \@sect (cf. LATEX.TEX)
2.145 +% \section (cf. BK12.STY)
2.146 +% \subsection (cf. BK12.STY)
2.147 +% \subsubsection (cf. BK12.STY)
2.148 +% \paragraph (cf. BK12.STY)
2.149 +% \subparagraph (cf. BK12.STY)
2.150 +%
2.151 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.152 +
2.153 +%
2.154 +% number of numbered section levels
2.155 +%
2.156 +
2.157 +\setcounter{secnumdepth}{3}
2.158 +
2.159 +
2.160 +%
2.161 +% Adapt the font size for chapter titles and supress printing of
2.162 +% the word "chapter"
2.163 +%
2.164 +
2.165 +\def\@makechapterhead#1{ { \parindent 0pt \raggedright
2.166 +% \pretolerance added 12/3/91 fuh
2.167 +{\pretolerance=10000\Large \bf \thechapter.\hspace{0.3cm}#1\par}%
2.168 + \nobreak \vskip 4cm \vskip\baselineskip} }
2.169 +
2.170 +\def\@makeschapterhead#1{ { \parindent 0pt \raggedright
2.171 +% \pretolerance added 12/3/91 fuh
2.172 + \pretolerance=10000\Large \bf #1\par
2.173 + \nobreak \vskip 4cm \vskip\baselineskip} }
2.174 +
2.175 +%
2.176 +% define pagestyle=empty for first page of a chapter
2.177 +%
2.178 +
2.179 +\def\chapter{\cleardoublepage \thispagestyle{empty} \global\@topnum\z@
2.180 +\@afterindentfalse \secdef\@chapter\@schapter}
2.181 +
2.182 +%
2.183 +% Change the distance between section number and title from 1em to 2mm
2.184 +% binding: changed again to 1en=0.5em | 5.2.91
2.185 +%
2.186 +
2.187 +\def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
2.188 + \def\@svsec{}\else
2.189 + \refstepcounter{#1}%
2.190 + \edef\@svsec{\csname the#1\endcsname\hskip 0.5em }\fi
2.191 + \@tempskipa #5\relax
2.192 + \ifdim \@tempskipa>\z@
2.193 + \begingroup #6\relax
2.194 +% changed by Binding :) 20.3.91
2.195 +% old: \@hangfrom{\hskip #3\relax\@svsec}{\interlinepenalty \@M #8\par}
2.196 +% \@hangfrom deleted to avoid hanging indentation \noindent added
2.197 + {\noindent\hskip #3\relax\@svsec}%
2.198 + {\interlinepenalty \@M #8\par}
2.199 + \endgroup
2.200 + \csname #1mark\endcsname{#7}\addcontentsline
2.201 + {toc}{#1}{\ifnum #2>\c@secnumdepth \else
2.202 + \protect\numberline{\csname the#1\endcsname}\fi
2.203 + #7}\else
2.204 + \def\@svsechd{#6\hskip #3\@svsec #8\csname #1mark\endcsname
2.205 + {#7}\addcontentsline
2.206 + {toc}{#1}{\ifnum #2>\c@secnumdepth \else
2.207 + \protect\numberline{\csname the#1\endcsname}\fi
2.208 + #7}}\fi
2.209 + \@xsect{#5}}
2.210 +
2.211 +
2.212 +%
2.213 +% Font size for section titles;
2.214 +% Increased vertical space before and after sections, subsections
2.215 +% and subsubsections by 1ex; run-in headings starting with subsubsection
2.216 +%
2.217 +% (\@startsection{NAME}{LEVEL}{INDENT}{BEFORESKIP}{AFTERSKIP}{STYLE})
2.218 +%
2.219 +
2.220 +%binding, 18.3.91: \boldmath inserted
2.221 +\def\section{\@startsection{section}{1}{\z@}{
2.222 + -4.50ex plus -1ex minus -.2ex}{3.3ex plus .2ex}
2.223 + {\large\bf\boldmath\raggedright\pretolerance=10000}}
2.224 +% \raggedright and \pretolerance added 12/3/91 fuh
2.225 +\def\subsection{\@startsection{subsection}{2}{\z@}{
2.226 + -4.25ex plus -1ex minus -.2ex}{2.5ex plus .2ex}
2.227 + {\normalsize\bf\boldmath\raggedright\pretolerance=10000}}
2.228 +% \raggedright and \pretolerance added 12/3/91 fuh
2.229 +\def\subsubsection{\@startsection{subsubsection}{3}{\z@}{
2.230 + -3.25ex plus -1ex minus -.2ex}{-0.5em}
2.231 + {\normalsize\bf\boldmath}}
2.232 +\def\paragraph{\@startsection{paragraph}{4}{\z@}{
2.233 + -3.25ex plus -1ex minus -.2ex}{-0.5em}{\normalsize\it}}
2.234 +\def\subparagraph{\@startsection{subparagraph}{5}{\@}{
2.235 + -3.25ex plus -1ex minus -.2ex}{-0.5em}{\normalsize\it}}
2.236 +
2.237 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.238 +%20.3.91, binding: \labelitemi changed
2.239 +\renewcommand{\labelitemi}{$\bullet$}
2.240 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.241 +%
2.242 +% Tables
2.243 +%
2.244 +% Change width of horizontal and vertical lines in arrays and tables
2.245 +%
2.246 +% The following commands are redefined:
2.247 +%
2.248 +% \arrayrulewidth
2.249 +%
2.250 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.251 +
2.252 +\arrayrulewidth0.15mm
2.253 +
2.254 +
2.255 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.256 +%
2.257 +% Figure and table captions (small)
2.258 +%
2.259 +% To meet the different requirements for table and figure captions
2.260 +% new macros \@makefigurecaption and \@maketablecaption are introduced
2.261 +% in addition to \@makecaption (cf. BOOK.STY). The \@caption macro is
2.262 +% changed to check for figures and tables.
2.263 +%
2.264 +% The following commands are redefined:
2.265 +%
2.266 +% \@caption (cf. LATEX.TEX)
2.267 +% \fnum@figure (cf. BOOK.STY)
2.268 +% \fnum@table (cf. BOOK.STY)
2.269 +%
2.270 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.271 +
2.272 +\long\def\@caption#1[#2]#3{\addcontentsline{\csname
2.273 + ext@#1\endcsname}{#1}{\protect\numberline{\csname
2.274 + the#1\endcsname}{\ignorespaces #2}}\par
2.275 + \begingroup
2.276 + \@parboxrestore
2.277 + \normalsize
2.278 + \csname @make#1caption\endcsname
2.279 + {\csname fnum@#1\endcsname}{\ignorespaces #3}\par
2.280 + \endgroup}
2.281 +
2.282 +\long\def\@makefigurecaption#1#2{
2.283 + \vskip 10pt % skip between figure and caption
2.284 + {\small % required here for correct \baselineskip !
2.285 + \setbox\@tempboxa\hbox{\small{\bf#1}#2}
2.286 + \ifdim \wd\@tempboxa >\hsize
2.287 + \unhbox\@tempboxa\par
2.288 + \else
2.289 + \hbox to\hsize{\hfil\box\@tempboxa\hfil} % centered short caption !
2.290 + \fi}
2.291 + \vskip 10pt} % additional space between caption and text
2.292 +
2.293 +\long\def\@maketablecaption#1#2{
2.294 + \vskip 10pt % additional space between text and caption
2.295 + {\small % required here for correct \baselineskip !
2.296 + \setbox\@tempboxa\hbox{\small{\bf#1}#2}
2.297 + \ifdim \wd\@tempboxa >\hsize
2.298 + \unhbox\@tempboxa\par
2.299 + \else \hbox to\hsize{\box\@tempboxa\hfil} % leftadjusted short caption !
2.300 + \fi}
2.301 + \vskip 10pt} % skip between caption and table
2.302 +
2.303 +\def\fnum@figure{Fig.$\,$\thefigure.$\;$}
2.304 +\def\fnum@table{Table$\,$\thetable.$\;$}
2.305 +
2.306 +
2.307 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.308 +%
2.309 +% Distance between text and floatings (tables, figures)
2.310 +%
2.311 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.312 +
2.313 +\floatsep 14pt plus 2pt minus 4pt % LaTeX defaults values
2.314 +\textfloatsep 20pt plus 2pt minus 4pt %
2.315 +\intextsep 14pt plus 4pt minus 4pt %
2.316 +\@maxsep 20pt %
2.317 +
2.318 +
2.319 +
2.320 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.321 +%
2.322 +% Table of contents
2.323 +%
2.324 +% The following commands are redefined:
2.325 +%
2.326 +% \l@chapter (cf. LATEX.STY)
2.327 +% \tableofcontents
2.328 +%
2.329 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.330 +
2.331 +%
2.332 +% lowest level for table of contents entries
2.333 +%
2.334 +\setcounter{tocdepth}{3}
2.335 +
2.336 +%
2.337 +% dotted line for chapters in table of contents
2.338 +% (cf. definition of \@dottedline in LATEX.STY)
2.339 +%
2.340 +\def\l@chapter#1#2{\pagebreak[3]
2.341 + \vskip 1.0em plus 1pt \@tempdima 1.5em \begingroup
2.342 + \parindent \z@ \rightskip \@pnumwidth
2.343 + \parfillskip -\@pnumwidth
2.344 + \rm \leavevmode #1
2.345 + \nobreak\leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern \@dotsep mu$}\hfill
2.346 + \nobreak
2.347 + \hbox to\@pnumwidth{\hss \rm #2}\par
2.348 + \endgroup}
2.349 +
2.350 +%copied from book.sty to leave room for 12.11, etc. -- Frank Holzwarth via LCP
2.351 +\def\l@section{\@dottedtocline{1}{1.5em}{2.8em}}
2.352 +
2.353 +%
2.354 +% Adaption of \tableofcontents (title,headings,pagenumber)
2.355 +%
2.356 +
2.357 +\def\tableofcontents{
2.358 + \@restonecolfalse
2.359 + \if@twocolumn\@restonecoltrue\onecolumn\fi
2.360 + \chapter*{Table of Contents}
2.361 + \markboth{Table of Contents}{Table of Contents} % headline
2.362 + \renewcommand{\thepage}{\Roman{page}} % roman page number
2.363 + \@starttoc{toc}\if@restonecol\twocolumn\fi}
2.364 +
2.365 +%%%%%%%% added 91/10/07 fuh %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.366 +%
2.367 +% List of figures
2.368 +%
2.369 +% The following commands are redefined:
2.370 +%
2.371 +% \listoffigures
2.372 +%
2.373 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.374 +%
2.375 +\def\listoffigures{
2.376 + \@restonecolfalse
2.377 + \if@twocolumn\@restonecoltrue\onecolumn\fi
2.378 + \chapter*{List of Figures}
2.379 + \markboth{List of Figures}{List of Figures} % headline
2.380 + \renewcommand{\thepage}{\Roman{page}} % roman page number
2.381 + \@starttoc{lof}\if@restonecol\twocolumn\fi}
2.382 +
2.383 +%%%%%%%% added 91/10/07 fuh %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.384 +%
2.385 +% List of tables
2.386 +%
2.387 +% The following commands are redefined:
2.388 +%
2.389 +% \listoftables
2.390 +%
2.391 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.392 +%
2.393 +\def\listoftables{
2.394 + \@restonecolfalse
2.395 + \if@twocolumn\@restonecoltrue\onecolumn\fi
2.396 + \chapter*{List of Tables}
2.397 + \markboth{List of Tables}{List of Tables} % headline
2.398 + \renewcommand{\thepage}{\Roman{page}} % roman page number
2.399 + \@starttoc{lot}\if@restonecol\twocolumn\fi}
2.400 +
2.401 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.402 +%
2.403 +% Index (with table of contents entry)
2.404 +%
2.405 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.406 +
2.407 +\def\theindex{ \cleardoublepage
2.408 + \small
2.409 + \columnseprule \z@
2.410 + \columnsep=0.84cm
2.411 + \twocolumn[\@makeschapterhead{Index}]
2.412 + \addcontentsline{toc}{chapter}{Index}
2.413 + \@mkboth{Index}{Index}
2.414 + \thispagestyle{plain}\parindent\z@
2.415 + \parskip\z@ plus .3pt\relax\let\item\@idxitem}
2.416 +\def\@idxitem{\par\hangindent 15pt}
2.417 +\def\subitem{\par\hangindent 15pt -- }
2.418 +\def\endtheindex{\clearpage}
2.419 +\def\indexspace{\par \vskip 10pt plus 5pt minus 3pt\relax}
2.420 +
2.421 +
2.422 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.423 +%
2.424 +% References (Bibliography)
2.425 +%
2.426 +% Macros for creating a list of references in small print using LaTeX
2.427 +% defaults or some special Springer commands.
2.428 +%
2.429 +% Usage:
2.430 +%
2.431 +% \begin{thebibliography}{wide-label} % LaTeX standard macros
2.432 +% \bibitem[label]{name} ... text ...
2.433 +% \bibitem[label]{name} ... text ...
2.434 +% \end{thebibliography}
2.435 +%
2.436 +% or
2.437 +%
2.438 +% \begin{references}{wide-label} % Springer macros
2.439 +% \refer ... text ...
2.440 +% \refno{no.} ... text ...
2.441 +% \refmark{[label]} ... text ...
2.442 +% \end{references}
2.443 +%
2.444 +% New commands:
2.445 +%
2.446 +% \refchapter starts an unnumbered chapter "References"; small font
2.447 +% \refer unlabeled item with hanging indentation
2.448 +% \refno right adjusted label (for numbers)
2.449 +% \refmark left adjusted label (for text labels)
2.450 +%
2.451 +% Changed commands
2.452 +%
2.453 +% \thebibliography (BOOK.STY) (further edit by LCP!)
2.454 +% \endthebibliography (BOOK.STY)
2.455 +%
2.456 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.457 +
2.458 +\def\refchapter{\chapter*{References}
2.459 +\parindent0pt\parskip0pt\small
2.460 +\addcontentsline{toc}{chapter}{References}
2.461 +\markboth{References}{References}}
2.462 +
2.463 +
2.464 +\def\thebibliography#1{\refchapter\small\list
2.465 + {\arabic{enumi}.}{\settowidth\labelwidth{#1.}\leftmargin\labelwidth
2.466 + \advance\leftmargin\labelsep
2.467 + \usecounter{enumi}}
2.468 + \def\newblock{\hskip .11em plus .33em minus -.07em}
2.469 + \sloppy
2.470 + \sfcode`\.=1000\relax}
2.471 +\let\endthebibliography=\endlist
2.472 +
2.473 +
2.474 +\newenvironment{references}[1]{\refchapter
2.475 + \settowidth\labelwidth{#1\enspace}
2.476 + \begingroup}{\endgraf\endgroup}
2.477 +%
2.478 +% The following macros are from REFER.TEX.
2.479 +% \refindent is replaced by the predefined dimension \labelwidth
2.480 +% that is also used by \thebibliography; \ref is replaced by \refer
2.481 +% since \ref is already used for referencing lables!
2.482 +
2.483 +%%%\newlinechar=`\|
2.484 +
2.485 +% \refer produces ordinary entries, successive line are indented 1em
2.486 +\def\refer{\goodbreak\hangindent1em\hangafter=1\noindent\ignorespaces}
2.487 +
2.488 +% \refno produces entries with right-aligned marks in the margin
2.489 +\def\refno#1{\goodbreak
2.490 +\setbox0=\hbox{#1\enspace}\ifdim\labelwidth<\wd0\relax
2.491 +\message{|Your reference `#1' is wider than you pretended in using
2.492 +\string\begref.}\fi
2.493 +\hangindent\labelwidth\hangafter=1\noindent
2.494 +\kern\labelwidth\llap{#1\enspace}\ignorespaces}
2.495 +
2.496 +% \refmark produces entries with left-aligned marks in the margin
2.497 +\def\refmark#1{\goodbreak
2.498 +\setbox0=\hbox{#1\enspace}\ifdim\labelwidth<\wd0\relax
2.499 +\message{|Your reference `#1' is wider than you pretended in using
2.500 +\string\begref.}\fi
2.501 +\hangindent\labelwidth\hangafter=1\noindent
2.502 +\hbox to\labelwidth{#1\hss}\ignorespaces}
2.503 +
2.504 +
2.505 +
2.506 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.507 +%
2.508 +% New environments
2.509 +%
2.510 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.511 +
2.512 +%
2.513 +% The following lines define a new environment 'listing'
2.514 +%
2.515 +% \begin{listing}
2.516 +% ...
2.517 +% \end{listing}
2.518 +%
2.519 +% that prints listings using \footnotesize and takes care to reset
2.520 +% the \baselineskip. The macro definition is based on ALLTT.STY that
2.521 +% allows various TEX commands to be given within the environment
2.522 +% (e.g. '\input', '\index' or '\it'). '%' has been retained as a special
2.523 +% character within 'listing', however, to avoid unwanted line breaks.
2.524 +%
2.525 +%
2.526 +
2.527 +\def\docspecials{\do\ \do\$\do\&%
2.528 + \do\#\do\^\do\^^K\do\_\do\^^A\do\~}
2.529 +
2.530 +\newdimen\oldbaselineskip
2.531 +\def\listing{\par\noindent\oldbaselineskip=\baselineskip \footnotesize%
2.532 +\trivlist \item[]\if@minipage\else\vskip\parskip\fi
2.533 +\leftskip\@totalleftmargin\rightskip\z@
2.534 +\parindent\z@\parfillskip\@flushglue\parskip\z@
2.535 +\@tempswafalse \def\par{\if@tempswa\hbox{}\fi\@tempswatrue\@@par}
2.536 +\obeylines \tt \catcode``=13 \@noligs \let\do\@makeother \docspecials
2.537 + \frenchspacing\@vobeyspaces}
2.538 +
2.539 +\def\endlisting{\endtrivlist\baselineskip=\oldbaselineskip}
2.540 +
2.541 +%Add ttbox to Springer's macros!! - LCP
2.542 +\newenvironment{ttbox}{\par\nobreak\vskip-2pt%
2.543 + \vbox\bgroup\begin{listing}\leftskip\leftmargini}%
2.544 + {\end{listing}\egroup\vskip-7pt\@endparenv}
2.545 +\newcommand\ttbreak{\end{ttbox}\goodbreak\vskip-8pt plus 3pt\begin{ttbox}}
2.546 +
2.547 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.548 +%
2.549 +% Acknowledgements ( = acknow.tex)
2.550 +%
2.551 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.552 +
2.553 +\def\ack#1{\vskip11pt\begingroup\noindent{\it Acknowledgements\/}.
2.554 +\ignorespaces#1\vskip6pt\endgroup}
2.555 +
2.556 +
2.557 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.558 +%
2.559 +% Definition of versal greek letters ( = ucgreek.tex)
2.560 +%
2.561 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.562 +
2.563 +\mathchardef\Gamma="0100
2.564 +\mathchardef\Delta="0101
2.565 +\mathchardef\Theta="0102
2.566 +\mathchardef\Lambda="0103
2.567 +\mathchardef\Xi="0104
2.568 +\mathchardef\Pi="0105
2.569 +\mathchardef\Sigma="0106
2.570 +\mathchardef\Upsilon="0107
2.571 +\mathchardef\Phi="0108
2.572 +\mathchardef\Psi="0109
2.573 +\mathchardef\Omega="010A
2.574 +
2.575 +
2.576 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.577 +%
2.578 +% Vectors ( = vector.tex)
2.579 +%
2.580 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.581 +
2.582 +% This is vector.tex
2.583 +% it redefines the plain TeX \vec command
2.584 +% to produce bold characters
2.585 +%
2.586 +\def\vec#1{\ifmmode
2.587 +\mathchoice{\mbox{\boldmath$\displaystyle\bf#1$}}
2.588 +{\mbox{\boldmath$\textstyle\bf#1$}}
2.589 +{\mbox{\boldmath$\scriptstyle\bf#1$}}
2.590 +{\mbox{\boldmath$\scriptscriptstyle\bf#1$}}\else
2.591 +{\mbox{\boldmath$\bf#1$}}\fi}
2.592 +%
2.593 +%\def\vec#1{{\textfont0=\tenbf\scriptfont0=\sevenbf
2.594 +%\scriptscriptfont0=\fivebf
2.595 +%\textfont1=\tenbf\scriptfont1=\sevenbf
2.596 +%\scriptscriptfont1=\fivebf
2.597 +%\ifmmode % supply all varieties of math sizes
2.598 +% \mathchoice{\hbox{$\displaystyle#1$}}{\hbox{$\textstyle#1$}}
2.599 +% {\hbox{$\scriptstyle#1$}}{\hbox{$\scriptscriptstyle#1$}}
2.600 +%\else\hbox{$#1$}\fi}}
2.601 +
2.602 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.603 +%
2.604 +% Symbols ( = symbols.tex )
2.605 +%
2.606 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.607 +
2.608 +% This is symbols.tex
2.609 +% the symbols not available in plain TeX are constructed
2.610 +% by overprinting some characters
2.611 +
2.612 +\def\sun{{\hbox{$\odot$}}}
2.613 +\def\la{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.614 +$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.5pt}\sim\cr}}}
2.615 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
2.616 +\noalign{\vskip1.0pt}\sim\cr}}}
2.617 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
2.618 +\noalign{\vskip0.5pt}\sim\cr}}}
2.619 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil
2.620 +\cr<\cr\noalign{\vskip0.5pt}\sim\cr}}}}}
2.621 +\def\ga{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.622 +$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.5pt}\sim\cr}}}
2.623 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
2.624 +\noalign{\vskip1.0pt}\sim\cr}}}
2.625 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
2.626 +\noalign{\vskip0.5pt}\sim\cr}}}
2.627 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil
2.628 +\cr>\cr\noalign{\vskip0.5pt}\sim\cr}}}}}
2.629 +\def\sq{\hbox{\rlap{$\sqcap$}$\sqcup$}}
2.630 +\def\degr{\hbox{$^\circ$}}
2.631 +\def\arcmin{\hbox{$^\prime$}}
2.632 +\def\arcsec{\hbox{$^{\prime\prime}$}}
2.633 +\def\utw{\smash{\rlap{\lower5pt\hbox{$\sim$}}}}
2.634 +\def\udtw{\smash{\rlap{\lower6pt\hbox{$\approx$}}}}
2.635 +\def\fd{\hbox{$.\!\!^{\rm d}$}}
2.636 +\def\fh{\hbox{$.\!\!^{\rm h}$}}
2.637 +\def\fm{\hbox{$.\!\!^{\rm m}$}}
2.638 +\def\fs{\hbox{$.\!\!^{\rm s}$}}
2.639 +\def\fdg{\hbox{$.\!\!^\circ$}}
2.640 +\def\farcm{\hbox{$.\mkern-4mu^\prime$}}
2.641 +\def\farcs{\hbox{$.\!\!^{\prime\prime}$}}
2.642 +\def\fp{\hbox{$.\!\!^{\scriptscriptstyle\rm p}$}}
2.643 +\def\getsto{\mathrel{\mathchoice {\vcenter{\offinterlineskip
2.644 +\halign{\hfil$\displaystyle##$\hfil\cr\gets\cr\to\cr}}}
2.645 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
2.646 +\gets\cr\to\cr}}}
2.647 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
2.648 +\gets\cr\to\cr}}}
2.649 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
2.650 +\gets\cr\to\cr}}}}}
2.651 +\def\cor{\mathrel{\mathchoice {\hbox{$\widehat=$}}{\hbox{$\widehat=$}}
2.652 +{\hbox{$\scriptstyle\hat=$}}
2.653 +{\hbox{$\scriptscriptstyle\hat=$}}}}
2.654 +\def\grole{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.655 +$\displaystyle##$\hfil\cr>\cr\noalign{\vskip-1.5pt}<\cr}}}
2.656 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
2.657 +>\cr\noalign{\vskip-1.5pt}<\cr}}}
2.658 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
2.659 +>\cr\noalign{\vskip-1pt}<\cr}}}
2.660 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
2.661 +>\cr\noalign{\vskip-0.5pt}<\cr}}}}}
2.662 +\def\lid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.663 +$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.5pt}=\cr}}}
2.664 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
2.665 +\noalign{\vskip1pt}=\cr}}}
2.666 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
2.667 +\noalign{\vskip0.5pt}=\cr}}}
2.668 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
2.669 +<\cr\noalign{\vskip0.5pt}=\cr}}}}}
2.670 +\def\gid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.671 +$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.5pt}=\cr}}}
2.672 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
2.673 +\noalign{\vskip1pt}=\cr}}}
2.674 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
2.675 +\noalign{\vskip0.5pt}=\cr}}}
2.676 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
2.677 +>\cr\noalign{\vskip0.5pt}=\cr}}}}}
2.678 +\def\sol{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.679 +$\displaystyle##$\hfil\cr\sim\cr\noalign{\vskip-0.2mm}<\cr}}}
2.680 +{\vcenter{\offinterlineskip
2.681 +\halign{\hfil$\textstyle##$\hfil\cr\sim\cr<\cr}}}
2.682 +{\vcenter{\offinterlineskip
2.683 +\halign{\hfil$\scriptstyle##$\hfil\cr\sim\cr<\cr}}}
2.684 +{\vcenter{\offinterlineskip
2.685 +\halign{\hfil$\scriptscriptstyle##$\hfil\cr\sim\cr<\cr}}}}}
2.686 +\def\sog{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.687 +$\displaystyle##$\hfil\cr\sim\cr\noalign{\vskip-0.2mm}>\cr}}}
2.688 +{\vcenter{\offinterlineskip
2.689 +\halign{\hfil$\textstyle##$\hfil\cr\sim\cr>\cr}}}
2.690 +{\vcenter{\offinterlineskip
2.691 +\halign{\hfil$\scriptstyle##$\hfil\cr\sim\cr>\cr}}}
2.692 +{\vcenter{\offinterlineskip
2.693 +\halign{\hfil$\scriptscriptstyle##$\hfil\cr\sim\cr>\cr}}}}}
2.694 +\def\lse{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.695 +$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.5pt}\simeq\cr}}}
2.696 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
2.697 +\noalign{\vskip1pt}\simeq\cr}}}
2.698 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
2.699 +\noalign{\vskip0.5pt}\simeq\cr}}}
2.700 +{\vcenter{\offinterlineskip
2.701 +\halign{\hfil$\scriptscriptstyle##$\hfil\cr<\cr
2.702 +\noalign{\vskip0.5pt}\simeq\cr}}}}}
2.703 +\def\gse{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.704 +$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.5pt}\simeq\cr}}}
2.705 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
2.706 +\noalign{\vskip1.0pt}\simeq\cr}}}
2.707 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
2.708 +\noalign{\vskip0.5pt}\simeq\cr}}}
2.709 +{\vcenter{\offinterlineskip
2.710 +\halign{\hfil$\scriptscriptstyle##$\hfil\cr>\cr
2.711 +\noalign{\vskip0.5pt}\simeq\cr}}}}}
2.712 +\def\grole{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.713 +$\displaystyle##$\hfil\cr>\cr\noalign{\vskip-1.5pt}<\cr}}}
2.714 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
2.715 +>\cr\noalign{\vskip-1.5pt}<\cr}}}
2.716 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
2.717 +>\cr\noalign{\vskip-1pt}<\cr}}}
2.718 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
2.719 +>\cr\noalign{\vskip-0.5pt}<\cr}}}}}
2.720 +\def\leogr{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.721 +$\displaystyle##$\hfil\cr<\cr\noalign{\vskip-1.5pt}>\cr}}}
2.722 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
2.723 +<\cr\noalign{\vskip-1.5pt}>\cr}}}
2.724 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
2.725 +<\cr\noalign{\vskip-1pt}>\cr}}}
2.726 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
2.727 +<\cr\noalign{\vskip-0.5pt}>\cr}}}}}
2.728 +\def\loa{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.729 +$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.5pt}\approx\cr}}}
2.730 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
2.731 +\noalign{\vskip1.0pt}\approx\cr}}}
2.732 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
2.733 +\noalign{\vskip0.5pt}\approx\cr}}}
2.734 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
2.735 +<\cr\noalign{\vskip0.5pt}\approx\cr}}}}}
2.736 +\def\goa{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
2.737 +$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.5pt}\approx\cr}}}
2.738 +{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
2.739 +\noalign{\vskip1.0pt}\approx\cr}}}
2.740 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
2.741 +\noalign{\vskip0.5pt}\approx\cr}}}
2.742 +{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
2.743 +>\cr\noalign{\vskip0.5pt}\approx\cr}}}}}
2.744 +\def\bbbr{{\rm I\!R}} %reelle Zahlen
2.745 +\def\bbbn{{\rm I\!N}} %natuerliche Zahlen
2.746 +\def\bbbm{{\rm I\!M}}
2.747 +\def\bbbh{{\rm I\!H}}
2.748 +\def\bbbf{{\rm I\!F}}
2.749 +\def\bbbk{{\rm I\!K}}
2.750 +\def\bbbp{{\rm I\!P}}
2.751 +\def\bbbone{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l}
2.752 +{\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}}
2.753 +\def\bbbc{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm C$}\hbox{\hbox
2.754 +to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
2.755 +{\setbox0=\hbox{$\textstyle\rm C$}\hbox{\hbox
2.756 +to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
2.757 +{\setbox0=\hbox{$\scriptstyle\rm C$}\hbox{\hbox
2.758 +to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
2.759 +{\setbox0=\hbox{$\scriptscriptstyle\rm C$}\hbox{\hbox
2.760 +to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}}}
2.761 +\def\bbbe{{\mathchoice {\setbox0=\hbox{\smalletextfont e}\hbox{\raise
2.762 +0.1\ht0\hbox to0pt{\kern0.4\wd0\vrule width0.3pt
2.763 +height0.7\ht0\hss}\box0}}
2.764 +{\setbox0=\hbox{\smalletextfont e}\hbox{\raise
2.765 +0.1\ht0\hbox to0pt{\kern0.4\wd0\vrule width0.3pt
2.766 +height0.7\ht0\hss}\box0}}
2.767 +{\setbox0=\hbox{\smallescriptfont e}\hbox{\raise
2.768 +0.1\ht0\hbox to0pt{\kern0.5\wd0\vrule width0.2pt
2.769 +height0.7\ht0\hss}\box0}}
2.770 +{\setbox0=\hbox{\smallescriptscriptfont e}\hbox{\raise
2.771 +0.1\ht0\hbox to0pt{\kern0.4\wd0\vrule width0.2pt
2.772 +height0.7\ht0\hss}\box0}}}}
2.773 +\def\bbbq{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm Q$}\hbox{\raise
2.774 +0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
2.775 +{\setbox0=\hbox{$\textstyle\rm Q$}\hbox{\raise
2.776 +0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
2.777 +{\setbox0=\hbox{$\scriptstyle\rm Q$}\hbox{\raise
2.778 +0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}
2.779 +{\setbox0=\hbox{$\scriptscriptstyle\rm Q$}\hbox{\raise
2.780 +0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}}}
2.781 +\def\bbbt{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm
2.782 +T$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
2.783 +{\setbox0=\hbox{$\textstyle\rm T$}\hbox{\hbox
2.784 +to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
2.785 +{\setbox0=\hbox{$\scriptstyle\rm T$}\hbox{\hbox
2.786 +to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
2.787 +{\setbox0=\hbox{$\scriptscriptstyle\rm T$}\hbox{\hbox
2.788 +to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}}}
2.789 +\def\bbbs{{\mathchoice
2.790 +{\setbox0=\hbox{$\displaystyle \rm S$}\hbox{\raise0.5\ht0\hbox
2.791 +to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
2.792 +to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
2.793 +{\setbox0=\hbox{$\textstyle \rm S$}\hbox{\raise0.5\ht0\hbox
2.794 +to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
2.795 +to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
2.796 +{\setbox0=\hbox{$\scriptstyle \rm S$}\hbox{\raise0.5\ht0\hbox
2.797 +to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
2.798 +to0pt{\kern0.5\wd0\vrule height0.45\ht0\hss}\box0}}
2.799 +{\setbox0=\hbox{$\scriptscriptstyle\rm S$}\hbox{\raise0.5\ht0\hbox
2.800 +to0pt{\kern0.4\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
2.801 +to0pt{\kern0.55\wd0\vrule height0.45\ht0\hss}\box0}}}}
2.802 +
2.803 +%
2.804 +% note: changed \sans to \sf for LaTeX
2.805 +%
2.806 +
2.807 +\def\bbbz{{\mathchoice {\hbox{$\sf\textstyle Z\kern-0.4em Z$}}
2.808 +{\hbox{$\sf\textstyle Z\kern-0.4em Z$}}
2.809 +{\hbox{$\sf\scriptstyle Z\kern-0.3em Z$}}
2.810 +{\hbox{$\sf\scriptscriptstyle Z\kern-0.2em Z$}}}}
2.811 +
2.812 +\def\diameter{{\ifmmode\oslash\else$\oslash$\fi}}
2.813 +
2.814 +
2.815 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.816 +%
2.817 +% petit (substitute for petit.tex)
2.818 +%
2.819 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.820 +
2.821 +
2.822 +\newenvironment{petit}{\vskip6pt\begingroup\small}{\endgroup\vskip6pt}
2.823 +
2.824 +
2.825 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.826 +%
2.827 +% New environments
2.828 +%
2.829 +% lemma, proposition, theorem, corollary (\bf,\it) (numbered)
2.830 +% exercise, problem, solution, definition (\bf,\rm)
2.831 +% 27.3.91 binding: example, note and question changed to (\bf, \rm)
2.832 +%
2.833 +% lemma*, proposition*, theorem*, corollary* (\bf,\it) (unnumbered)
2.834 +% exercise*, problem*, solution*, definition* (\bf,\rm)
2.835 +% example*, note*, question* (\it,\rm)
2.836 +%
2.837 +% remark, proof (\it,\rm) (unnumbered)
2.838 +%
2.839 +% usage: \begin{lemma} or \begin{lemma}[COMMENT]
2.840 +% ... ...
2.841 +% \end{lemma} \end{lemma}
2.842 +%
2.843 +%
2.844 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.845 +
2.846 +% currently one counter is used for all theorem like environments
2.847 +
2.848 +\newcounter{lemmacount}[chapter]
2.849 +\renewcommand{\thelemmacount}{\thechapter.\arabic{lemmacount}}
2.850 +
2.851 +
2.852 +%
2.853 +% short form for defininng new theorem like environments:
2.854 +% \newthe{NAME}{NAME*}{TITLE}{COUNTER}{FONT1}{FONT2}
2.855 +%
2.856 +\def\@@begthe#1{\@ifnextchar[{\@optbegthe#1}{\@begthe#1}}
2.857 +%27.3.91 binding: dot deleted
2.858 +%def\@begthe#1{. #1} old
2.859 +\def\@begthe#1{ #1}
2.860 +\def\@optbegthe#1[#2]{ {#2} #1}
2.861 +\newcommand{\newthe}[6]{
2.862 + \def\nlni{\par\ifvmode\removelastskip\fi\vskip\baselineskip\noindent}
2.863 + \def\xxxend{\endgroup\vskip\baselineskip}
2.864 + \newenvironment{#1}{\nlni\begingroup\refstepcounter{#4}#5#3
2.865 +%changed 91/10/7 fuh:\arabic{chapter}.\arabic{#4}\@@begthe{#6}}{\xxxend}
2.866 + \thechapter.\arabic{#4}\@@begthe{#6}}{\xxxend}
2.867 + \newenvironment{#2}{\nlni\begingroup#5#3\@@begthe{#6}}{\xxxend}}
2.868 +
2.869 +
2.870 +% Lemma, Proposition, Theorem, Corollary (\bf,\it)
2.871 +
2.872 +\newthe{lemma}{lemma*}{Lemma}{lemmacount}{\bf}{\it}
2.873 +\newthe{proposition}{proposition*}{Proposition}{lemmacount}{\bf}{\it}
2.874 +\newthe{theorem}{theorem*}{Theorem}{lemmacount}{\bf}{\it}
2.875 +\newthe{corollary}{corollary*}{Corollary}{lemmacount}{\bf}{\it}
2.876 +
2.877 +
2.878 +% Exercise, Problem, Solution, Definition (\bf,\rm)
2.879 +
2.880 +\newthe{exercise}{exercise*}{exercise}{lemmacount}{\bf}{\it}
2.881 +\newthe{problem}{problem*}{Problem}{lemmacount}{\bf}{\it}
2.882 +\newthe{solution}{solution*}{Solution}{lemmacount}{\bf}{\it}
2.883 +\newthe{definition}{definition*}{Definition}{lemmacount}{\bf}{\it}
2.884 +
2.885 +
2.886 +% Example, Note, Question (\bf,\rm)
2.887 +
2.888 +\newthe{example}{example*}{Example}{lemmacount}{\bf}{\rm}
2.889 +\newthe{note}{note*}{Note}{lemmacount}{\bf}{\rm}
2.890 +\newthe{question}{question*}{Question}{lemmacount}{\bf}{\rm}
2.891 +
2.892 +
2.893 +% Remark, Proof
2.894 +
2.895 +\newenvironment{remark}{\nlni\begingroup\it Remark. \rm}{
2.896 + \endgroup\vskip\baselineskip}
2.897 +\newenvironment{proof}{\nlni\begingroup\it Proof. \rm}{
2.898 + \endgroup\vskip\baselineskip}
2.899 +
2.900 +
2.901 +
2.902 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.903 +%
2.904 +% qed
2.905 +%
2.906 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.907 +
2.908 +\def\qed{\ifmmode\sq\else{\unskip\nobreak\hfil
2.909 +\penalty50\hskip1em\null\nobreak\hfil\sq
2.910 +\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}
2.911 +
2.912 +
2.913 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.914 +%
2.915 +% \eqnarticle simple equation numbers without chapter number
2.916 +% \eqnbook structured equation numbers (default)
2.917 +% changed by binding 5.2.91: changed to \numberlikearticle and
2.918 +% \numberlikebook, changing numbering of
2.919 +% figures and tables also.
2.920 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.921 +
2.922 +\def\numberlikearticle{\global\def\theequation{\arabic{equation}}
2.923 +\global\def\thetable{\arabic{table}}
2.924 +\global\def\thefigure{\arabic{figure}}}
2.925 +\def\numberlikebook{\global\def\theequation{\thechapter.\arabic{equation}}
2.926 +\global\def\thetable{\thechapter.\arabic{table}}
2.927 +\global\def\thefigure{\thechapter.\arabic{figure}}}
2.928 +
2.929 +
2.930 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.931 +%
2.932 +% Redeclaration of \makeatletter; no @-expressions may be used from now on
2.933 +%
2.934 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.935 +
2.936 +\makeatother
2.937 +
2.938 +
2.939 +
2.940 +
2.941 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.942 +%
2.943 +% End of MATHSING.STY
2.944 +%
2.945 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2.946 +
2.947 +
2.948 +