doc-src/mathsing.sty
author clasohm
Fri, 22 Apr 1994 20:52:01 +0200
changeset 337 bd39933d107b
parent 292 cc69ef31cfc3
child 350 d9ebca601847
permissions -rw-r--r--
renamed theory files
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
292
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
     1
%% edited by LCP!!  
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
     2
%%   Commented out the change to \newlinechar
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
     3
%%   Increased space in Contents
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
     4
%%   Changed \thebibliography to the defn in llncs.sty
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
     5
%%   Added ttbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
     6
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
     7
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
     8
%   MATHSING.STY        Version 1.1
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
     9
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    10
%   This LaTeX style option file contains necessary macros for writing
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    11
%   camera ready English single author math book manuscripts.
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    12
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    13
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    14
%   Usage:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    15
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    16
%      \documentstyle[12pt,mathsing]{book}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    17
%        ...
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    18
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    19
%   Change log:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    20
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    21
%      90/11/04  pagestyle empty for first page of chapter
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    22
%      90/11/04  distinct figure and table captions
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    23
%      90/11/04  \small for captions and headings
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    24
%      90/11/04  improved definition of theorem-like environments
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    25
%      90/12/01  separation after chapter title changed to 5.1cm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    26
%      90/12/01  page size changed to 45x14.4+10pt=23.05cm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    27
%      90/12/01  references
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    28
%      90/12/01  common counter for theorem-like environments
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    29
%      90/12/02  table of contents
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    30
%      90/12/02  final improvements and corrections
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    31
%      90/12/26  two styles for equation numbers
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    32
%      91/02/05  \numberlikebook and \numberlikearticle replace
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    33
%                \eqnbook and \eqnarticle
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    34
%      91/10/07  \listoffigures, \listoftables made similar to
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    35
%                \tableofcontents,
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    36
%                running head of Index changed: Sachverzeichnis -> Index,
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    37
%                \newthe now uses \thechapter instead of \arabic{chapter}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    38
%      91/02/05  binding: \tablebook, \tablearticle
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    39
%                \figurebook, \figurearticle added
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    40
%      91/10/07  holzwarth: \listoffigures, \listoftables
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    41
%                according to \tableofcontents,
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    42
%                \begin{theindex}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    43
%                \newthe to produce correct numbers
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    44
%      91/12/03  \chapter, \section, and \subsection now do not
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    45
%                hyphenate the headings any more
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    46
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    47
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    48
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    49
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    50
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    51
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    52
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    53
%  change the catcode of @ (allows names containing @ after \begin{document})
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    54
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    55
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    56
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    57
\makeatletter
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    58
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    59
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    60
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    61
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    62
%     page layout and dimensions
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    63
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    64
% The following commands are redefined:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    65
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    66
%   \ps@headings    (cf. BOOK.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    67
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    68
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    69
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    70
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    71
%     Layout
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    72
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    73
%     Note: The following values do not apply for English Springer
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    74
%     books on phsics; use \baselineskip=14pt, \textwidth=13.8cm,
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    75
%     \textheight=640pt (=45x14pt+10pt=22.5cm) instead!
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    76
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    77
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    78
\baselineskip=14.4pt          % LaTeX default
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    79
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    80
\topmargin=0cm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    81
\textwidth=14.2cm             % 1.2 x 11.833 cm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    82
\textheight=658pt             % 45x14.4pt+10pt = 658pt = 23.0554cm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    83
%\textheight=23.2502cm         % 1.2x19.3752cm=23.2502cm (first version)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    84
\oddsidemargin=0.7cm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    85
\evensidemargin=0.7cm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    86
\headsep=20pt                 % ?
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    87
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    88
\parindent=7mm                % 1.2 x 5.833mm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    89
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    90
\hfuzz=2pt                    % supress "overfull box" messages below 2pt
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    91
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    92
\frenchspacing                % no large blanks at the end of a sentence
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    93
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    94
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    95
\tolerance=500
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    96
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    97
\abovedisplayskip=3.6 mm plus7.2pt minus 4.8pt
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    98
\belowdisplayskip=3.6 mm plus7.2pt minus 4.8pt
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
    99
\abovedisplayshortskip=0.0 mm plus7.2pt minus 2.4pt
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   100
\belowdisplayshortskip=2.4 mm plus4.8pt minus 4.8pt
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   101
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   102
\predisplaypenalty=0          % penalties for page break
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   103
\clubpenalty=10000            %
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   104
\widowpenalty=10000           %
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   105
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   106
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   107
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   108
%     running titles
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   109
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   110
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   111
% binding 5.2.91 \hspace changed to 1.0 cm    |           |
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   112
% binding 5.2.91 dot deleted after \thesection                 |
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   113
\def\ps@headings{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   114
    \let\@mkboth\markboth
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   115
    \def\@oddfoot{}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   116
    \def\@evenfoot{}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   117
    \def\@evenhead{\rm\small\thepage\hspace{1.0cm}\leftmark\hfil\hbox{}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   118
    \def\@oddhead{\hbox{}\hfil\rm\small\rightmark\hspace{1.0cm}\thepage}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   119
    \def\chaptermark##1{\markboth
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   120
                        {\ifnum \c@secnumdepth >\m@ne \thechapter.\ \fi ##1}{}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   121
%hier punkt raus. binding                                      |
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   122
    \def\sectionmark##1{\markright
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   123
                        {\ifnum \c@secnumdepth >\z@ \thesection\ \fi ##1}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   124
    }
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   125
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   126
\pagestyle{headings}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   127
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   128
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   129
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   130
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   131
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   132
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   133
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   134
% Chapters and Sections
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   135
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   136
% The following commands are redefined:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   137
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   138
%  \@makechapterhead    (cf. BK12.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   139
%  \@makeschapterhead   (cf. BK12.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   140
%  \chapter             (cf. BK12.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   141
%  \@sect               (cf. LATEX.TEX)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   142
%  \section             (cf. BK12.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   143
%  \subsection          (cf. BK12.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   144
%  \subsubsection       (cf. BK12.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   145
%  \paragraph           (cf. BK12.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   146
%  \subparagraph        (cf. BK12.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   147
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   148
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   149
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   150
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   151
%     number of numbered section levels
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   152
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   153
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   154
\setcounter{secnumdepth}{3}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   155
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   156
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   157
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   158
%     Adapt the font size for chapter titles and supress printing of
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   159
%     the word "chapter"
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   160
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   161
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   162
\def\@makechapterhead#1{ { \parindent 0pt \raggedright
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   163
% \pretolerance added 12/3/91 fuh
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   164
{\pretolerance=10000\Large \bf \thechapter.\hspace{0.3cm}#1\par}%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   165
 \nobreak \vskip 4cm \vskip\baselineskip} }
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   166
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   167
\def\@makeschapterhead#1{ { \parindent 0pt \raggedright
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   168
% \pretolerance added 12/3/91 fuh
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   169
 \pretolerance=10000\Large \bf #1\par
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   170
 \nobreak \vskip 4cm \vskip\baselineskip} }
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   171
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   172
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   173
%     define pagestyle=empty for first page of a chapter
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   174
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   175
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   176
\def\chapter{\cleardoublepage \thispagestyle{empty} \global\@topnum\z@
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   177
\@afterindentfalse \secdef\@chapter\@schapter}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   178
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   179
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   180
%     Change the distance between section number and title from 1em to 2mm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   181
%     binding:  changed again to 1en=0.5em       |     5.2.91
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   182
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   183
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   184
\def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   185
     \def\@svsec{}\else
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   186
     \refstepcounter{#1}%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   187
     \edef\@svsec{\csname the#1\endcsname\hskip 0.5em }\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   188
     \@tempskipa #5\relax
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   189
      \ifdim \@tempskipa>\z@
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   190
        \begingroup #6\relax
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   191
% changed by Binding :) 20.3.91
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   192
% old:    \@hangfrom{\hskip #3\relax\@svsec}{\interlinepenalty \@M #8\par}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   193
% \@hangfrom deleted to avoid hanging indentation \noindent added
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   194
          {\noindent\hskip #3\relax\@svsec}%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   195
          {\interlinepenalty \@M #8\par}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   196
        \endgroup
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   197
       \csname #1mark\endcsname{#7}\addcontentsline
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   198
         {toc}{#1}{\ifnum #2>\c@secnumdepth \else
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   199
                      \protect\numberline{\csname the#1\endcsname}\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   200
                    #7}\else
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   201
        \def\@svsechd{#6\hskip #3\@svsec #8\csname #1mark\endcsname
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   202
                      {#7}\addcontentsline
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   203
                           {toc}{#1}{\ifnum #2>\c@secnumdepth \else
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   204
                             \protect\numberline{\csname the#1\endcsname}\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   205
                       #7}}\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   206
     \@xsect{#5}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   207
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   208
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   209
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   210
%     Font size for section titles;
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   211
%     Increased vertical space before and after sections, subsections
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   212
%     and subsubsections by 1ex; run-in headings starting with subsubsection
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   213
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   214
%     (\@startsection{NAME}{LEVEL}{INDENT}{BEFORESKIP}{AFTERSKIP}{STYLE})
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   215
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   216
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   217
%binding, 18.3.91:  \boldmath inserted
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   218
\def\section{\@startsection{section}{1}{\z@}{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   219
             -4.50ex plus -1ex minus -.2ex}{3.3ex plus .2ex}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   220
             {\large\bf\boldmath\raggedright\pretolerance=10000}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   221
% \raggedright and \pretolerance added 12/3/91 fuh
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   222
\def\subsection{\@startsection{subsection}{2}{\z@}{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   223
             -4.25ex plus -1ex minus -.2ex}{2.5ex plus .2ex}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   224
             {\normalsize\bf\boldmath\raggedright\pretolerance=10000}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   225
% \raggedright and \pretolerance added 12/3/91 fuh
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   226
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   227
             -3.25ex plus -1ex minus -.2ex}{-0.5em}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   228
             {\normalsize\bf\boldmath}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   229
\def\paragraph{\@startsection{paragraph}{4}{\z@}{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   230
             -3.25ex plus -1ex minus -.2ex}{-0.5em}{\normalsize\it}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   231
\def\subparagraph{\@startsection{subparagraph}{5}{\@}{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   232
             -3.25ex plus -1ex minus -.2ex}{-0.5em}{\normalsize\it}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   233
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   234
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   235
%20.3.91, binding: \labelitemi changed
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   236
\renewcommand{\labelitemi}{$\bullet$}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   237
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   238
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   239
% Tables
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   240
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   241
% Change width of horizontal and vertical lines in arrays and tables
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   242
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   243
% The following commands are redefined:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   244
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   245
%  \arrayrulewidth
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   246
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   247
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   248
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   249
\arrayrulewidth0.15mm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   250
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   251
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   252
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   253
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   254
% Figure and table captions (small)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   255
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   256
% To meet the different requirements for table and figure captions
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   257
% new macros \@makefigurecaption and \@maketablecaption are introduced
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   258
% in addition to \@makecaption (cf. BOOK.STY). The \@caption macro is
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   259
% changed to check for figures and tables.
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   260
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   261
% The following commands are redefined:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   262
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   263
%  \@caption         (cf. LATEX.TEX)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   264
%  \fnum@figure      (cf. BOOK.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   265
%  \fnum@table       (cf. BOOK.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   266
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   267
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   268
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   269
\long\def\@caption#1[#2]#3{\addcontentsline{\csname
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   270
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   271
  the#1\endcsname}{\ignorespaces #2}}\par
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   272
  \begingroup
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   273
    \@parboxrestore
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   274
    \normalsize
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   275
    \csname @make#1caption\endcsname
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   276
    {\csname fnum@#1\endcsname}{\ignorespaces #3}\par
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   277
  \endgroup}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   278
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   279
\long\def\@makefigurecaption#1#2{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   280
 \vskip 10pt                     % skip between figure and caption
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   281
 {\small                         % required here for correct \baselineskip !
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   282
 \setbox\@tempboxa\hbox{\small{\bf#1}#2}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   283
 \ifdim \wd\@tempboxa >\hsize
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   284
   \unhbox\@tempboxa\par
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   285
 \else
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   286
   \hbox to\hsize{\hfil\box\@tempboxa\hfil}       % centered short caption !
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   287
 \fi}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   288
 \vskip 10pt}                    % additional space between caption and text
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   289
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   290
\long\def\@maketablecaption#1#2{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   291
 \vskip 10pt                     % additional space between text and caption
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   292
 {\small                         % required here for correct \baselineskip !
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   293
 \setbox\@tempboxa\hbox{\small{\bf#1}#2}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   294
 \ifdim \wd\@tempboxa >\hsize
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   295
   \unhbox\@tempboxa\par
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   296
 \else \hbox  to\hsize{\box\@tempboxa\hfil}   % leftadjusted short caption !
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   297
 \fi}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   298
 \vskip 10pt}                    % skip between caption and table
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   299
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   300
\def\fnum@figure{Fig.$\,$\thefigure.$\;$}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   301
\def\fnum@table{Table$\,$\thetable.$\;$}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   302
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   303
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   304
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   305
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   306
%  Distance between text and floatings (tables, figures)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   307
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   308
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   309
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   310
\floatsep 14pt plus 2pt minus 4pt        % LaTeX defaults values
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   311
\textfloatsep 20pt plus 2pt minus 4pt    %
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   312
\intextsep 14pt plus 4pt minus 4pt       %
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   313
\@maxsep 20pt                            %
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   314
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   315
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   316
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   317
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   318
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   319
% Table of contents
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   320
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   321
% The following commands are redefined:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   322
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   323
%  \l@chapter        (cf. LATEX.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   324
%  \tableofcontents
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   325
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   326
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   327
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   328
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   329
%     lowest level for table of contents entries
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   330
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   331
\setcounter{tocdepth}{3}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   332
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   333
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   334
%     dotted line for chapters in table of contents
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   335
%     (cf. definition of \@dottedline in LATEX.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   336
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   337
\def\l@chapter#1#2{\pagebreak[3]
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   338
 \vskip 1.0em plus 1pt \@tempdima 1.5em \begingroup
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   339
 \parindent \z@ \rightskip \@pnumwidth
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   340
 \parfillskip -\@pnumwidth
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   341
 \rm \leavevmode #1
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   342
 \nobreak\leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern \@dotsep mu$}\hfill
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   343
 \nobreak
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   344
 \hbox to\@pnumwidth{\hss \rm #2}\par
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   345
 \endgroup}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   346
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   347
%copied from book.sty to leave room for 12.11, etc. -- Frank Holzwarth via LCP
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   348
\def\l@section{\@dottedtocline{1}{1.5em}{2.8em}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   349
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   350
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   351
%     Adaption of \tableofcontents (title,headings,pagenumber)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   352
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   353
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   354
\def\tableofcontents{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   355
     \@restonecolfalse
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   356
     \if@twocolumn\@restonecoltrue\onecolumn\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   357
     \chapter*{Table of Contents}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   358
     \markboth{Table of Contents}{Table of Contents}  % headline
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   359
     \renewcommand{\thepage}{\Roman{page}}            % roman page number
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   360
     \@starttoc{toc}\if@restonecol\twocolumn\fi}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   361
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   362
%%%%%%%% added 91/10/07 fuh %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   363
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   364
% List of figures
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   365
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   366
% The following commands are redefined:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   367
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   368
%  \listoffigures
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   369
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   370
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   371
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   372
\def\listoffigures{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   373
     \@restonecolfalse
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   374
     \if@twocolumn\@restonecoltrue\onecolumn\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   375
     \chapter*{List of Figures}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   376
     \markboth{List of Figures}{List of Figures}      % headline
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   377
     \renewcommand{\thepage}{\Roman{page}}            % roman page number
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   378
     \@starttoc{lof}\if@restonecol\twocolumn\fi}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   379
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   380
%%%%%%%% added 91/10/07 fuh %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   381
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   382
% List of tables
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   383
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   384
% The following commands are redefined:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   385
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   386
%  \listoftables
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   387
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   388
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   389
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   390
\def\listoftables{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   391
     \@restonecolfalse
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   392
     \if@twocolumn\@restonecoltrue\onecolumn\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   393
     \chapter*{List of Tables}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   394
     \markboth{List of Tables}{List of Tables}        % headline
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   395
     \renewcommand{\thepage}{\Roman{page}}            % roman page number
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   396
     \@starttoc{lot}\if@restonecol\twocolumn\fi}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   397
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   398
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   399
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   400
% Index (with table of contents entry)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   401
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   402
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   403
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   404
\def\theindex{ \cleardoublepage
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   405
               \small
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   406
               \columnseprule \z@
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   407
               \columnsep=0.84cm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   408
               \twocolumn[\@makeschapterhead{Index}]
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   409
               \addcontentsline{toc}{chapter}{Index}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   410
               \@mkboth{Index}{Index}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   411
               \thispagestyle{plain}\parindent\z@
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   412
               \parskip\z@ plus .3pt\relax\let\item\@idxitem}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   413
\def\@idxitem{\par\hangindent 15pt}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   414
\def\subitem{\par\hangindent 15pt -- }
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   415
\def\endtheindex{\clearpage}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   416
\def\indexspace{\par \vskip 10pt plus 5pt minus 3pt\relax}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   417
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   418
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   419
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   420
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   421
% References (Bibliography)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   422
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   423
% Macros for creating a list of references in small print using LaTeX
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   424
% defaults or some special Springer commands.
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   425
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   426
% Usage:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   427
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   428
%   \begin{thebibliography}{wide-label}      % LaTeX standard macros
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   429
%     \bibitem[label]{name} ... text ...
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   430
%     \bibitem[label]{name} ... text ...
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   431
%   \end{thebibliography}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   432
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   433
%   or
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   434
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   435
%   \begin{references}{wide-label}           % Springer macros
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   436
%     \refer            ... text ...
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   437
%     \refno{no.}       ... text ...
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   438
%     \refmark{[label]} ... text ...
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   439
%   \end{references}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   440
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   441
% New commands:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   442
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   443
%   \refchapter      starts an unnumbered chapter "References"; small font
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   444
%   \refer           unlabeled item with hanging indentation
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   445
%   \refno           right adjusted label (for numbers)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   446
%   \refmark         left adjusted label (for text labels)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   447
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   448
% Changed commands
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   449
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   450
%   \thebibliography       (BOOK.STY)   (further edit by LCP!)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   451
%   \endthebibliography    (BOOK.STY)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   452
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   453
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   454
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   455
\def\refchapter{\chapter*{References}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   456
\parindent0pt\parskip0pt\small
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   457
\addcontentsline{toc}{chapter}{References}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   458
\markboth{References}{References}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   459
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   460
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   461
\def\thebibliography#1{\refchapter\small\list
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   462
  {\arabic{enumi}.}{\settowidth\labelwidth{#1.}\leftmargin\labelwidth
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   463
    \advance\leftmargin\labelsep
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   464
    \usecounter{enumi}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   465
    \def\newblock{\hskip .11em plus .33em minus -.07em}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   466
    \sloppy
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   467
    \sfcode`\.=1000\relax}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   468
\let\endthebibliography=\endlist
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   469
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   470
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   471
\newenvironment{references}[1]{\refchapter
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   472
                               \settowidth\labelwidth{#1\enspace}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   473
                               \begingroup}{\endgraf\endgroup}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   474
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   475
% The following macros are from REFER.TEX.
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   476
% \refindent is replaced by the predefined dimension \labelwidth
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   477
% that is also used by \thebibliography; \ref is replaced by \refer
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   478
% since \ref is already used for referencing lables!
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   479
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   480
%%%\newlinechar=`\|
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   481
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   482
% \refer produces ordinary entries, successive line are indented 1em
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   483
\def\refer{\goodbreak\hangindent1em\hangafter=1\noindent\ignorespaces}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   484
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   485
% \refno produces entries with right-aligned marks in the margin
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   486
\def\refno#1{\goodbreak
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   487
\setbox0=\hbox{#1\enspace}\ifdim\labelwidth<\wd0\relax
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   488
\message{|Your reference `#1' is wider than you pretended in using
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   489
\string\begref.}\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   490
\hangindent\labelwidth\hangafter=1\noindent
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   491
\kern\labelwidth\llap{#1\enspace}\ignorespaces}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   492
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   493
% \refmark produces entries with left-aligned marks in the margin
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   494
\def\refmark#1{\goodbreak
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   495
\setbox0=\hbox{#1\enspace}\ifdim\labelwidth<\wd0\relax
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   496
\message{|Your reference `#1' is wider than you pretended in using
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   497
\string\begref.}\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   498
\hangindent\labelwidth\hangafter=1\noindent
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   499
\hbox to\labelwidth{#1\hss}\ignorespaces}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   500
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   501
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   502
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   503
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   504
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   505
%  New environments
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   506
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   507
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   508
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   509
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   510
%  The following lines define a new environment 'listing'
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   511
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   512
%         \begin{listing}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   513
%               ...
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   514
%         \end{listing}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   515
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   516
%  that prints listings using \footnotesize and takes care to reset
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   517
%  the \baselineskip. The macro definition is based on ALLTT.STY that
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   518
%  allows various TEX commands to be given within the environment
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   519
%  (e.g. '\input', '\index' or '\it'). '%' has been retained as a special
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   520
%  character within 'listing', however, to avoid unwanted line breaks.
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   521
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   522
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   523
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   524
\def\docspecials{\do\ \do\$\do\&%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   525
  \do\#\do\^\do\^^K\do\_\do\^^A\do\~}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   526
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   527
\newdimen\oldbaselineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   528
\def\listing{\par\noindent\oldbaselineskip=\baselineskip \footnotesize%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   529
\trivlist \item[]\if@minipage\else\vskip\parskip\fi
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   530
\leftskip\@totalleftmargin\rightskip\z@
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   531
\parindent\z@\parfillskip\@flushglue\parskip\z@
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   532
\@tempswafalse \def\par{\if@tempswa\hbox{}\fi\@tempswatrue\@@par}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   533
\obeylines \tt \catcode``=13 \@noligs \let\do\@makeother \docspecials
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   534
 \frenchspacing\@vobeyspaces}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   535
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   536
\def\endlisting{\endtrivlist\baselineskip=\oldbaselineskip}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   537
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   538
%Add ttbox to Springer's macros!!  - LCP
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   539
\newenvironment{ttbox}{\par\nobreak\vskip-2pt%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   540
           \vbox\bgroup\begin{listing}\leftskip\leftmargini}%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   541
        {\end{listing}\egroup\vskip-7pt\@endparenv}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   542
\newcommand\ttbreak{\end{ttbox}\goodbreak\vskip-8pt plus 3pt\begin{ttbox}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   543
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   544
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   545
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   546
% Acknowledgements ( = acknow.tex)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   547
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   548
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   549
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   550
\def\ack#1{\vskip11pt\begingroup\noindent{\it Acknowledgements\/}.
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   551
\ignorespaces#1\vskip6pt\endgroup}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   552
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   553
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   554
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   555
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   556
% Definition of versal greek letters ( = ucgreek.tex)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   557
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   558
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   559
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   560
\mathchardef\Gamma="0100
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   561
\mathchardef\Delta="0101
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   562
\mathchardef\Theta="0102
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   563
\mathchardef\Lambda="0103
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   564
\mathchardef\Xi="0104
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   565
\mathchardef\Pi="0105
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   566
\mathchardef\Sigma="0106
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   567
\mathchardef\Upsilon="0107
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   568
\mathchardef\Phi="0108
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   569
\mathchardef\Psi="0109
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   570
\mathchardef\Omega="010A
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   571
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   572
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   573
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   574
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   575
% Vectors ( = vector.tex)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   576
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   577
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   578
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   579
% This is vector.tex
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   580
% it redefines the plain TeX \vec command
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   581
% to produce bold characters
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   582
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   583
\def\vec#1{\ifmmode
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   584
\mathchoice{\mbox{\boldmath$\displaystyle\bf#1$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   585
{\mbox{\boldmath$\textstyle\bf#1$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   586
{\mbox{\boldmath$\scriptstyle\bf#1$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   587
{\mbox{\boldmath$\scriptscriptstyle\bf#1$}}\else
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   588
{\mbox{\boldmath$\bf#1$}}\fi}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   589
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   590
%\def\vec#1{{\textfont0=\tenbf\scriptfont0=\sevenbf
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   591
%\scriptscriptfont0=\fivebf
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   592
%\textfont1=\tenbf\scriptfont1=\sevenbf
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   593
%\scriptscriptfont1=\fivebf
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   594
%\ifmmode % supply all varieties of math sizes
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   595
%   \mathchoice{\hbox{$\displaystyle#1$}}{\hbox{$\textstyle#1$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   596
%   {\hbox{$\scriptstyle#1$}}{\hbox{$\scriptscriptstyle#1$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   597
%\else\hbox{$#1$}\fi}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   598
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   599
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   600
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   601
% Symbols ( = symbols.tex )
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   602
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   603
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   604
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   605
% This is symbols.tex
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   606
% the symbols not available in plain TeX are constructed
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   607
% by overprinting some characters
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   608
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   609
\def\sun{{\hbox{$\odot$}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   610
\def\la{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   611
$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.5pt}\sim\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   612
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   613
\noalign{\vskip1.0pt}\sim\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   614
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   615
\noalign{\vskip0.5pt}\sim\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   616
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   617
\cr<\cr\noalign{\vskip0.5pt}\sim\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   618
\def\ga{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   619
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.5pt}\sim\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   620
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   621
\noalign{\vskip1.0pt}\sim\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   622
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   623
\noalign{\vskip0.5pt}\sim\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   624
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   625
\cr>\cr\noalign{\vskip0.5pt}\sim\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   626
\def\sq{\hbox{\rlap{$\sqcap$}$\sqcup$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   627
\def\degr{\hbox{$^\circ$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   628
\def\arcmin{\hbox{$^\prime$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   629
\def\arcsec{\hbox{$^{\prime\prime}$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   630
\def\utw{\smash{\rlap{\lower5pt\hbox{$\sim$}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   631
\def\udtw{\smash{\rlap{\lower6pt\hbox{$\approx$}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   632
\def\fd{\hbox{$.\!\!^{\rm d}$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   633
\def\fh{\hbox{$.\!\!^{\rm h}$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   634
\def\fm{\hbox{$.\!\!^{\rm m}$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   635
\def\fs{\hbox{$.\!\!^{\rm s}$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   636
\def\fdg{\hbox{$.\!\!^\circ$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   637
\def\farcm{\hbox{$.\mkern-4mu^\prime$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   638
\def\farcs{\hbox{$.\!\!^{\prime\prime}$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   639
\def\fp{\hbox{$.\!\!^{\scriptscriptstyle\rm p}$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   640
\def\getsto{\mathrel{\mathchoice {\vcenter{\offinterlineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   641
\halign{\hfil$\displaystyle##$\hfil\cr\gets\cr\to\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   642
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   643
\gets\cr\to\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   644
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   645
\gets\cr\to\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   646
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   647
\gets\cr\to\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   648
\def\cor{\mathrel{\mathchoice {\hbox{$\widehat=$}}{\hbox{$\widehat=$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   649
{\hbox{$\scriptstyle\hat=$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   650
{\hbox{$\scriptscriptstyle\hat=$}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   651
\def\grole{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   652
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip-1.5pt}<\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   653
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   654
>\cr\noalign{\vskip-1.5pt}<\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   655
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   656
>\cr\noalign{\vskip-1pt}<\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   657
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   658
>\cr\noalign{\vskip-0.5pt}<\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   659
\def\lid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   660
$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.5pt}=\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   661
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   662
\noalign{\vskip1pt}=\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   663
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   664
\noalign{\vskip0.5pt}=\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   665
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   666
<\cr\noalign{\vskip0.5pt}=\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   667
\def\gid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   668
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.5pt}=\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   669
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   670
\noalign{\vskip1pt}=\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   671
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   672
\noalign{\vskip0.5pt}=\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   673
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   674
>\cr\noalign{\vskip0.5pt}=\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   675
\def\sol{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   676
$\displaystyle##$\hfil\cr\sim\cr\noalign{\vskip-0.2mm}<\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   677
{\vcenter{\offinterlineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   678
\halign{\hfil$\textstyle##$\hfil\cr\sim\cr<\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   679
{\vcenter{\offinterlineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   680
\halign{\hfil$\scriptstyle##$\hfil\cr\sim\cr<\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   681
{\vcenter{\offinterlineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   682
\halign{\hfil$\scriptscriptstyle##$\hfil\cr\sim\cr<\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   683
\def\sog{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   684
$\displaystyle##$\hfil\cr\sim\cr\noalign{\vskip-0.2mm}>\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   685
{\vcenter{\offinterlineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   686
\halign{\hfil$\textstyle##$\hfil\cr\sim\cr>\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   687
{\vcenter{\offinterlineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   688
\halign{\hfil$\scriptstyle##$\hfil\cr\sim\cr>\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   689
{\vcenter{\offinterlineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   690
\halign{\hfil$\scriptscriptstyle##$\hfil\cr\sim\cr>\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   691
\def\lse{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   692
$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.5pt}\simeq\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   693
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   694
\noalign{\vskip1pt}\simeq\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   695
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   696
\noalign{\vskip0.5pt}\simeq\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   697
{\vcenter{\offinterlineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   698
\halign{\hfil$\scriptscriptstyle##$\hfil\cr<\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   699
\noalign{\vskip0.5pt}\simeq\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   700
\def\gse{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   701
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.5pt}\simeq\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   702
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   703
\noalign{\vskip1.0pt}\simeq\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   704
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   705
\noalign{\vskip0.5pt}\simeq\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   706
{\vcenter{\offinterlineskip
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   707
\halign{\hfil$\scriptscriptstyle##$\hfil\cr>\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   708
\noalign{\vskip0.5pt}\simeq\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   709
\def\grole{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   710
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip-1.5pt}<\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   711
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   712
>\cr\noalign{\vskip-1.5pt}<\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   713
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   714
>\cr\noalign{\vskip-1pt}<\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   715
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   716
>\cr\noalign{\vskip-0.5pt}<\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   717
\def\leogr{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   718
$\displaystyle##$\hfil\cr<\cr\noalign{\vskip-1.5pt}>\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   719
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   720
<\cr\noalign{\vskip-1.5pt}>\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   721
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   722
<\cr\noalign{\vskip-1pt}>\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   723
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   724
<\cr\noalign{\vskip-0.5pt}>\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   725
\def\loa{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   726
$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.5pt}\approx\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   727
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   728
\noalign{\vskip1.0pt}\approx\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   729
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   730
\noalign{\vskip0.5pt}\approx\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   731
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   732
<\cr\noalign{\vskip0.5pt}\approx\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   733
\def\goa{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   734
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.5pt}\approx\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   735
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   736
\noalign{\vskip1.0pt}\approx\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   737
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   738
\noalign{\vskip0.5pt}\approx\cr}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   739
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   740
>\cr\noalign{\vskip0.5pt}\approx\cr}}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   741
\def\bbbr{{\rm I\!R}} %reelle Zahlen
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   742
\def\bbbn{{\rm I\!N}} %natuerliche Zahlen
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   743
\def\bbbm{{\rm I\!M}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   744
\def\bbbh{{\rm I\!H}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   745
\def\bbbf{{\rm I\!F}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   746
\def\bbbk{{\rm I\!K}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   747
\def\bbbp{{\rm I\!P}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   748
\def\bbbone{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   749
{\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   750
\def\bbbc{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm C$}\hbox{\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   751
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   752
{\setbox0=\hbox{$\textstyle\rm C$}\hbox{\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   753
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   754
{\setbox0=\hbox{$\scriptstyle\rm C$}\hbox{\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   755
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   756
{\setbox0=\hbox{$\scriptscriptstyle\rm C$}\hbox{\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   757
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   758
\def\bbbe{{\mathchoice {\setbox0=\hbox{\smalletextfont e}\hbox{\raise
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   759
0.1\ht0\hbox to0pt{\kern0.4\wd0\vrule width0.3pt
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   760
height0.7\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   761
{\setbox0=\hbox{\smalletextfont e}\hbox{\raise
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   762
0.1\ht0\hbox to0pt{\kern0.4\wd0\vrule width0.3pt
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   763
height0.7\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   764
{\setbox0=\hbox{\smallescriptfont e}\hbox{\raise
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   765
0.1\ht0\hbox to0pt{\kern0.5\wd0\vrule width0.2pt
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   766
height0.7\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   767
{\setbox0=\hbox{\smallescriptscriptfont e}\hbox{\raise
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   768
0.1\ht0\hbox to0pt{\kern0.4\wd0\vrule width0.2pt
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   769
height0.7\ht0\hss}\box0}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   770
\def\bbbq{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm Q$}\hbox{\raise
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   771
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   772
{\setbox0=\hbox{$\textstyle\rm Q$}\hbox{\raise
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   773
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   774
{\setbox0=\hbox{$\scriptstyle\rm Q$}\hbox{\raise
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   775
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   776
{\setbox0=\hbox{$\scriptscriptstyle\rm Q$}\hbox{\raise
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   777
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   778
\def\bbbt{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   779
T$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   780
{\setbox0=\hbox{$\textstyle\rm T$}\hbox{\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   781
to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   782
{\setbox0=\hbox{$\scriptstyle\rm T$}\hbox{\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   783
to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   784
{\setbox0=\hbox{$\scriptscriptstyle\rm T$}\hbox{\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   785
to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   786
\def\bbbs{{\mathchoice
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   787
{\setbox0=\hbox{$\displaystyle     \rm S$}\hbox{\raise0.5\ht0\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   788
to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   789
to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   790
{\setbox0=\hbox{$\textstyle        \rm S$}\hbox{\raise0.5\ht0\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   791
to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   792
to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   793
{\setbox0=\hbox{$\scriptstyle      \rm S$}\hbox{\raise0.5\ht0\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   794
to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   795
to0pt{\kern0.5\wd0\vrule height0.45\ht0\hss}\box0}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   796
{\setbox0=\hbox{$\scriptscriptstyle\rm S$}\hbox{\raise0.5\ht0\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   797
to0pt{\kern0.4\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   798
to0pt{\kern0.55\wd0\vrule height0.45\ht0\hss}\box0}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   799
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   800
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   801
% note: changed \sans to \sf for LaTeX
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   802
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   803
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   804
\def\bbbz{{\mathchoice {\hbox{$\sf\textstyle Z\kern-0.4em Z$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   805
{\hbox{$\sf\textstyle Z\kern-0.4em Z$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   806
{\hbox{$\sf\scriptstyle Z\kern-0.3em Z$}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   807
{\hbox{$\sf\scriptscriptstyle Z\kern-0.2em Z$}}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   808
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   809
\def\diameter{{\ifmmode\oslash\else$\oslash$\fi}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   810
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   811
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   812
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   813
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   814
% petit  (substitute for petit.tex)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   815
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   816
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   817
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   818
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   819
\newenvironment{petit}{\vskip6pt\begingroup\small}{\endgroup\vskip6pt}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   820
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   821
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   822
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   823
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   824
% New environments
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   825
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   826
%   lemma, proposition, theorem, corollary  (\bf,\it)  (numbered)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   827
%   exercise, problem, solution, definition (\bf,\rm)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   828
% 27.3.91 binding: example, note and question changed to (\bf, \rm)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   829
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   830
%   lemma*, proposition*, theorem*, corollary*  (\bf,\it)   (unnumbered)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   831
%   exercise*, problem*, solution*, definition* (\bf,\rm)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   832
%   example*, note*, question* (\it,\rm)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   833
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   834
%   remark, proof (\it,\rm)  (unnumbered)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   835
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   836
%   usage:   \begin{lemma}  or  \begin{lemma}[COMMENT]
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   837
%              ...                ...
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   838
%            \end{lemma}        \end{lemma}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   839
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   840
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   841
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   842
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   843
% currently one counter is used for all theorem like environments
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   844
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   845
\newcounter{lemmacount}[chapter]
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   846
\renewcommand{\thelemmacount}{\thechapter.\arabic{lemmacount}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   847
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   848
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   849
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   850
% short form for defininng new theorem like environments:
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   851
% \newthe{NAME}{NAME*}{TITLE}{COUNTER}{FONT1}{FONT2}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   852
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   853
\def\@@begthe#1{\@ifnextchar[{\@optbegthe#1}{\@begthe#1}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   854
%27.3.91 binding: dot deleted
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   855
%def\@begthe#1{. #1}   old
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   856
\def\@begthe#1{ #1}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   857
\def\@optbegthe#1[#2]{ {#2} #1}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   858
\newcommand{\newthe}[6]{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   859
 \def\nlni{\par\ifvmode\removelastskip\fi\vskip\baselineskip\noindent}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   860
 \def\xxxend{\endgroup\vskip\baselineskip}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   861
 \newenvironment{#1}{\nlni\begingroup\refstepcounter{#4}#5#3
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   862
%changed 91/10/7 fuh:\arabic{chapter}.\arabic{#4}\@@begthe{#6}}{\xxxend}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   863
                     \thechapter.\arabic{#4}\@@begthe{#6}}{\xxxend}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   864
 \newenvironment{#2}{\nlni\begingroup#5#3\@@begthe{#6}}{\xxxend}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   865
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   866
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   867
% Lemma, Proposition, Theorem, Corollary  (\bf,\it)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   868
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   869
\newthe{lemma}{lemma*}{Lemma}{lemmacount}{\bf}{\it}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   870
\newthe{proposition}{proposition*}{Proposition}{lemmacount}{\bf}{\it}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   871
\newthe{theorem}{theorem*}{Theorem}{lemmacount}{\bf}{\it}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   872
\newthe{corollary}{corollary*}{Corollary}{lemmacount}{\bf}{\it}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   873
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   874
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   875
% Exercise, Problem, Solution, Definition (\bf,\rm)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   876
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   877
\newthe{exercise}{exercise*}{exercise}{lemmacount}{\bf}{\it}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   878
\newthe{problem}{problem*}{Problem}{lemmacount}{\bf}{\it}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   879
\newthe{solution}{solution*}{Solution}{lemmacount}{\bf}{\it}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   880
\newthe{definition}{definition*}{Definition}{lemmacount}{\bf}{\it}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   881
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   882
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   883
% Example, Note, Question (\bf,\rm)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   884
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   885
\newthe{example}{example*}{Example}{lemmacount}{\bf}{\rm}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   886
\newthe{note}{note*}{Note}{lemmacount}{\bf}{\rm}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   887
\newthe{question}{question*}{Question}{lemmacount}{\bf}{\rm}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   888
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   889
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   890
% Remark, Proof
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   891
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   892
\newenvironment{remark}{\nlni\begingroup\it Remark. \rm}{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   893
                        \endgroup\vskip\baselineskip}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   894
\newenvironment{proof}{\nlni\begingroup\it Proof. \rm}{
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   895
                       \endgroup\vskip\baselineskip}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   896
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   897
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   898
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   899
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   900
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   901
% qed
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   902
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   903
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   904
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   905
\def\qed{\ifmmode\sq\else{\unskip\nobreak\hfil
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   906
\penalty50\hskip1em\null\nobreak\hfil\sq
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   907
\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   908
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   909
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   910
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   911
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   912
%  \eqnarticle    simple equation numbers without chapter number
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   913
%  \eqnbook       structured equation numbers (default)
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   914
%   changed by binding 5.2.91: changed to \numberlikearticle and
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   915
%                                \numberlikebook, changing numbering of
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   916
%                              figures and tables also.
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   917
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   918
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   919
\def\numberlikearticle{\global\def\theequation{\arabic{equation}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   920
\global\def\thetable{\arabic{table}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   921
\global\def\thefigure{\arabic{figure}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   922
\def\numberlikebook{\global\def\theequation{\thechapter.\arabic{equation}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   923
\global\def\thetable{\thechapter.\arabic{table}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   924
\global\def\thefigure{\thechapter.\arabic{figure}}}
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   925
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   926
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   927
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   928
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   929
%  Redeclaration of \makeatletter; no @-expressions may be used from now on
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   930
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   931
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   932
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   933
\makeatother
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   934
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   935
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   936
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   937
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   938
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   939
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   940
%   End of MATHSING.STY
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   941
%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   942
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   943
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   944
cc69ef31cfc3 first draft of Springer volume
lcp
parents:
diff changeset
   945