first draft of Springer volume
authorlcp
Wed Mar 23 11:32:21 1994 +0100 (1994-03-23)
changeset 292cc69ef31cfc3
parent 291 a615050a7494
child 293 63a0077dd9f2
first draft of Springer volume
doc-src/extra.sty
doc-src/mathsing.sty
     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 +