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