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