doc-src/TutorialI/cl2emono-modified.sty
author wenzelm
Thu, 08 Sep 2011 00:20:09 +0200
changeset 44809 df3626d1066e
parent 10500 df47f58b8253
permissions -rw-r--r--
more substructural sharing to gain significant compression;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10410
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
     1
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
     2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
     3
%%  This is cl2emono.sty version 2.2
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
     4
%%  (intermediate fix also for springer.sty for the use of
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
     5
%%  LaTeX2e and NFSS2)
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
     6
%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
     7
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
     8
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
     9
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    10
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    11
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    12
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    13
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    14
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    15
%  This is ucgreek
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    16
%  the definition of versal greek characters
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    17
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    18
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    19
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    20
\mathchardef\Gamma="0100
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    21
\mathchardef\Delta="0101
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    22
\mathchardef\Theta="0102
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    23
\mathchardef\Lambda="0103
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    24
\mathchardef\Xi="0104
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    25
\mathchardef\Pi="0105
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    26
\mathchardef\Sigma="0106
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    27
\mathchardef\Upsilon="0107
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    28
\mathchardef\Phi="0108
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    29
\mathchardef\Psi="0109
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    30
\mathchardef\Omega="010A
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    31
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    32
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    33
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    34
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    35
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    36
%             This is referee.tex
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    37
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    38
% It defines the style option "referee"
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    39
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    40
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    41
\newif\if@referee \@refereefalse
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    42
\def\ds@referee{\@refereetrue
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    43
\typeout{A referee's copy will be produced.}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    44
\def\baselinestretch{2}\small
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    45
\normalsize\rm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    46
\newbox\refereebox
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    47
\setbox\refereebox=\vbox to0pt{\vskip0.5cm%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    48
  \hbox to\textwidth{\normalsize\tt\hrulefill\lower0.5ex
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    49
        \hbox{\kern5pt referee's copy\kern5pt}\hrulefill}\vss}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    50
\def\@oddfoot{\copy\refereebox}\let\@evenfoot=\@oddfoot}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    51
% This is footinfo.tex
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    52
% it provides an informatory line on every page
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    53
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    54
\def\SpringerMacroPackageNameA{\springerstylefile}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    55
% \thetime, \thedate and \timstamp are macros to include
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    56
% time, date (or both) of the TeX run in the document
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    57
\def\maketimestamp{\count255=\time
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    58
\divide\count255 by 60\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    59
\edef\thetime{\the\count255:}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    60
\multiply\count255 by-60\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    61
\advance\count255 by\time
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    62
\edef\thetime{\thetime\ifnum\count255<10 0\fi\the\count255}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    63
\edef\thedate{\number\day-\ifcase\month\or Jan\or Feb\or Mar\or
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    64
             Apr\or May\or Jun\or Jul\or Aug\or Sep\or Oct\or
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    65
             Nov\or Dec\fi-\number\year}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    66
\def\timstamp{\hbox to\hsize{\tt\hfil\thedate\hfil\thetime\hfil}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    67
\maketimestamp
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    68
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    69
% \footinfo generates a info footline on every page containing
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    70
% pagenumber, jobname, macroname, and timestamp
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    71
\def\ds@footinfo{\maketimestamp
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    72
   \def\@oddfoot{\footnotesize\tt Page: \thepage\hfil job: \jobname\hfil
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    73
                 macro: \SpringerMacroPackageNameA\hfil
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    74
                 date/time: \thedate/\thetime}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    75
   \let\@evenfoot=\@oddfoot}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    76
\def\footinfo{\maketimestamp
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    77
   \ds@footinfo
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    78
   \typeout{You ordered a foot-info line. }}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    79
\def\nofootinfo{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    80
   \def\@oddfoot{}\def\@evenfoot{}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    81
   \typeout{Foot-info has been disabled. }}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    82
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    83
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    84
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    85
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    86
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    87
%             This is vector.tex
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    88
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    89
% It redefines the plain TeX \vec command
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    90
% and adds a \tens command for tensors
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    91
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    92
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    93
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    94
% ##### (changed by RB)
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    95
\def\vec@style{\relax} % hook to change style of vector
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    96
                       % default yields boldface italic
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    97
% \def\vec@style{\bf}  % hook to change style of vector
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    98
%                      % default yields mathstyle i.e. boldface upright
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
    99
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   100
\def\vec#1{\relax\ifmmode\mathchoice
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   101
{\mbox{\boldmath$\vec@style\displaystyle#1$}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   102
{\mbox{\boldmath$\vec@style\textstyle#1$}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   103
{\mbox{\boldmath$\vec@style\scriptstyle#1$}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   104
{\mbox{\boldmath$\vec@style\scriptscriptstyle#1$}}\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   105
\hbox{\boldmath$\vec@style\textstyle#1$}\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   106
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   107
\def\tens#1{\relax\ifmmode\mathchoice{\mbox{$\sf\displaystyle#1$}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   108
{\mbox{$\sf\textstyle#1$}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   109
{\mbox{$\sf\scriptstyle#1$}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   110
{\mbox{$\sf\scriptscriptstyle#1$}}\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   111
\hbox{$\sf\textstyle#1$}\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   112
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   113
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   114
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   115
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   116
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   117
%             This is vecstyle.tex
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   118
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   119
% It enables documentstyle options vecmath and vecphys
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   120
% to change the vectors to upright bold face or
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   121
% to math italic bold respectively
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   122
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   123
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   124
\def\ds@vecmath{\def\vec@style{\bf}\typeout{Vectors are now represented
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   125
in mathematics style as boldface upright characters.}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   126
\def\ds@vecphys{\let\vec@style\relax\typeout{Vectors are now represented
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   127
in physics style as boldface italics.}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   128
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   129
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   130
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   131
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   132
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   133
%             This is defaults.tex
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   134
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   135
% It sets the switches for twoside printing, numbering
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   136
% of equations and kind of citation.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   137
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   138
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   139
\@twosidetrue                       % twoside is default
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   140
\newif\if@bibay    \@bibayfalse     % citation with numbers
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   141
                                    % is default
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   142
\newif\if@numart   \@numartfalse    % numbering with chapternumbers
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   143
                                    % is default
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   144
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   145
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   146
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   147
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   148
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   149
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   150
%             This is misc.xxx
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   151
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   152
% It defines various commands not available in "plain LaTeX"
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   153
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   154
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   155
\newcommand{\ts}{\thinspace{}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   156
\newcommand{\sq}{\hbox{\rlap{$\sqcap$}$\sqcup$}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   157
\newcommand{\qed}{\ifmmode\sq\else{\unskip\nobreak\hfil
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   158
  \penalty50\hskip1em\null\nobreak\hfil\sq
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   159
  \parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi{}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   160
\def\D{{\rm d}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   161
\def\E{{\rm e}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   162
\let\eul=\E
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   163
\def\I{{\rm i}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   164
\let\imag=\I
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   165
\def\strich{\vskip0.5cm\hrule\vskip3ptplus12pt\null}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   166
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   167
% Frame for paste-in figures or tables
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   168
%\def\mpicplace#1#2{%#1 = width   #2 = height
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   169
%\vbox{\@tempdima=#2\advance\@tempdima by-2\fboxrule
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   170
%\hrule\@height \fboxrule\@width #1
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   171
%\hbox to #1{\vrule\@width \fboxrule\@height\@tempdima\hfil
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   172
%\vrule\@width \fboxrule\@height\@tempdima}\hrule\@height
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   173
%\fboxrule\@width #1}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   174
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   175
% #####
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   176
% Frame for paste-in figures or tables
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   177
\def\mpicplace#1#2{%  #1 =width   #2 =height
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   178
\vbox{\hbox to #1{\vrule width \fboxrule height #2\hfill}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   179
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   180
\def\picplace#1{\mpicplace{\hsize}{#1}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   181
% Ragged bottom for the actual page
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   182
\def\thisbottomragged{\def\@textbottom{\vskip\z@ plus.0001fil
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   183
\global\let\@textbottom\relax}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   184
\flushbottom
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   185
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   186
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   187
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   188
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   189
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   190
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   191
%             This is layout.m01
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   192
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   193
% It defines various sizes and settings for books
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   194
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   195
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   196
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   197
\topmargin=0cm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   198
\textwidth=11.7cm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   199
\textheight=18.9cm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   200
\oddsidemargin=0.7cm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   201
\evensidemargin=0.7cm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   202
\headsep=12pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   203
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   204
\baselineskip=12pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   205
\parindent=15pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   206
\parskip=0pt plus 1pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   207
\hfuzz=2pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   208
\frenchspacing
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   209
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   210
\tolerance=500
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   211
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   212
\abovedisplayskip=3mm plus6pt minus 4pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   213
\belowdisplayskip=3mm plus6pt minus 4pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   214
\abovedisplayshortskip=0mm plus6pt minus 2pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   215
\belowdisplayshortskip=2mm plus4pt minus 4pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   216
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   217
\predisplaypenalty=0
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   218
\clubpenalty=10000
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   219
\widowpenalty=10000
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   220
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   221
\newdimen\betweenumberspace          % dimension for space between
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   222
\betweenumberspace=5pt               % number and text of titles.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   223
\newdimen\headlineindent             % dimension for space between
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   224
\headlineindent=2.5cc                % number and text of headings.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   225
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   226
\intextsep 20pt plus 2pt minus 2pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   227
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   228
\setcounter{topnumber}{4}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   229
\def\topfraction{.9}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   230
\setcounter{bottomnumber}{2}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   231
\def\bottomfraction{.5}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   232
\setcounter{totalnumber}{6}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   233
\def\textfraction{.2}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   234
\def\floatpagefraction{.5}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   235
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   236
% Figures and tables are processed in small print
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   237
\def \@floatboxreset {%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   238
        \reset@font
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   239
        \small
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   240
        \@setnobreak
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   241
        \@setminipage
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   242
}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   243
\def\figure{\@float{figure}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   244
\@namedef{figure*}{\@dblfloat{figure}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   245
\def\table{\@float{table}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   246
\@namedef{table*}{\@dblfloat{table}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   247
\def\fps@figure{htbp}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   248
\def\fps@table{htbp}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   249
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   250
\labelsep=5\p@                       % measures for lists
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   251
\leftmargini=17.777\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   252
\labelwidth\leftmargini\advance\labelwidth-\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   253
\leftmarginii=\leftmargini
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   254
\leftmarginiii=\leftmargini
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   255
\parsep=\parskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   256
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   257
\def\@listI{\leftmargin\leftmargini
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   258
        \parsep=\parskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   259
        \topsep=\medskipamount
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   260
        \itemsep=\parskip \advance\itemsep by -\parsep}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   261
\let\@listi\@listI
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   262
\@listi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   263
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   264
\def\@listii{\leftmargin\leftmarginii
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   265
        \labelwidth\leftmarginii\advance\labelwidth by -\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   266
        \parsep=\parskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   267
        \topsep=\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   268
        \itemsep=\parskip \advance\itemsep by -\parsep}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   269
\def\@listiii{\leftmargin\leftmarginiii
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   270
        \labelwidth\leftmarginiii\advance\labelwidth by -\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   271
        \parsep=\parskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   272
        \topsep=\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   273
        \itemsep=\parskip \advance\itemsep by -\parsep}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   274
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   275
\def\@normalsize{\@setsize\normalsize{12pt}\xpt\@xpt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   276
\abovedisplayskip=3mm plus6pt minus 4pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   277
\belowdisplayskip=3mm plus6pt minus 4pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   278
\abovedisplayshortskip=0mm plus6pt minus 2pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   279
\belowdisplayshortskip=2mm plus4pt minus 4pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   280
\let\@listi\@listI}   % Setting of \@listi added 9 Jun 87
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   281
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   282
\def\small{\@setsize\small{10pt}\ixpt\@ixpt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   283
\abovedisplayskip 8.5\p@ plus3\p@ minus4\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   284
\belowdisplayskip \abovedisplayskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   285
\abovedisplayshortskip \z@ plus2\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   286
\belowdisplayshortskip 4\p@ plus2\p@ minus2\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   287
\def\@listi{\leftmargin\leftmargini
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   288
\topsep 4pt plus 2pt minus 2pt\parsep\parskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   289
\itemsep\parskip}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   290
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   291
\def\itemize{\ifnum \@itemdepth >3 \@toodeep\else \advance\@itemdepth \@ne
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   292
\ifnum \@itemdepth=1 \leftmargini=10\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   293
\labelwidth\leftmargini\advance\labelwidth-\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   294
\leftmarginii=\leftmargini \leftmarginiii=\leftmargini \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   295
\edef\@itemitem{labelitem\romannumeral\the\@itemdepth}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   296
\list{\csname\@itemitem\endcsname}{\def\makelabel##1{\rlap{##1}\hss}}\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   297
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   298
\newdimen\verbatimindent \verbatimindent\parindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   299
\def\verbatim{\advance\@totalleftmargin by\verbatimindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   300
\@verbatim \frenchspacing\@vobeyspaces \@xverbatim}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   301
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   302
\let\footnotesize=\small
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   303
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   304
\def\petit{\par\addvspace{6pt}\small}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   305
\def\endpetit{\par\addvspace{6pt}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   306
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   307
\raggedbottom
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   308
\normalsize  % Choose the normalsize font.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   309
% This is texte.tex
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   310
% it defines various texts and their translations
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   311
% called up with documentstyle options
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   312
\def\abstractname{Summary.}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   313
\def\ackname{Acknowledgement.}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   314
\def\andname{and}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   315
\def\lastandname{, and}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   316
\def\appendixname{Appendix}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   317
\def\chaptername{Chapter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   318
\def\claimname{Claim}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   319
\def\conjecturename{Conjecture}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   320
\def\contentsname{Table of Contents}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   321
\def\corollaryname{Corollary}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   322
\def\definitionname{Definition}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   323
\def\examplename{Example}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   324
\def\exercisename{Exercise}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   325
\def\figurename{Fig.}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   326
\def\keywordname{{\bf Key words:}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   327
\def\indexname{Index}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   328
\def\lemmaname{Lemma}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   329
\def\contriblistname{List of Contributors}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   330
\def\listfigurename{List of Figures}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   331
\def\listtablename{List of Tables}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   332
\def\mailname{{\it Correspondence to\/}:}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   333
\def\noteaddname{Note added in proof}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   334
\def\notename{Note}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   335
\def\partname{Part}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   336
\def\problemname{Problem}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   337
\def\proofname{Proof}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   338
\def\propertyname{Property}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   339
\def\propositionname{Proposition}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   340
\def\questionname{Question}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   341
\def\remarkname{Remark}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   342
\def\seename{see}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   343
\def\solutionname{Solution}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   344
\def\subclassname{{\it Subject Classifications\/}:}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   345
\def\tablename{Table}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   346
\def\theoremname{Theorem}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   347
% Names of theorem like environments are already defined
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   348
% but must be translated if another language is chosen
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   349
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   350
% French section
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   351
\def\ds@francais{\typeout{On parle francais.}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   352
 \def\abstractname{R\'esum\'e.}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   353
 \def\ackname{Remerciements.}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   354
 \def\andname{et}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   355
 \def\lastandname{ et}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   356
 \def\appendixname{Appendice}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   357
 \def\chaptername{Chapitre}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   358
 \def\claimname{Pr\'etention}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   359
 \def\conjecturename{Hypoth\`ese}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   360
 \def\contentsname{Table des mati\`eres}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   361
 \def\corollaryname{Corollaire}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   362
 \def\definitionname{D\'efinition}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   363
 \def\examplename{Exemple}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   364
 \def\exercisename{Exercice}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   365
 \def\figurename{Fig.}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   366
 \def\keywordname{{\bf Mots-cl\'e:}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   367
 \def\indexname{Index}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   368
 \def\lemmaname{Lemme}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   369
 \def\contriblistname{Liste des contributeurs}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   370
 \def\listfigurename{Liste des figures}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   371
 \def\listtablename{Liste des tables}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   372
 \def\mailname{{\it Correspondence to\/}:}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   373
 \def\noteaddname{Note ajout\'ee \`a l'\'epreuve}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   374
 \def\notename{Remarque}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   375
 \def\partname{Partie}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   376
 \def\problemname{Probl\`eme}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   377
 \def\proofname{\'Epreuve}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   378
 \def\propertyname{Caract\'eristique}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   379
%\def\propositionname{Proposition}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   380
 \def\questionname{Question}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   381
 \def\remarkname{Remarque}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   382
 \def\seename{voir}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   383
 \def\solutionname{Solution}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   384
 \def\subclassname{{\it Subject Classifications\/}:}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   385
 \def\tablename{Tableau}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   386
 \def\theoremname{Th\'eor\`eme}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   387
}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   388
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   389
% German section
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   390
\def\ds@deutsch{\typeout{Man spricht deutsch.}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   391
 \def\abstractname{Zusammenfassung.}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   392
 \def\ackname{Danksagung.}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   393
 \def\andname{und}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   394
 \def\lastandname{ und}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   395
 \def\appendixname{Anhang}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   396
 \def\chaptername{Kapitel}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   397
 \def\claimname{Behauptung}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   398
 \def\conjecturename{Hypothese}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   399
 \def\contentsname{Inhaltsverzeichnis}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   400
 \def\corollaryname{Korollar}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   401
%\def\definitionname{Definition}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   402
 \def\examplename{Beispiel}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   403
 \def\exercisename{\"Ubung}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   404
 \def\figurename{Abb.}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   405
 \def\keywordname{{\bf Schl\"usselw\"orter:}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   406
 \def\indexname{Index}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   407
%\def\lemmaname{Lemma}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   408
 \def\contriblistname{Mitarbeiter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   409
 \def\listfigurename{Abbildungsverzeichnis}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   410
 \def\listtablename{Tabellenverzeichnis}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   411
 \def\mailname{{\it Correspondence to\/}:}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   412
 \def\noteaddname{Nachtrag}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   413
 \def\notename{Anmerkung}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   414
 \def\partname{Teil}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   415
%\def\problemname{Problem}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   416
 \def\proofname{Beweis}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   417
 \def\propertyname{Eigenschaft}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   418
%\def\propositionname{Proposition}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   419
 \def\questionname{Frage}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   420
 \def\remarkname{Anmerkung}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   421
 \def\seename{siehe}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   422
 \def\solutionname{L\"osung}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   423
 \def\subclassname{{\it Subject Classifications\/}:}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   424
 \def\tablename{Tabelle}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   425
%\def\theoremname{Theorem}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   426
}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   427
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   428
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   429
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   430
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   431
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   432
%             This is titneu.xxx
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   433
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   434
% It redefines titles. Usage is like Lamport described.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   435
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   436
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   437
\setcounter{secnumdepth}{2}           % depth of the highest-level
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   438
                                      % sectioning command
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   439
\newcounter{chapter}                  % to use chapter together with
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   440
\@addtoreset{section}{chapter}        % article.sty
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   441
\@addtoreset{footnote}{chapter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   442
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   443
\def\thechapter{\arabic{chapter}}     % how titles will be typeset
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   444
\def\thesection{\thechapter.\arabic{section}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   445
\def\thesubsection{\thesection.\arabic{subsection}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   446
\def\thesubsubsection{\thesubsection.\arabic{subsubsection}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   447
\def\theparagraph{\thesubsubsection.\arabic{paragraph}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   448
\def\thesubparagraph{\theparagraph.\arabic{subparagraph}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   449
\def\chaptermark#1{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   450
\def\sec@hangfrom#1{\setbox\@tempboxa\hbox{#1}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   451
      \hangindent \z@\noindent\box\@tempboxa}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   452
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   453
% definition of chapter
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   454
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   455
\def\@chapapp{\chaptername}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   456
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   457
\def\@makechapterhead#1{{\parindent0pt\raggedright
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   458
  \hyphenpenalty \@M
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   459
  \Large\bf\boldmath
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   460
  \sec@hangfrom{\thechapter\thechapterend\hskip\betweenumberspace}%!!!
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   461
  \ignorespaces#1\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   462
  \ifdim\pagetotal>118pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   463
     \vskip 24pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   464
  \else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   465
     \@tempdima=118pt\advance\@tempdima by-\pagetotal
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   466
     \vskip\@tempdima
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   467
  \fi}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   468
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   469
\def\@makeschapterhead#1{{\parindent0pt\raggedright
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   470
  \hyphenpenalty \@M
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   471
  \Large\bf\boldmath
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   472
  \ignorespaces#1\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   473
  \ifdim\pagetotal>118pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   474
     \vskip 24pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   475
  \else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   476
     \@tempdima=118pt\advance\@tempdima by-\pagetotal
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   477
     \vskip\@tempdima
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   478
  \fi}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   479
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   480
\newcommand{\clearemptydoublepage}{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   481
        \newpage{\pagestyle{empty}\cleardoublepage}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   482
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   483
\def\chapter{\clearemptydoublepage\thispagestyle{empty}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   484
   \global\@topnum\z@\@afterindentfalse
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   485
   \secdef\@chapter\@schapter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   486
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   487
\def\@chapter[#1]#2{\ifnum\c@secnumdepth>\m@ne
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   488
   \refstepcounter{chapter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   489
   \typeout{\@chapapp\space\thechapter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   490
   \addcontentsline{toc}{chapter}{\protect
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   491
      \numberline{\thechapter\thechapterend}#1}\else %!!!
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   492
      \addcontentsline{toc}{chapter}{#1}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   493
   \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   494
   \chaptermark{#1}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   495
   \addtocontents{lof}{\protect\addvspace{10pt}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   496
   \addtocontents{lot}{\protect\addvspace{10pt}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   497
   \if@twocolumn
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   498
       \@topnewpage[\@makechapterhead{#2}]
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   499
   \else \@makechapterhead{#2}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   500
           \@afterheading
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   501
   \fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   502
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   503
\def\@schapter#1{\if@twocolumn\@topnewpage[\@makeschapterhead{#1}]
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   504
        \else \@makeschapterhead{#1}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   505
              \@afterheading\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   506
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   507
% Appendix
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   508
\def\appendix{\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   509
  \setcounter{chapter}{0}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   510
  \setcounter{section}{0}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   511
  \def\@chapapp{\appendixname}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   512
  \def\thechapter{\Alph{chapter}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   513
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   514
%  definition of sections
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   515
%  \hyphenpenalty and \raggedright added, so that there is no
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   516
%  hyphenation and the text is set ragged-right in sectioning
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   517
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   518
\def\runinsep{.}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   519
\def\aftertext{\unskip\runinsep}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   520
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   521
\def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   522
   \let\@svsec\@empty\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   523
   \refstepcounter{#1}\edef\@svsec{\csname the#1\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   524
                                   \hskip\betweenumberspace
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   525
                                   \ignorespaces}\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   526
   \@tempskipa #5\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   527
    \ifdim \@tempskipa>\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   528
      \begingroup #6\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   529
        \sec@hangfrom{\hskip #3\relax\@svsec}{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   530
        \raggedright
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   531
        \hyphenpenalty \@M
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   532
        \interlinepenalty \@M #8\par}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   533
      \endgroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   534
     \csname #1mark\endcsname{#7}\addcontentsline
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   535
       {toc}{#1}{\ifnum #2>\c@secnumdepth \else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   536
                    \protect\numberline{\csname the#1\endcsname}\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   537
                  #7}\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   538
     \def\@svsechd{#6\hskip #3\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   539
                \@svsec #8\aftertext\ignorespaces
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   540
                    \csname #1mark\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   541
                    {#7}\addcontentsline
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   542
                         {toc}{#1}{\ifnum #2>\c@secnumdepth \else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   543
                           \protect\numberline{\csname the#1\endcsname}\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   544
                     #7}}\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   545
   \@xsect{#5}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   546
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   547
% measures and setting of sections
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   548
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   549
\def\section{\@startsection{section}{1}{\z@}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   550
    {-25pt plus-4pt minus-4pt}{12.5pt plus4pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   551
     minus4pt}{\large\bf\boldmath}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   552
\def\subsection{\@startsection{subsection}{2}{\z@}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   553
    {-17pt plus-4pt minus-4pt}{10pt plus4pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   554
     minus4pt}{\normalsize\bf\boldmath}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   555
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   556
    {-5.388pt plus-4pt minus-4pt}{-5pt}{\normalsize\bf\boldmath}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   557
\def\paragraph{\@startsection{paragraph}{4}{\z@}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   558
    {-5.388pt plus-4pt minus-4pt}{-5pt}{\normalsize\it}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   559
\def\subparagraph{\@startsection{subparagraph}{5}{\z@}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   560
    {-5.388pt plus-4pt minus-4pt}{-5pt}{\normalsize\it}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   561
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   562
%  definition of \part
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   563
\def\thepart{\Roman{part}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   564
\def\part{\clearemptydoublepage   % Starts new page.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   565
   \thispagestyle{empty}     % Page style of part page is empty
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   566
  \if@twocolumn              % IF two-column style
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   567
     \onecolumn              %  THEN \onecolumn
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   568
     \@tempswatrue           %       @tempswa := true
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   569
    \else \@tempswafalse     %  ELSE @tempswa := false
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   570
  \fi                        % FI
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   571
% \hbox{}\vfil               % Add fil glue to center title
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   572
%%  \bgroup  \centering      % BEGIN centering %% Removed 19 Jan 88
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   573
  \secdef\@part\@spart}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   574
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   575
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   576
\def\@part[#1]#2{\ifnum \c@secnumdepth >-2\relax  % IF secnumdepth > -2
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   577
        \refstepcounter{part}                     %   THEN step part counter
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   578
        \addcontentsline{toc}{part}{\partname\    %        add toc line
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   579
        \thepart. #1}\else                        %   ELSE add unnumbered line
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   580
        \addcontentsline{toc}{part}{#1}\fi        % FI
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   581
   \markboth{}{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   582
   {\raggedleft                      % added 8.1.92 FUH
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   583
    \ifnum \c@secnumdepth >-2\relax  % IF secnumdepth > -2
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   584
      \Large\partname\ \thepart      %   THEN Print 'Part' and number
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   585
    \par                             %         in \Large
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   586
    \vskip 103.3pt \fi               %        Add space before title.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   587
    \bf\boldmath                     % FI
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   588
    #2\par}\@endpart}                % Print Title in \Large bold.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   589
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   590
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   591
% \@endpart finishes the part page
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   592
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   593
\def\@endpart{\vfil\newpage   % End page with 1fil glue.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   594
   \if@twoside                % IF twoside printing
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   595
       \hbox{}                %   THEN Produce totally blank page
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   596
       \thispagestyle{empty}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   597
       \newpage
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   598
   \fi                        % FI
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   599
   \if@tempswa                % IF @tempswa = true
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   600
     \twocolumn               %   THEN \twocolumn
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   601
   \fi}                       % FI
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   602
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   603
\def\@spart#1{{\raggedleft     % added 8 Jan 92 FUH
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   604
   \Large\bf\boldmath          % Print title in \Large-boldface
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   605
   #1\par}\@endpart}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   606
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   607
\def\subtitle#1{\gdef\@subtitle{#1}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   608
\def\@subtitle{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   609
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   610
\def\maketitle{\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   611
 \begingroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   612
   \def\thefootnote{\fnsymbol{footnote}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   613
   \def\@makefnmark{\hbox
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   614
       to\z@{$\m@th^{\@thefnmark}$\hss}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   615
   \if@twocolumn
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   616
     \twocolumn[\@maketitle]%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   617
     \else \newpage
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   618
     \global\@topnum\z@   % Prevents figures from going at top of page.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   619
     \@maketitle \fi\thispagestyle{empty}\@thanks
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   620
     \par\penalty -\@M
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   621
 \endgroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   622
 \setcounter{footnote}{0}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   623
 \let\maketitle\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   624
 \let\@maketitle\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   625
 \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   626
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   627
\def\@maketitle{\newpage
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   628
 \null
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   629
 \vskip 2em                 % Vertical space above title.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   630
\begingroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   631
  \def\and{\unskip, }
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   632
  \parindent=\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   633
  \pretolerance=10000
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   634
  \rightskip=0pt plus 3cm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   635
  {\LARGE                   % each author set in \LARGE
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   636
   \lineskip .5em
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   637
   \@author
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   638
   \par}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   639
  \vskip 2cm                % Vertical space after author.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   640
  {\Huge \@title \par}%     % Title set in \Huge size.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   641
  \vskip 1cm                % Vertical space after title.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   642
  \if!\@subtitle!\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   643
   {\LARGE\ignorespaces\@subtitle \par}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   644
   \vskip 1cm                % Vertical space after subtitle.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   645
  \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   646
  \if!\@date!\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   647
    {\large \@date}%          % Date set in \large size.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   648
    \par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   649
    \vskip 1.5em               % Vertical space after date.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   650
  \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   651
 \vfill
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   652
 {\Large Springer-\kern-0.1em Verlag\par}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   653
 \vskip 5pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   654
 \large
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   655
   Berlin\enspace Heidelberg\enspace New\kern0.1em York\\
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   656
   London\enspace Paris\enspace Tokyo\\
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   657
   Hong\thinspace Kong\enspace Barcelona\\
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   658
   Budapest\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   659
\endgroup}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   660
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   661
\def\abstract{\if@twocolumn
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   662
\section*{\abstractname}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   663
\else \small
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   664
\begin{center}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   665
{\bf \abstractname\vspace{-.5em}\vspace{\z@}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   666
\end{center}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   667
\quotation
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   668
\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   669
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   670
\def\endabstract{\if@twocolumn\else\endquotation\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   671
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   672
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   673
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   674
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   675
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   676
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   677
%             This is toc.xxx
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   678
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   679
% it modifies the appearence of the table of contents
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   680
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   681
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   682
\def\tableofcontents{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   683
 \fi\chapter*{\contentsname \@mkboth{{\contentsname}}{{\contentsname}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   684
 \@starttoc{toc}\if@restonecol\twocolumn\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   685
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   686
\setcounter{tocdepth}{2}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   687
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   688
\def\l@part#1#2{\addpenalty{\@secpenalty}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   689
   \addvspace{2em plus\p@}%  % space above part line
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   690
   \begingroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   691
     \parindent \z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   692
     \rightskip \z@ plus 5em
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   693
     \hrule\vskip5pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   694
     \bf\boldmath        % set line in boldface
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   695
     \leavevmode          % TeX command to enter horizontal mode.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   696
     #1\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   697
     \vskip5pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   698
     \hrule
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   699
     \vskip1pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   700
     \nobreak             % Never break after part entry
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   701
   \endgroup}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   702
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   703
\def\@dotsep{2}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   704
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   705
\def\l@chapter#1#2{\addpenalty{-\@highpenalty}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   706
 \vskip 1.0em plus 1pt \@tempdima \tocchpnum \begingroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   707
 \parindent \z@ \rightskip \@pnumwidth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   708
 \parfillskip -\@pnumwidth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   709
 \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   710
 {\bf\boldmath#1}\nobreak
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   711
 \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   712
 \@dotsep mu$}\hfill
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   713
 \nobreak\hbox to\@pnumwidth{\hss #2}\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   714
 \penalty\@highpenalty \endgroup}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   715
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   716
\newdimen\tocchpnum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   717
\newdimen\tocsecnum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   718
\newdimen\tocsectotal
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   719
\newdimen\tocsubsecnum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   720
\newdimen\tocsubsectotal
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   721
\newdimen\tocsubsubsecnum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   722
\newdimen\tocsubsubsectotal
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   723
\newdimen\tocparanum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   724
\newdimen\tocparatotal
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   725
\newdimen\tocsubparanum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   726
\tocchpnum=20\p@            % chapter {\bf 88.} plus 5.3pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   727
\tocsecnum=22.5\p@          % section 88.8. plus 4.722pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   728
\tocsubsecnum=30.5\p@       % subsection 88.8.8 plus 4.944pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   729
\tocsubsubsecnum=38\p@      % subsubsection 88.8.8.8 plus 4.666pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   730
\tocparanum=45\p@           % paragraph 88.8.8.8.8 plus 3.888pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   731
\tocsubparanum=53\p@        % subparagraph 88.8.8.8.8.8 plus 4.11pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   732
\def\calctocindent{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   733
\tocsectotal=\tocchpnum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   734
\advance\tocsectotal by\tocsecnum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   735
\tocsubsectotal=\tocsectotal
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   736
\advance\tocsubsectotal by\tocsubsecnum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   737
\tocsubsubsectotal=\tocsubsectotal
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   738
\advance\tocsubsubsectotal by\tocsubsubsecnum
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   739
\tocparatotal=\tocsubsubsectotal
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   740
\advance\tocparatotal by\tocparanum}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   741
\calctocindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   742
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   743
\def\l@section{\@dottedtocline{1}{\tocchpnum}{\tocsecnum}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   744
\def\l@subsection{\@dottedtocline{2}{\tocsectotal}{\tocsubsecnum}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   745
\def\l@subsubsection{\@dottedtocline{3}{\tocsubsectotal}{\tocsubsubsecnum}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   746
\def\l@paragraph{\@dottedtocline{4}{\tocsubsubsectotal}{\tocparanum}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   747
\def\l@subparagraph{\@dottedtocline{5}{\tocparatotal}{\tocsubparanum}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   748
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   749
\def\listoffigures{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   750
 \fi\chapter*{\listfigurename\@mkboth{{\listfigurename}}{{\listfigurename}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   751
 \@starttoc{lof}\if@restonecol\twocolumn\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   752
\def\l@figure{\@dottedtocline{1}{0em}{\tocsecnum}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   753
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   754
\def\listoftables{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   755
 \fi\chapter*{\listtablename\@mkboth{{\listtablename}}{{\listtablename}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   756
 \@starttoc{lot}\if@restonecol\twocolumn\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   757
\let\l@table\l@figure
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   758
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   759
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   760
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   761
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   762
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   763
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   764
%             This is runnhead.xxx
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   765
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   766
% It redefines the headings of a text. There are two
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   767
% pagestyles possible: "\pagestyle{headings}" and
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   768
% "\pagestyle{myheadings}". "\pagestyle{headings}" is
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   769
% default.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   770
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   771
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   772
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   773
\@ifundefined{thechapterend}{\def\thechapterend{.}}{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   774
\if@twoside
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   775
\def\ps@headings{\let\@mkboth\markboth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   776
   \def\@oddfoot{}\def\@evenfoot{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   777
   \def\@evenhead{\small\rm\rlap{\thepage}\hskip\headlineindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   778
                  \leftmark\hfil}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   779
   \def\@oddhead{\hfil\small\rm\rightmark\hskip\headlineindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   780
                  \llap{\thepage}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   781
   \def\chaptermark##1{\markboth{{\ifnum\c@secnumdepth>\m@ne
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   782
      \thechapter\thechapterend\hskip\betweenumberspace\fi ##1}}{{\ifnum %!!!
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   783
      \c@secnumdepth>\m@ne\thechapter\thechapterend\hskip\betweenumberspace\fi ##1}}}%!!!
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   784
   \def\sectionmark##1{\markright{{\ifnum\c@secnumdepth>\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   785
      \thesection\hskip\betweenumberspace\fi ##1}}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   786
\else \def\ps@headings{\let\@mkboth\markboth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   787
   \def\@oddfoot{}\def\@evenfoot{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   788
   \def\@oddhead{\hfil\small\rm\rightmark\hskip\headlineindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   789
                 \llap{\thepage}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   790
   \def\chaptermark##1{\markright{{\ifnum\c@secnumdepth>\m@ne
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   791
      \thechapter\thechapterend\hskip\betweenumberspace\fi ##1}}}} %!!!
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   792
\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   793
\def\ps@myheadings{\let\@mkboth\@gobbletwo
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   794
   \def\@oddfoot{}\def\@evenfoot{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   795
   \def\@evenhead{\small\rm\rlap{\thepage}\hskip\headlineindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   796
                  \leftmark\hfil}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   797
   \def\@oddhead{\hfil\small\rm\rightmark\hskip\headlineindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   798
                  \llap{\thepage}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   799
   \def\chaptermark##1{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   800
   \def\sectionmark##1{}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   801
   \def\subsectionmark##1{}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   802
\ps@headings
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   803
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   804
% Definition of the "\spnewtheorem" command.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   805
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   806
% Usage:
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   807
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   808
%     \spnewtheorem{env_nam}{caption}[within]{cap_font}{body_font}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   809
% or  \spnewtheorem{env_nam}[numbered_like]{caption}{cap_font}{body_font}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   810
% or  \spnewtheorem*{env_nam}{caption}{cap_font}{body_font}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   811
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   812
% New is "cap_font" and "body_font". It stands for
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   813
% fontdefinition of the caption and the text itself.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   814
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   815
% "\spnewtheorem*" gives a theorem without number.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   816
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   817
% A defined spnewthoerem environment is used as described
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   818
% by Lamport.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   819
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   820
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   821
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   822
\let\if@envcntreset\iffalse % environment counter is reset each chapter
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   823
\DeclareOption{envcountreset}{\let\if@envcntreset\iftrue}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   824
\let\if@envcntsame\iffalse  % NOT all environments like "Theorem",
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   825
                            % each using its own counter
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   826
\DeclareOption{envcountsame}{\let\if@envcntsame\iftrue}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   827
\def\envankh{section}       % show \thesection along with theorem number
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   828
\DeclareOption{envcountchap}{\def\envankh{chapter}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   829
\ExecuteOptions{envcountsect}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   830
\let\if@envcntsect\iftrue   % show \csname the\envankh\endcsname along
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   831
                            % with environment number
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   832
\DeclareOption{envcountsect}{\let\if@envcntsect\iftrue}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   833
\ProcessOptions
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   834
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   835
\def\@thmcountersep{.}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   836
\def\@thmcounterend{.}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   837
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   838
\def\spnewtheorem{\@ifstar{\@sthm}{\@Sthm}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   839
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   840
% definition of \spnewtheorem with number
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   841
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   842
\def\@spnthm#1#2{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   843
  \@ifnextchar[{\@spxnthm{#1}{#2}}{\@spynthm{#1}{#2}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   844
\def\@Sthm#1{\@ifnextchar[{\@spothm{#1}}{\@spnthm{#1}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   845
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   846
\def\@spxnthm#1#2[#3]#4#5{\expandafter\@ifdefinable\csname #1\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   847
   {\@definecounter{#1}\@addtoreset{#1}{#3}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   848
   \expandafter\xdef\csname the#1\endcsname{\expandafter\noexpand
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   849
     \csname the#3\endcsname \noexpand\@thmcountersep \@thmcounter{#1}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   850
   \expandafter\xdef\csname #1name\endcsname{#2}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   851
   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   852
                              \global\@namedef{end#1}{\@endtheorem}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   853
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   854
\def\@spynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   855
   {\@definecounter{#1}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   856
   \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   857
   \expandafter\xdef\csname #1name\endcsname{#2}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   858
   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#3}{#4}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   859
                               \global\@namedef{end#1}{\@endtheorem}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   860
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   861
\def\@spothm#1[#2]#3#4#5{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   862
  \@ifundefined{c@#2}{\@latexerr{No theorem environment `#2' defined}\@eha}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   863
  {\expandafter\@ifdefinable\csname #1\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   864
  {\global\@namedef{the#1}{\@nameuse{the#2}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   865
  \expandafter\xdef\csname #1name\endcsname{#3}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   866
  \global\@namedef{#1}{\@spthm{#2}{\csname #1name\endcsname}{#4}{#5}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   867
  \global\@namedef{end#1}{\@endtheorem}}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   868
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   869
\def\@spthm#1#2#3#4{\topsep 7\p@ \@plus2\p@ \@minus4\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   870
\refstepcounter{#1}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   871
\@ifnextchar[{\@spythm{#1}{#2}{#3}{#4}}{\@spxthm{#1}{#2}{#3}{#4}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   872
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   873
\def\@spxthm#1#2#3#4{\@spbegintheorem{#2}{\csname the#1\endcsname}{#3}{#4}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   874
                    \ignorespaces}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   875
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   876
\def\@spythm#1#2#3#4[#5]{\@spopargbegintheorem{#2}{\csname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   877
       the#1\endcsname}{#5}{#3}{#4}\ignorespaces}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   878
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   879
\def\@spbegintheorem#1#2#3#4{\trivlist
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   880
                 \item[\hskip\labelsep{#3#1\ #2\@thmcounterend}]#4}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   881
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   882
\def\@spopargbegintheorem#1#2#3#4#5{\trivlist
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   883
      \item[\hskip\labelsep{#4#1\ #2}]{#4(#3)\@thmcounterend\ }#5}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   884
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   885
% definition of \spnewtheorem* without number
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   886
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   887
\def\@sthm#1#2{\@Ynthm{#1}{#2}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   888
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   889
\def\@Ynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   890
   {\global\@namedef{#1}{\@Thm{\csname #1name\endcsname}{#3}{#4}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   891
    \expandafter\xdef\csname #1name\endcsname{#2}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   892
    \global\@namedef{end#1}{\@endtheorem}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   893
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   894
\def\@Thm#1#2#3{\topsep 7\p@ \@plus2\p@ \@minus4\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   895
\@ifnextchar[{\@Ythm{#1}{#2}{#3}}{\@Xthm{#1}{#2}{#3}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   896
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   897
\def\@Xthm#1#2#3{\@Begintheorem{#1}{#2}{#3}\ignorespaces}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   898
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   899
\def\@Ythm#1#2#3[#4]{\@Opargbegintheorem{#1}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   900
       {#4}{#2}{#3}\ignorespaces}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   901
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   902
\def\@Begintheorem#1#2#3{#3\trivlist
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   903
                           \item[\hskip\labelsep{#2#1\@thmcounterend}]}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   904
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   905
\def\@Opargbegintheorem#1#2#3#4{#4\trivlist
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   906
      \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   907
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   908
% initialize theorem environment
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   909
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   910
\if@envcntsect % show section counter
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   911
   \def\@thmcountersep{.}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   912
   \spnewtheorem{theorem}{Theorem}[\envankh]{\bfseries}{\itshape}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   913
\else          % theorem counter only
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   914
   \spnewtheorem{theorem}{Theorem}{\bfseries}{\itshape}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   915
   \if@envcntreset
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   916
      \@addtoreset{theorem}{section}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   917
   \else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   918
      \@addtoreset{theorem}{chapter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   919
   \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   920
\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   921
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   922
%definition of divers theorem environments
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   923
\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   924
\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   925
\if@envcntsame % all environments like "Theorem" - using its counter
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   926
   \def\spn@wtheorem#1#2#3#4{\@spothm{#1}[theorem]{#2}{#3}{#4}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   927
\else % all environments with their own counter
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   928
   \if@envcntsect % show section counter
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   929
      \def\spn@wtheorem#1#2#3#4{\@spxnthm{#1}{#2}[\envankh]{#3}{#4}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   930
   \else          % environment counter only
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   931
      \if@envcntreset % environment counter is reset each section
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   932
         \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   933
                                   \@addtoreset{#1}{section}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   934
      \else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   935
         \let\spn@wtheorem=\@spynthm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   936
      \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   937
   \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   938
\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   939
\spn@wtheorem{case}{Case}{\itshape}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   940
\spn@wtheorem{conjecture}{Conjecture}{\itshape}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   941
\spn@wtheorem{corollary}{Corollary}{\bfseries}{\itshape}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   942
\spn@wtheorem{definition}{Definition}{\bfseries}{\itshape}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   943
\spn@wtheorem{example}{Example}{\itshape}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   944
%%LCP%% \spn@wtheorem{exercise}{Exercise}{\bfseries}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   945
\spn@wtheorem{lemma}{Lemma}{\bfseries}{\itshape}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   946
\spn@wtheorem{note}{Note}{\itshape}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   947
\spn@wtheorem{problem}{Problem}{\bfseries}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   948
\spn@wtheorem{property}{Property}{\itshape}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   949
\spn@wtheorem{proposition}{Proposition}{\bfseries}{\itshape}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   950
\spn@wtheorem{question}{Question}{\itshape}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   951
\spn@wtheorem{solution}{Solution}{\bfseries}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   952
\spn@wtheorem{remark}{Remark}{\itshape}{\rmfamily}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   953
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   954
\def\@takefromreset#1#2{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   955
    \def\@tempa{#1}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   956
    \let\@tempd\@elt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   957
    \def\@elt##1{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   958
        \def\@tempb{##1}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   959
        \ifx\@tempa\@tempb\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   960
            \@addtoreset{##1}{#2}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   961
        \fi}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   962
    \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   963
    \expandafter\def\csname cl@#2\endcsname{}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   964
    \@tempc
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   965
    \let\@elt\@tempd}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   966
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   967
\def\theopargself{\def\@spopargbegintheorem##1##2##3##4##5{\trivlist
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   968
      \item[\hskip\labelsep{##4##1\ ##2}]{##4##3\@thmcounterend\ }##5}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   969
                  \def\@Opargbegintheorem##1##2##3##4{##4\trivlist
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   970
      \item[\hskip\labelsep{##3##1}]{##3##2\@thmcounterend\ }}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   971
      }
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   972
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   973
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   974
%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   975
%%             This is figure.neu
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   976
%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   977
%% It redefines the captions for "figure" and "table"
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   978
%% environments.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   979
%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   980
%% There are three new kind of captions: "\firstcaption"
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   981
%% and "\secondcaption" for captions set side by side.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   982
%% Usage for those two commands: like "\caption".
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   983
%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   984
%% "\sidecaption" with two parms: #1 width of picture
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   985
%%                                #2 height of picture
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   986
%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   987
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   988
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   989
\@ifundefined{floatlegendstyle}{\def\floatlegendstyle{\bfseries}}{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   990
\def\floatcounterend{.\ }
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   991
\def\capstrut{\vrule\@width\z@\@height\topskip}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   992
\@ifundefined{captionstyle}{\def\captionstyle{\normalfont\small}}{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   993
\@ifundefined{instindent}{\newdimen\instindent}{}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   994
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   995
\long\def\@caption#1[#2]#3{\par\addcontentsline{\csname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   996
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   997
  the#1\endcsname}{\ignorespaces #2}}\begingroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   998
    \@parboxrestore
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
   999
    \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1000
  \endgroup}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1001
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1002
\def\firstcaption{\refstepcounter\@captype\@dblarg%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1003
            {\@firstcaption\@captype}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1004
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1005
\def\secondcaption{\refstepcounter\@captype\@dblarg%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1006
            {\@secondcaption\@captype}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1007
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1008
\long\def\@firstcaption#1[#2]#3{\addcontentsline{\csname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1009
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1010
  the#1\endcsname}{\ignorespaces #2}}\begingroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1011
    \@parboxrestore
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1012
    \vskip3pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1013
    \@maketwocaptions{\csname fnum@#1\endcsname}{\ignorespaces #3}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1014
    \ignorespaces\hspace{.073\textwidth}\hfil%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1015
  \endgroup}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1016
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1017
\long\def\@secondcaption#1[#2]#3{\addcontentsline{\csname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1018
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1019
  the#1\endcsname}{\ignorespaces #2}}\begingroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1020
    \@parboxrestore
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1021
    \@maketwocaptions{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1022
  \endgroup}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1023
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1024
\long\def\@maketwocaptions#1#2{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1025
   \parbox[t]{.46\textwidth}{{\floatlegendstyle #1\floatcounterend} #2}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1026
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1027
\newdimen\figgap\figgap=14.2pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1028
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1029
\long\def\@makesidecaption#1#2{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1030
   \setbox0=\vbox{\hsize=\@tempdima
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1031
                  \captionstyle{\floatlegendstyle
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1032
                                         #1\floatcounterend}#2}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1033
   \ifdim\instindent<\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1034
      \ifdim\ht0>-\instindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1035
         \advance\instindent by\ht0
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1036
         \typeout{^^JClass-Warning: Legend of \string\sidecaption\space for
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1037
                     \@captype\space\csname the\@captype\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1038
                  ^^Jis \the\instindent\space taller than the corresponding float -
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1039
                  ^^Jyou'd better switch the environment. }%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1040
         \instindent\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1041
      \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1042
   \else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1043
      \ifdim\ht0<\instindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1044
         \advance\instindent by-\ht0
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1045
         \advance\instindent by-\dp0\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1046
         \advance\instindent by\topskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1047
         \advance\instindent by-11pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1048
      \else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1049
         \advance\instindent by-\ht0
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1050
         \instindent=-\instindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1051
         \typeout{^^JClass-Warning: Legend of \string\sidecaption\space for
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1052
                     \@captype\space\csname the\@captype\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1053
                  ^^Jis \the\instindent\space taller than the corresponding float -
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1054
                  ^^Jyou'd better switch the environment. }%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1055
         \instindent\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1056
      \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1057
   \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1058
   \parbox[b]{\@tempdima}{\captionstyle{\floatlegendstyle
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1059
                                        #1\floatcounterend}#2%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1060
                          \ifdim\instindent>\z@ \\
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1061
                               \vrule\@width\z@\@height\instindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1062
                                     \@depth\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1063
                          \fi}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1064
\def\sidecaption{\@ifnextchar[\sidec@ption{\sidec@ption[b]}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1065
\def\sidec@ption[#1]#2\caption{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1066
\setbox\@tempboxa=\hbox{\ignorespaces#2\unskip}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1067
\if@twocolumn
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1068
 \ifdim\hsize<\textwidth\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1069
   \ifdim\wd\@tempboxa<\columnwidth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1070
      \typeout{Double column float fits into single column -
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1071
            ^^Jyou'd better switch the environment. }%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1072
   \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1073
 \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1074
\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1075
  \instindent=\ht\@tempboxa
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1076
  \advance\instindent by\dp\@tempboxa
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1077
\if t#1
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1078
\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1079
  \instindent=-\instindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1080
\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1081
\@tempdima=\hsize
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1082
\advance\@tempdima by-\figgap
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1083
\advance\@tempdima by-\wd\@tempboxa
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1084
\ifdim\@tempdima<3cm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1085
    \typeout{\string\sidecaption: No sufficient room for the legend;
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1086
             using normal \string\caption. }%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1087
   \unhbox\@tempboxa
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1088
   \let\@capcommand=\@caption
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1089
\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1090
   \ifdim\@tempdima<4.5cm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1091
      \typeout{\string\sidecaption: Room for the legend very narrow;
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1092
               using \string\raggedright. }%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1093
      \toks@\expandafter{\captionstyle\sloppy
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1094
                         \rightskip=0ptplus6mm\relax}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1095
      \def\captionstyle{\the\toks@}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1096
   \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1097
   \let\@capcommand=\@sidecaption
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1098
   \leavevmode
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1099
   \unhbox\@tempboxa
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1100
   \hfill
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1101
\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1102
\refstepcounter\@captype
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1103
\@dblarg{\@capcommand\@captype}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1104
\long\def\@sidecaption#1[#2]#3{\addcontentsline{\csname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1105
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1106
  the#1\endcsname}{\ignorespaces #2}}\begingroup
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1107
    \@parboxrestore
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1108
    \@makesidecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1109
  \endgroup}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1110
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1111
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1112
\def\fig@type{figure}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1113
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1114
\def\leftlegendglue{\hfil}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1115
\newdimen\figcapgap\figcapgap=3pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1116
\newdimen\tabcapgap\tabcapgap=5.5pt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1117
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1118
\long\def\@makecaption#1#2{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1119
 \captionstyle
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1120
 \ifx\@captype\fig@type
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1121
   \vskip\figcapgap
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1122
 \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1123
 \setbox\@tempboxa\hbox{{\floatlegendstyle #1\floatcounterend}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1124
 \capstrut #2}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1125
 \ifdim \wd\@tempboxa >\hsize
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1126
   {\floatlegendstyle #1\floatcounterend}\capstrut #2\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1127
 \else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1128
   \hbox to\hsize{\leftlegendglue\unhbox\@tempboxa\hfil}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1129
 \fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1130
 \ifx\@captype\fig@type\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1131
   \vskip\tabcapgap
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1132
 \fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1133
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1134
\newcounter{merk}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1135
\def\endfigure{\resetsubfig\end@float}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1136
\@namedef{endfigure*}{\resetsubfig\end@dblfloat}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1137
\let\resetsubfig\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1138
\def\subfigures{\stepcounter{figure}\setcounter{merk}{\value{figure}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1139
\setcounter{figure}{0}\def\thefigure{\if@numart\else\thechapter.\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1140
\@arabic\c@merk\alph{figure}}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1141
\def\resetsubfig{\setcounter{figure}{\value{merk}}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1142
\let\leftlegendglue\relax
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1143
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1144
10500
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1145
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10410
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1146
%
10500
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1147
% Definition of environment  thebibliography
10410
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1148
%
10500
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1149
% Borrowed from book.cls
10410
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1150
%
10500
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1151
% by lcp
10410
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1152
10500
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1153
\newcommand\bibname{Bibliography}
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1154
\setlength\bibindent{1.5em}
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1155
\renewenvironment{thebibliography}[1]
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1156
     {\chapter*{\bibname
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1157
        \@mkboth{\MakeUppercase\bibname}{\MakeUppercase\bibname}}%
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1158
      \list{\@biblabel{\@arabic\c@enumiv}}%
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1159
           {\settowidth\labelwidth{\@biblabel{#1}}%
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1160
            \leftmargin\labelwidth
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1161
            \advance\leftmargin\labelsep
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1162
            \@openbib@code
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1163
            \usecounter{enumiv}%
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1164
            \let\p@enumiv\@empty
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1165
            \renewcommand\theenumiv{\@arabic\c@enumiv}}%
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1166
      \sloppy
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1167
      \clubpenalty4000
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1168
      \@clubpenalty \clubpenalty
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1169
      \widowpenalty4000%
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1170
      \sfcode`\.\@m}
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1171
     {\def\@noitemerr
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1172
       {\@latex@warning{Empty `thebibliography' environment}}%
df47f58b8253 thebibliography environment: replaced the Springer version by the standard one
paulson
parents: 10410
diff changeset
  1173
      \endlist}
10410
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1174
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1175
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1176
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1177
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1178
%             This is fonotebk.xxx
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1179
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1180
% It redefines how footnotes will be typeset.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1181
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1182
% Usage like described by Lamport.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1183
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1184
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1185
\newdimen\footnoterulewidth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1186
  \footnoterulewidth=1.666cm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1187
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1188
\def\footnoterule{\kern-3\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1189
 \hrule width\footnoterulewidth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1190
 \kern 2.6\p@}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1191
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1192
\newdimen\foot@parindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1193
\foot@parindent 10.83\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1194
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1195
%\long\def\@makefntext#1{\parindent\foot@parindent\noindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1196
%         \hbox to\foot@parindent{\hss$\m@th^{\@thefnmark}$\kern3pt}#1}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1197
\long\def\@makefntext#1{\@setpar{\@@par\@tempdima \hsize
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1198
         \advance\@tempdima-\foot@parindent\parshape\@ne\foot@parindent
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1199
         \@tempdima}\par
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1200
         \parindent \foot@parindent\noindent \hbox to \z@{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1201
         \hss\hss$^{\@thefnmark}$ }#1}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1202
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1203
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1204
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1205
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1206
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1207
%             This is environ.tex
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1208
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1209
% It defines the environment for acknowledgements.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1210
%                            and noteadd
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1211
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1212
% Usage e.g.: \begin{acknowledgement}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1213
%                Text
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1214
%             \end{acknowledgement}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1215
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1216
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1217
% Define `abstract' environment
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1218
\def\acknowledgement{\par\addvspace{17pt}\small\rm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1219
\trivlist\item[\hskip\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1220
{\it\ackname}]}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1221
\def\endacknowledgement{\endtrivlist\addvspace{6pt}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1222
% Define `noteadd' environment
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1223
\def\noteadd{\par\addvspace{17pt}\small\rm
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1224
\trivlist\item[\hskip\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1225
{\it\noteaddname}]}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1226
\def\endnoteadd{\endtrivlist\addvspace{6pt}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1227
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1228
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1229
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1230
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1231
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1232
%             This is item.xxx
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1233
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1234
% It redefines the kind of label for "itemize", "enumerate"
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1235
% and "description" environment. The last is extended by
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1236
% an optional parameter. Its length is used for overall
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1237
% indentation.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1238
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1239
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1240
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1241
% labels of enumerate
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1242
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1243
\def\labelenumi{\theenumi.}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1244
\def\labelenumii{\theenumii)}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1245
\def\theenumii{\alph{enumii}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1246
\def\p@enumii{\theenumi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1247
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1248
% labels of itemize
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1249
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1250
\def\labelitemi{\bf --}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1251
\def\labelitemii{\bf --}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1252
\def\labelitemiii{$\bullet$}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1253
\def\labelitemiv{$\cdot$}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1254
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1255
% labels of description
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1256
\def\descriptionlabel#1{\hspace\labelsep #1\hfil}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1257
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1258
% make indentations changeable
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1259
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1260
\def\setitemindent#1{\settowidth{\labelwidth}{#1}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1261
        \leftmargini\labelwidth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1262
        \advance\leftmargini\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1263
   \def\@listi{\leftmargin\leftmargini
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1264
        \labelwidth\leftmargini\advance\labelwidth by -\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1265
        \parsep=\parskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1266
        \topsep=\medskipamount
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1267
        \itemsep=\parskip \advance\itemsep by -\parsep}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1268
\def\setitemitemindent#1{\settowidth{\labelwidth}{#1}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1269
        \leftmarginii\labelwidth
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1270
        \advance\leftmarginii\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1271
\def\@listii{\leftmargin\leftmarginii
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1272
        \labelwidth\leftmarginii\advance\labelwidth by -\labelsep
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1273
        \parsep=\parskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1274
        \topsep=\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1275
        \itemsep=\parskip \advance\itemsep by -\parsep}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1276
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1277
% adjusted environment "description"
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1278
% if an optional parameter (at the first two levels of lists)
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1279
% is present, its width is considered to be the widest mark
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1280
% throughout the current list.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1281
\def\description{\@ifnextchar[{\@describe}{\list{}{\labelwidth\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1282
          \itemindent-\leftmargin \let\makelabel\descriptionlabel}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1283
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1284
\def\describelabel#1{#1\hfil}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1285
\def\@describe[#1]{\relax\ifnum\@listdepth=0
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1286
\setitemindent{#1}\else\ifnum\@listdepth=1
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1287
\setitemitemindent{#1}\fi\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1288
\list{--}{\let\makelabel\describelabel}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1289
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1290
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1291
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1292
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1293
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1294
%             This is index.xxx
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1295
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1296
% It defines miscelaneous addons used for the preparation
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1297
% of an index.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1298
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1299
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1300
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1301
\def\theindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1302
\columnseprule \z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1303
\columnsep 1cc\twocolumn[\@makeschapterhead{\indexname}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1304
    \csname indexstarthook\endcsname]%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1305
    \@mkboth{\indexname}{\indexname}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1306
    \thispagestyle{empty}\parindent\z@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1307
    \rightskip0\p@ plus 40\p@
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1308
    \parskip\z@ plus .3\p@\relax\let\item\@idxitem
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1309
    \def\,{\relax\ifmmode\mskip\thinmuskip
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1310
           \else\hskip0.2em\ignorespaces\fi}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1311
    \small\rm}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1312
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1313
\def\idxquad{\hskip 10\p@}% space that divides entry from number
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1314
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1315
\def\@idxitem{\par\hangindent 10\p@}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1316
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1317
\def\subitem{\par\setbox0=\hbox{--\enspace}% second order
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1318
                \noindent\hangindent\wd0\box0}% index entry
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1319
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1320
\def\subsubitem{\par\setbox0=\hbox{--\,--\enspace}% third
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1321
                \noindent\hangindent\wd0\box0}% order index entry
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1322
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1323
\def\endtheindex{\if@restonecol\onecolumn\else\clearpage\fi}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1324
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1325
\def\indexspace{\par \vskip 10\p@ plus5\p@ minus3\p@\relax}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1326
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1327
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1328
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1329
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1330
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1331
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1332
%             This is numberbk.xxx
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1333
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1334
% It redefines the kind of numeration for figures,
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1335
% tables and equations. With style option "numart" they
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1336
% are numbered with "no.", otherwise with "kapno.no."
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1337
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1338
% e.g. \documentstyle[numart]{article} gives a
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1339
% numbering like in article.sty defined.
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1340
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1341
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1342
\def\@takefromreset#1#2{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1343
    \def\@tempa{#1}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1344
    \let\@tempd\@elt
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1345
    \def\@elt##1{%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1346
        \def\@tempb{##1}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1347
        \ifx\@tempa\@tempb\else
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1348
            \@addtoreset{##1}{#2}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1349
        \fi}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1350
    \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1351
    \expandafter\def\csname cl@#2\endcsname{}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1352
    \@tempc
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1353
    \let\@elt\@tempd
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1354
}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1355
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1356
\def\ds@numart{\@numarttrue
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1357
  \@takefromreset{figure}{chapter}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1358
  \@takefromreset{table}{chapter}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1359
  \@takefromreset{equation}{chapter}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1360
  \def\thefigure{\@arabic\c@figure}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1361
  \def\thetable{\@arabic\c@table}%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1362
  \def\theequation{\arabic{equation}}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1363
%
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1364
\def\thefigure{\thechapter.\@arabic\c@figure}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1365
\def\thetable{\thechapter.\@arabic\c@table}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1366
\def\theequation{\thechapter.\arabic{equation}}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1367
\@addtoreset{figure}{chapter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1368
\@addtoreset{table}{chapter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1369
\@addtoreset{equation}{chapter}
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1370
\endinput
1f8716b9e13e *** empty log message ***
nipkow
parents:
diff changeset
  1371