thys/Journal/llncs.cls
author Christian Urban <urbanc@in.tum.de>
Fri, 10 May 2019 11:56:37 +0100
changeset 318 43e070803c1c
parent 218 16af5b8bd285
child 365 ec5e4fe4cc70
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
218
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
% LLNCS DOCUMENT CLASS -- version 2.19 (31-Mar-2014)
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
% Springer Verlag LaTeX2e support for Lecture Notes in Computer Science
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
%%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
%% \CharacterTable
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
%%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
%%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
%%   Digits        \0\1\2\3\4\5\6\7\8\9
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
%%   Exclamation   \!     Double quote  \"     Hash (number) \#
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
%%   Dollar        \$     Percent       \%     Ampersand     \&
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
%%   Acute accent  \'     Left paren    \(     Right paren   \)
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
%%   Asterisk      \*     Plus          \+     Comma         \,
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
%%   Minus         \-     Point         \.     Solidus       \/
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
%%   Colon         \:     Semicolon     \;     Less than     \<
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
%%   Equals        \=     Greater than  \>     Question mark \?
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
%%   Commercial at \@     Left bracket  \[     Backslash     \\
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
%%   Right bracket \]     Circumflex    \^     Underscore    \_
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
%%   Grave accent  \`     Left brace    \{     Vertical bar  \|
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
%%   Right brace   \}     Tilde         \~}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
%%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
\NeedsTeXFormat{LaTeX2e}[1995/12/01]
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
\ProvidesClass{llncs}[2014/03/31 v2.19
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
^^J LaTeX document class for Lecture Notes in Computer Science]
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
% Options
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
\let\if@envcntreset\iffalse
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
\DeclareOption{envcountreset}{\let\if@envcntreset\iftrue}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
\DeclareOption{citeauthoryear}{\let\citeauthoryear=Y}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
\DeclareOption{oribibl}{\let\oribibl=Y}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
\let\if@custvec\iftrue
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
\DeclareOption{orivec}{\let\if@custvec\iffalse}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
\let\if@envcntsame\iffalse
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
\DeclareOption{envcountsame}{\let\if@envcntsame\iftrue}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
\let\if@envcntsect\iffalse
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
\DeclareOption{envcountsect}{\let\if@envcntsect\iftrue}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
\let\if@runhead\iffalse
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
\DeclareOption{runningheads}{\let\if@runhead\iftrue}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
\let\if@openright\iftrue
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
\let\if@openbib\iffalse
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
\DeclareOption{openbib}{\let\if@openbib\iftrue}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
% languages
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
\let\switcht@@therlang\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
\def\ds@deutsch{\def\switcht@@therlang{\switcht@deutsch}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
\def\ds@francais{\def\switcht@@therlang{\switcht@francais}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
\ProcessOptions
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
\LoadClass[twoside]{article}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
\RequirePackage{multicol} % needed for the list of participants, index
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
\RequirePackage{aliascnt}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
\setlength{\textwidth}{12.2cm}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
\setlength{\textheight}{19.3cm}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
\renewcommand\@pnumwidth{2em}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
\renewcommand\@tocrmarg{3.5em}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
\def\@dottedtocline#1#2#3#4#5{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
  \ifnum #1>\c@tocdepth \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
    \vskip \z@ \@plus.2\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
    {\leftskip #2\relax \rightskip \@tocrmarg \advance\rightskip by 0pt plus 2cm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
               \parfillskip -\rightskip \pretolerance=10000
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
     \parindent #2\relax\@afterindenttrue
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
     \interlinepenalty\@M
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
     \leavevmode
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
     \@tempdima #3\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
     \advance\leftskip \@tempdima \null\nobreak\hskip -\leftskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
     {#4}\nobreak
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
     \leaders\hbox{$\m@th
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
        \mkern \@dotsep mu\hbox{.}\mkern \@dotsep
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
        mu$}\hfill
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
     \nobreak
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
     \hb@xt@\@pnumwidth{\hfil\normalfont \normalcolor #5}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
     \par}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
  \fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
\def\switcht@albion{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
\def\abstractname{Abstract.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
\def\ackname{Acknowledgement.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
\def\andname{and}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
\def\lastandname{\unskip, and}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
\def\appendixname{Appendix}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
\def\chaptername{Chapter}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
\def\claimname{Claim}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
\def\conjecturename{Conjecture}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
\def\contentsname{Table of Contents}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
\def\corollaryname{Corollary}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
\def\definitionname{Definition}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
\def\examplename{Example}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
\def\exercisename{Exercise}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
\def\figurename{Fig.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
\def\keywordname{{\bf Keywords:}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
\def\indexname{Index}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
\def\lemmaname{Lemma}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
\def\contriblistname{List of Contributors}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
\def\listfigurename{List of Figures}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
\def\listtablename{List of Tables}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
\def\mailname{{\it Correspondence to\/}:}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
\def\noteaddname{Note added in proof}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
\def\notename{Note}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
\def\partname{Part}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
\def\problemname{Problem}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
\def\proofname{Proof}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
\def\propertyname{Property}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107
\def\propositionname{Proposition}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   108
\def\questionname{Question}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   109
\def\remarkname{Remark}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   110
\def\seename{see}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   111
\def\solutionname{Solution}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   112
\def\subclassname{{\it Subject Classifications\/}:}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   113
\def\tablename{Table}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   114
\def\theoremname{Theorem}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   115
\switcht@albion
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   116
% Names of theorem like environments are already defined
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
% but must be translated if another language is chosen
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
% French section
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
\def\switcht@francais{%\typeout{On parle francais.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
 \def\abstractname{R\'esum\'e.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
 \def\ackname{Remerciements.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   123
 \def\andname{et}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   124
 \def\lastandname{ et}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   125
 \def\appendixname{Appendice}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   126
 \def\chaptername{Chapitre}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
 \def\claimname{Pr\'etention}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
 \def\conjecturename{Hypoth\`ese}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
 \def\contentsname{Table des mati\`eres}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
 \def\corollaryname{Corollaire}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
 \def\definitionname{D\'efinition}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
 \def\examplename{Exemple}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
 \def\exercisename{Exercice}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
 \def\figurename{Fig.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
 \def\keywordname{{\bf Mots-cl\'e:}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   136
 \def\indexname{Index}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
 \def\lemmaname{Lemme}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
 \def\contriblistname{Liste des contributeurs}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   139
 \def\listfigurename{Liste des figures}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
 \def\listtablename{Liste des tables}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
 \def\mailname{{\it Correspondence to\/}:}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   142
 \def\noteaddname{Note ajout\'ee \`a l'\'epreuve}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
 \def\notename{Remarque}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
 \def\partname{Partie}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
 \def\problemname{Probl\`eme}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
 \def\proofname{Preuve}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
 \def\propertyname{Caract\'eristique}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   148
%\def\propositionname{Proposition}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
 \def\questionname{Question}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   150
 \def\remarkname{Remarque}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   151
 \def\seename{voir}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   152
 \def\solutionname{Solution}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   153
 \def\subclassname{{\it Subject Classifications\/}:}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
 \def\tablename{Tableau}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155
 \def\theoremname{Th\'eor\`eme}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   156
}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
% German section
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
\def\switcht@deutsch{%\typeout{Man spricht deutsch.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   160
 \def\abstractname{Zusammenfassung.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   161
 \def\ackname{Danksagung.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   162
 \def\andname{und}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
 \def\lastandname{ und}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   164
 \def\appendixname{Anhang}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   165
 \def\chaptername{Kapitel}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   166
 \def\claimname{Behauptung}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   167
 \def\conjecturename{Hypothese}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   168
 \def\contentsname{Inhaltsverzeichnis}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   169
 \def\corollaryname{Korollar}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   170
%\def\definitionname{Definition}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   171
 \def\examplename{Beispiel}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   172
 \def\exercisename{\"Ubung}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   173
 \def\figurename{Abb.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   174
 \def\keywordname{{\bf Schl\"usselw\"orter:}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   175
 \def\indexname{Index}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   176
%\def\lemmaname{Lemma}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   177
 \def\contriblistname{Mitarbeiter}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   178
 \def\listfigurename{Abbildungsverzeichnis}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   179
 \def\listtablename{Tabellenverzeichnis}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   180
 \def\mailname{{\it Correspondence to\/}:}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   181
 \def\noteaddname{Nachtrag}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   182
 \def\notename{Anmerkung}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   183
 \def\partname{Teil}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   184
%\def\problemname{Problem}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   185
 \def\proofname{Beweis}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   186
 \def\propertyname{Eigenschaft}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   187
%\def\propositionname{Proposition}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   188
 \def\questionname{Frage}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   189
 \def\remarkname{Anmerkung}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   190
 \def\seename{siehe}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   191
 \def\solutionname{L\"osung}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   192
 \def\subclassname{{\it Subject Classifications\/}:}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   193
 \def\tablename{Tabelle}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   194
%\def\theoremname{Theorem}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   195
}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   196
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   197
% Ragged bottom for the actual page
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   198
\def\thisbottomragged{\def\@textbottom{\vskip\z@ plus.0001fil
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   199
\global\let\@textbottom\relax}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   200
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   201
\renewcommand\small{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   202
   \@setfontsize\small\@ixpt{11}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   203
   \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   204
   \abovedisplayshortskip \z@ \@plus2\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   205
   \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   206
   \def\@listi{\leftmargin\leftmargini
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   207
               \parsep 0\p@ \@plus1\p@ \@minus\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   208
               \topsep 8\p@ \@plus2\p@ \@minus4\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   209
               \itemsep0\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   210
   \belowdisplayskip \abovedisplayskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   211
}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   212
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   213
\frenchspacing
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   214
\widowpenalty=10000
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   215
\clubpenalty=10000
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   216
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   217
\setlength\oddsidemargin   {63\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   218
\setlength\evensidemargin  {63\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   219
\setlength\marginparwidth  {90\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   220
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   221
\setlength\headsep   {16\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   222
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   223
\setlength\footnotesep{7.7\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   224
\setlength\textfloatsep{8mm\@plus 2\p@ \@minus 4\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   225
\setlength\intextsep   {8mm\@plus 2\p@ \@minus 2\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   226
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   227
\setcounter{secnumdepth}{2}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   228
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   229
\newcounter {chapter}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   230
\renewcommand\thechapter      {\@arabic\c@chapter}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   231
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   232
\newif\if@mainmatter \@mainmattertrue
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   233
\newcommand\frontmatter{\cleardoublepage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   234
            \@mainmatterfalse\pagenumbering{Roman}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   235
\newcommand\mainmatter{\cleardoublepage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   236
       \@mainmattertrue\pagenumbering{arabic}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   237
\newcommand\backmatter{\if@openright\cleardoublepage\else\clearpage\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   238
      \@mainmatterfalse}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   239
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   240
\renewcommand\part{\cleardoublepage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   241
                 \thispagestyle{empty}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   242
                 \if@twocolumn
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   243
                     \onecolumn
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   244
                     \@tempswatrue
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   245
                   \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   246
                     \@tempswafalse
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   247
                 \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   248
                 \null\vfil
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   249
                 \secdef\@part\@spart}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   250
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   251
\def\@part[#1]#2{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   252
    \ifnum \c@secnumdepth >-2\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   253
      \refstepcounter{part}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   254
      \addcontentsline{toc}{part}{\thepart\hspace{1em}#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   255
    \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   256
      \addcontentsline{toc}{part}{#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   257
    \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   258
    \markboth{}{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   259
    {\centering
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   260
     \interlinepenalty \@M
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   261
     \normalfont
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   262
     \ifnum \c@secnumdepth >-2\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   263
       \huge\bfseries \partname~\thepart
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   264
       \par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   265
       \vskip 20\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   266
     \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   267
     \Huge \bfseries #2\par}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   268
    \@endpart}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   269
\def\@spart#1{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   270
    {\centering
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   271
     \interlinepenalty \@M
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   272
     \normalfont
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   273
     \Huge \bfseries #1\par}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   274
    \@endpart}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   275
\def\@endpart{\vfil\newpage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   276
              \if@twoside
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   277
                \null
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   278
                \thispagestyle{empty}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   279
                \newpage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   280
              \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   281
              \if@tempswa
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   282
                \twocolumn
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   283
              \fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   284
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   285
\newcommand\chapter{\clearpage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   286
                    \thispagestyle{empty}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   287
                    \global\@topnum\z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   288
                    \@afterindentfalse
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   289
                    \secdef\@chapter\@schapter}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   290
\def\@chapter[#1]#2{\ifnum \c@secnumdepth >\m@ne
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   291
                       \if@mainmatter
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   292
                         \refstepcounter{chapter}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   293
                         \typeout{\@chapapp\space\thechapter.}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   294
                         \addcontentsline{toc}{chapter}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   295
                                  {\protect\numberline{\thechapter}#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   296
                       \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   297
                         \addcontentsline{toc}{chapter}{#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   298
                       \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   299
                    \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   300
                      \addcontentsline{toc}{chapter}{#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   301
                    \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   302
                    \chaptermark{#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   303
                    \addtocontents{lof}{\protect\addvspace{10\p@}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   304
                    \addtocontents{lot}{\protect\addvspace{10\p@}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   305
                    \if@twocolumn
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   306
                      \@topnewpage[\@makechapterhead{#2}]%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   307
                    \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   308
                      \@makechapterhead{#2}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   309
                      \@afterheading
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   310
                    \fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   311
\def\@makechapterhead#1{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   312
% \vspace*{50\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   313
  {\centering
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   314
    \ifnum \c@secnumdepth >\m@ne
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   315
      \if@mainmatter
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   316
        \large\bfseries \@chapapp{} \thechapter
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   317
        \par\nobreak
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   318
        \vskip 20\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   319
      \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   320
    \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   321
    \interlinepenalty\@M
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   322
    \Large \bfseries #1\par\nobreak
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   323
    \vskip 40\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   324
  }}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   325
\def\@schapter#1{\if@twocolumn
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   326
                   \@topnewpage[\@makeschapterhead{#1}]%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   327
                 \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   328
                   \@makeschapterhead{#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   329
                   \@afterheading
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   330
                 \fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   331
\def\@makeschapterhead#1{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   332
% \vspace*{50\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   333
  {\centering
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   334
    \normalfont
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   335
    \interlinepenalty\@M
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   336
    \Large \bfseries  #1\par\nobreak
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   337
    \vskip 40\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   338
  }}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   339
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   340
\renewcommand\section{\@startsection{section}{1}{\z@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   341
                       {-18\p@ \@plus -4\p@ \@minus -4\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   342
                       {12\p@ \@plus 4\p@ \@minus 4\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   343
                       {\normalfont\large\bfseries\boldmath
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   344
                        \rightskip=\z@ \@plus 8em\pretolerance=10000 }}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   345
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   346
                       {-18\p@ \@plus -4\p@ \@minus -4\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   347
                       {8\p@ \@plus 4\p@ \@minus 4\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   348
                       {\normalfont\normalsize\bfseries\boldmath
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   349
                        \rightskip=\z@ \@plus 8em\pretolerance=10000 }}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   350
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   351
                       {-18\p@ \@plus -4\p@ \@minus -4\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   352
                       {-0.5em \@plus -0.22em \@minus -0.1em}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   353
                       {\normalfont\normalsize\bfseries\boldmath}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   354
\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   355
                       {-12\p@ \@plus -4\p@ \@minus -4\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   356
                       {-0.5em \@plus -0.22em \@minus -0.1em}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   357
                       {\normalfont\normalsize\itshape}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   358
\renewcommand\subparagraph[1]{\typeout{LLNCS warning: You should not use
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   359
                  \string\subparagraph\space with this class}\vskip0.5cm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   360
You should not use \verb|\subparagraph| with this class.\vskip0.5cm}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   361
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   362
\DeclareMathSymbol{\Gamma}{\mathalpha}{letters}{"00}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   363
\DeclareMathSymbol{\Delta}{\mathalpha}{letters}{"01}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   364
\DeclareMathSymbol{\Theta}{\mathalpha}{letters}{"02}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   365
\DeclareMathSymbol{\Lambda}{\mathalpha}{letters}{"03}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   366
\DeclareMathSymbol{\Xi}{\mathalpha}{letters}{"04}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   367
\DeclareMathSymbol{\Pi}{\mathalpha}{letters}{"05}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   368
\DeclareMathSymbol{\Sigma}{\mathalpha}{letters}{"06}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   369
\DeclareMathSymbol{\Upsilon}{\mathalpha}{letters}{"07}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   370
\DeclareMathSymbol{\Phi}{\mathalpha}{letters}{"08}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   371
\DeclareMathSymbol{\Psi}{\mathalpha}{letters}{"09}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   372
\DeclareMathSymbol{\Omega}{\mathalpha}{letters}{"0A}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   373
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   374
\let\footnotesize\small
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   375
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   376
\if@custvec
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   377
\def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle#1$}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   378
{\mbox{\boldmath$\textstyle#1$}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   379
{\mbox{\boldmath$\scriptstyle#1$}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   380
{\mbox{\boldmath$\scriptscriptstyle#1$}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   381
\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   382
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   383
\def\squareforqed{\hbox{\rlap{$\sqcap$}$\sqcup$}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   384
\def\qed{\ifmmode\squareforqed\else{\unskip\nobreak\hfil
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   385
\penalty50\hskip1em\null\nobreak\hfil\squareforqed
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   386
\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   387
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   388
\def\getsto{\mathrel{\mathchoice {\vcenter{\offinterlineskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   389
\halign{\hfil
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   390
$\displaystyle##$\hfil\cr\gets\cr\to\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   391
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr\gets
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   392
\cr\to\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   393
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr\gets
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   394
\cr\to\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   395
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   396
\gets\cr\to\cr}}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   397
\def\lid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   398
$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.2pt}=\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   399
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   400
\noalign{\vskip1.2pt}=\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   401
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   402
\noalign{\vskip1pt}=\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   403
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   404
<\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   405
\noalign{\vskip0.9pt}=\cr}}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   406
\def\gid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   407
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.2pt}=\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   408
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   409
\noalign{\vskip1.2pt}=\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   410
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   411
\noalign{\vskip1pt}=\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   412
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   413
>\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   414
\noalign{\vskip0.9pt}=\cr}}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   415
\def\grole{\mathrel{\mathchoice {\vcenter{\offinterlineskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   416
\halign{\hfil
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   417
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip-1pt}<\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   418
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   419
>\cr\noalign{\vskip-1pt}<\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   420
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   421
>\cr\noalign{\vskip-0.8pt}<\cr}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   422
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   423
>\cr\noalign{\vskip-0.3pt}<\cr}}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   424
\def\bbbr{{\rm I\!R}} %reelle Zahlen
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   425
\def\bbbm{{\rm I\!M}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   426
\def\bbbn{{\rm I\!N}} %natuerliche Zahlen
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   427
\def\bbbf{{\rm I\!F}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   428
\def\bbbh{{\rm I\!H}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   429
\def\bbbk{{\rm I\!K}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   430
\def\bbbp{{\rm I\!P}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   431
\def\bbbone{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   432
{\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   433
\def\bbbc{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm C$}\hbox{\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   434
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   435
{\setbox0=\hbox{$\textstyle\rm C$}\hbox{\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   436
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   437
{\setbox0=\hbox{$\scriptstyle\rm C$}\hbox{\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   438
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   439
{\setbox0=\hbox{$\scriptscriptstyle\rm C$}\hbox{\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   440
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   441
\def\bbbq{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   442
Q$}\hbox{\raise
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   443
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   444
{\setbox0=\hbox{$\textstyle\rm Q$}\hbox{\raise
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   445
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   446
{\setbox0=\hbox{$\scriptstyle\rm Q$}\hbox{\raise
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   447
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   448
{\setbox0=\hbox{$\scriptscriptstyle\rm Q$}\hbox{\raise
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   449
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   450
\def\bbbt{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   451
T$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   452
{\setbox0=\hbox{$\textstyle\rm T$}\hbox{\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   453
to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   454
{\setbox0=\hbox{$\scriptstyle\rm T$}\hbox{\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   455
to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   456
{\setbox0=\hbox{$\scriptscriptstyle\rm T$}\hbox{\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   457
to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   458
\def\bbbs{{\mathchoice
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   459
{\setbox0=\hbox{$\displaystyle     \rm S$}\hbox{\raise0.5\ht0\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   460
to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   461
to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   462
{\setbox0=\hbox{$\textstyle        \rm S$}\hbox{\raise0.5\ht0\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   463
to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   464
to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   465
{\setbox0=\hbox{$\scriptstyle      \rm S$}\hbox{\raise0.5\ht0\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   466
to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   467
to0pt{\kern0.5\wd0\vrule height0.45\ht0\hss}\box0}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   468
{\setbox0=\hbox{$\scriptscriptstyle\rm S$}\hbox{\raise0.5\ht0\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   469
to0pt{\kern0.4\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   470
to0pt{\kern0.55\wd0\vrule height0.45\ht0\hss}\box0}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   471
\def\bbbz{{\mathchoice {\hbox{$\mathsf\textstyle Z\kern-0.4em Z$}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   472
{\hbox{$\mathsf\textstyle Z\kern-0.4em Z$}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   473
{\hbox{$\mathsf\scriptstyle Z\kern-0.3em Z$}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   474
{\hbox{$\mathsf\scriptscriptstyle Z\kern-0.2em Z$}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   475
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   476
\let\ts\,
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   477
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   478
\setlength\leftmargini  {17\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   479
\setlength\leftmargin    {\leftmargini}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   480
\setlength\leftmarginii  {\leftmargini}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   481
\setlength\leftmarginiii {\leftmargini}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   482
\setlength\leftmarginiv  {\leftmargini}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   483
\setlength  \labelsep  {.5em}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   484
\setlength  \labelwidth{\leftmargini}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   485
\addtolength\labelwidth{-\labelsep}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   486
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   487
\def\@listI{\leftmargin\leftmargini
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   488
            \parsep 0\p@ \@plus1\p@ \@minus\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   489
            \topsep 8\p@ \@plus2\p@ \@minus4\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   490
            \itemsep0\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   491
\let\@listi\@listI
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   492
\@listi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   493
\def\@listii {\leftmargin\leftmarginii
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   494
              \labelwidth\leftmarginii
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   495
              \advance\labelwidth-\labelsep
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   496
              \topsep    0\p@ \@plus2\p@ \@minus\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   497
\def\@listiii{\leftmargin\leftmarginiii
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   498
              \labelwidth\leftmarginiii
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   499
              \advance\labelwidth-\labelsep
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   500
              \topsep    0\p@ \@plus\p@\@minus\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   501
              \parsep    \z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   502
              \partopsep \p@ \@plus\z@ \@minus\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   503
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   504
\renewcommand\labelitemi{\normalfont\bfseries --}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   505
\renewcommand\labelitemii{$\m@th\bullet$}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   506
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   507
\setlength\arraycolsep{1.4\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   508
\setlength\tabcolsep{1.4\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   509
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   510
\def\tableofcontents{\chapter*{\contentsname\@mkboth{{\contentsname}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   511
                                                    {{\contentsname}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   512
 \def\authcount##1{\setcounter{auco}{##1}\setcounter{@auth}{1}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   513
 \def\lastand{\ifnum\value{auco}=2\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   514
                 \unskip{} \andname\
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   515
              \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   516
                 \unskip \lastandname\
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   517
              \fi}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   518
 \def\and{\stepcounter{@auth}\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   519
          \ifnum\value{@auth}=\value{auco}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   520
             \lastand
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   521
          \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   522
             \unskip,
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   523
          \fi}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   524
 \@starttoc{toc}\if@restonecol\twocolumn\fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   525
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   526
\def\l@part#1#2{\addpenalty{\@secpenalty}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   527
   \addvspace{2em plus\p@}%  % space above part line
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   528
   \begingroup
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   529
     \parindent \z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   530
     \rightskip \z@ plus 5em
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   531
     \hrule\vskip5pt
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   532
     \large               % same size as for a contribution heading
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   533
     \bfseries\boldmath   % set line in boldface
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   534
     \leavevmode          % TeX command to enter horizontal mode.
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   535
     #1\par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   536
     \vskip5pt
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   537
     \hrule
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   538
     \vskip1pt
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   539
     \nobreak             % Never break after part entry
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   540
   \endgroup}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   541
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   542
\def\@dotsep{2}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   543
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   544
\let\phantomsection=\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   545
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   546
\def\hyperhrefextend{\ifx\hyper@anchor\@undefined\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   547
{}\fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   548
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   549
\def\addnumcontentsmark#1#2#3{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   550
\addtocontents{#1}{\protect\contentsline{#2}{\protect\numberline
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   551
                     {\thechapter}#3}{\thepage}\hyperhrefextend}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   552
\def\addcontentsmark#1#2#3{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   553
\addtocontents{#1}{\protect\contentsline{#2}{#3}{\thepage}\hyperhrefextend}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   554
\def\addcontentsmarkwop#1#2#3{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   555
\addtocontents{#1}{\protect\contentsline{#2}{#3}{0}\hyperhrefextend}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   556
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   557
\def\@adcmk[#1]{\ifcase #1 \or
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   558
\def\@gtempa{\addnumcontentsmark}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   559
  \or    \def\@gtempa{\addcontentsmark}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   560
  \or    \def\@gtempa{\addcontentsmarkwop}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   561
  \fi\@gtempa{toc}{chapter}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   562
}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   563
\def\addtocmark{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   564
\phantomsection
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   565
\@ifnextchar[{\@adcmk}{\@adcmk[3]}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   566
}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   567
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   568
\def\l@chapter#1#2{\addpenalty{-\@highpenalty}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   569
 \vskip 1.0em plus 1pt \@tempdima 1.5em \begingroup
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   570
 \parindent \z@ \rightskip \@tocrmarg
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   571
 \advance\rightskip by 0pt plus 2cm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   572
 \parfillskip -\rightskip \pretolerance=10000
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   573
 \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   574
 {\large\bfseries\boldmath#1}\ifx0#2\hfil\null
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   575
 \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   576
      \nobreak
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   577
      \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   578
      \@dotsep mu$}\hfill
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   579
      \nobreak\hbox to\@pnumwidth{\hss #2}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   580
 \fi\par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   581
 \penalty\@highpenalty \endgroup}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   582
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   583
\def\l@title#1#2{\addpenalty{-\@highpenalty}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   584
 \addvspace{8pt plus 1pt}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   585
 \@tempdima \z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   586
 \begingroup
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   587
 \parindent \z@ \rightskip \@tocrmarg
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   588
 \advance\rightskip by 0pt plus 2cm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   589
 \parfillskip -\rightskip \pretolerance=10000
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   590
 \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   591
 #1\nobreak
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   592
 \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   593
 \@dotsep mu$}\hfill
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   594
 \nobreak\hbox to\@pnumwidth{\hss #2}\par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   595
 \penalty\@highpenalty \endgroup}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   596
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   597
\def\l@author#1#2{\addpenalty{\@highpenalty}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   598
 \@tempdima=15\p@ %\z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   599
 \begingroup
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   600
 \parindent \z@ \rightskip \@tocrmarg
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   601
 \advance\rightskip by 0pt plus 2cm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   602
 \pretolerance=10000
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   603
 \leavevmode \advance\leftskip\@tempdima %\hskip -\leftskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   604
 \textit{#1}\par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   605
 \penalty\@highpenalty \endgroup}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   606
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   607
\setcounter{tocdepth}{0}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   608
\newdimen\tocchpnum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   609
\newdimen\tocsecnum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   610
\newdimen\tocsectotal
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   611
\newdimen\tocsubsecnum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   612
\newdimen\tocsubsectotal
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   613
\newdimen\tocsubsubsecnum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   614
\newdimen\tocsubsubsectotal
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   615
\newdimen\tocparanum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   616
\newdimen\tocparatotal
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   617
\newdimen\tocsubparanum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   618
\tocchpnum=\z@            % no chapter numbers
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   619
\tocsecnum=15\p@          % section 88. plus 2.222pt
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   620
\tocsubsecnum=23\p@       % subsection 88.8 plus 2.222pt
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   621
\tocsubsubsecnum=27\p@    % subsubsection 88.8.8 plus 1.444pt
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   622
\tocparanum=35\p@         % paragraph 88.8.8.8 plus 1.666pt
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   623
\tocsubparanum=43\p@      % subparagraph 88.8.8.8.8 plus 1.888pt
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   624
\def\calctocindent{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   625
\tocsectotal=\tocchpnum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   626
\advance\tocsectotal by\tocsecnum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   627
\tocsubsectotal=\tocsectotal
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   628
\advance\tocsubsectotal by\tocsubsecnum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   629
\tocsubsubsectotal=\tocsubsectotal
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   630
\advance\tocsubsubsectotal by\tocsubsubsecnum
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   631
\tocparatotal=\tocsubsubsectotal
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   632
\advance\tocparatotal by\tocparanum}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   633
\calctocindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   634
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   635
\def\l@section{\@dottedtocline{1}{\tocchpnum}{\tocsecnum}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   636
\def\l@subsection{\@dottedtocline{2}{\tocsectotal}{\tocsubsecnum}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   637
\def\l@subsubsection{\@dottedtocline{3}{\tocsubsectotal}{\tocsubsubsecnum}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   638
\def\l@paragraph{\@dottedtocline{4}{\tocsubsubsectotal}{\tocparanum}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   639
\def\l@subparagraph{\@dottedtocline{5}{\tocparatotal}{\tocsubparanum}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   640
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   641
\def\listoffigures{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   642
 \fi\section*{\listfigurename\@mkboth{{\listfigurename}}{{\listfigurename}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   643
 \@starttoc{lof}\if@restonecol\twocolumn\fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   644
\def\l@figure{\@dottedtocline{1}{0em}{1.5em}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   645
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   646
\def\listoftables{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   647
 \fi\section*{\listtablename\@mkboth{{\listtablename}}{{\listtablename}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   648
 \@starttoc{lot}\if@restonecol\twocolumn\fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   649
\let\l@table\l@figure
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   650
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   651
\renewcommand\listoffigures{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   652
    \section*{\listfigurename
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   653
      \@mkboth{\listfigurename}{\listfigurename}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   654
    \@starttoc{lof}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   655
    }
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   656
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   657
\renewcommand\listoftables{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   658
    \section*{\listtablename
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   659
      \@mkboth{\listtablename}{\listtablename}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   660
    \@starttoc{lot}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   661
    }
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   662
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   663
\ifx\oribibl\undefined
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   664
\ifx\citeauthoryear\undefined
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   665
\renewenvironment{thebibliography}[1]
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   666
     {\section*{\refname}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   667
      \def\@biblabel##1{##1.}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   668
      \small
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   669
      \list{\@biblabel{\@arabic\c@enumiv}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   670
           {\settowidth\labelwidth{\@biblabel{#1}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   671
            \leftmargin\labelwidth
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   672
            \advance\leftmargin\labelsep
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   673
            \if@openbib
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   674
              \advance\leftmargin\bibindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   675
              \itemindent -\bibindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   676
              \listparindent \itemindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   677
              \parsep \z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   678
            \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   679
            \usecounter{enumiv}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   680
            \let\p@enumiv\@empty
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   681
            \renewcommand\theenumiv{\@arabic\c@enumiv}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   682
      \if@openbib
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   683
        \renewcommand\newblock{\par}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   684
      \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   685
        \renewcommand\newblock{\hskip .11em \@plus.33em \@minus.07em}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   686
      \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   687
      \sloppy\clubpenalty4000\widowpenalty4000%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   688
      \sfcode`\.=\@m}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   689
     {\def\@noitemerr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   690
       {\@latex@warning{Empty `thebibliography' environment}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   691
      \endlist}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   692
\def\@lbibitem[#1]#2{\item[{[#1]}\hfill]\if@filesw
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   693
     {\let\protect\noexpand\immediate
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   694
     \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   695
\newcount\@tempcntc
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   696
\def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   697
  \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   698
    {\@ifundefined
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   699
       {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bfseries
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   700
        ?}\@warning
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   701
       {Citation `\@citeb' on page \thepage \space undefined}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   702
    {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   703
     \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   704
       \@citea\def\@citea{,}\hbox{\csname b@\@citeb\endcsname}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   705
     \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   706
      \advance\@tempcntb\@ne
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   707
      \ifnum\@tempcntb=\@tempcntc
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   708
      \else\advance\@tempcntb\m@ne\@citeo
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   709
      \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   710
\def\@citeo{\ifnum\@tempcnta>\@tempcntb\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   711
               \@citea\def\@citea{,\,\hskip\z@skip}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   712
               \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   713
               {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   714
                \def\@citea{--}\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   715
      \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   716
\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   717
\renewenvironment{thebibliography}[1]
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   718
     {\section*{\refname}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   719
      \small
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   720
      \list{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   721
           {\settowidth\labelwidth{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   722
            \leftmargin\parindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   723
            \itemindent=-\parindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   724
            \labelsep=\z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   725
            \if@openbib
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   726
              \advance\leftmargin\bibindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   727
              \itemindent -\bibindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   728
              \listparindent \itemindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   729
              \parsep \z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   730
            \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   731
            \usecounter{enumiv}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   732
            \let\p@enumiv\@empty
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   733
            \renewcommand\theenumiv{}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   734
      \if@openbib
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   735
        \renewcommand\newblock{\par}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   736
      \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   737
        \renewcommand\newblock{\hskip .11em \@plus.33em \@minus.07em}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   738
      \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   739
      \sloppy\clubpenalty4000\widowpenalty4000%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   740
      \sfcode`\.=\@m}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   741
     {\def\@noitemerr
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   742
       {\@latex@warning{Empty `thebibliography' environment}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   743
      \endlist}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   744
      \def\@cite#1{#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   745
      \def\@lbibitem[#1]#2{\item[]\if@filesw
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   746
        {\def\protect##1{\string ##1\space}\immediate
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   747
      \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   748
   \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   749
\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   750
\@cons\@openbib@code{\noexpand\small}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   751
\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   752
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   753
\def\idxquad{\hskip 10\p@}% space that divides entry from number
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   754
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   755
\def\@idxitem{\par\hangindent 10\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   756
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   757
\def\subitem{\par\setbox0=\hbox{--\enspace}% second order
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   758
                \noindent\hangindent\wd0\box0}% index entry
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   759
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   760
\def\subsubitem{\par\setbox0=\hbox{--\,--\enspace}% third
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   761
                \noindent\hangindent\wd0\box0}% order index entry
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   762
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   763
\def\indexspace{\par \vskip 10\p@ plus5\p@ minus3\p@\relax}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   764
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   765
\renewenvironment{theindex}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   766
               {\@mkboth{\indexname}{\indexname}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   767
                \thispagestyle{empty}\parindent\z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   768
                \parskip\z@ \@plus .3\p@\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   769
                \let\item\par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   770
                \def\,{\relax\ifmmode\mskip\thinmuskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   771
                             \else\hskip0.2em\ignorespaces\fi}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   772
                \normalfont\small
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   773
                \begin{multicols}{2}[\@makeschapterhead{\indexname}]%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   774
                }
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   775
                {\end{multicols}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   776
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   777
\renewcommand\footnoterule{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   778
  \kern-3\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   779
  \hrule\@width 2truecm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   780
  \kern2.6\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   781
  \newdimen\fnindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   782
  \fnindent1em
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   783
\long\def\@makefntext#1{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   784
    \parindent \fnindent%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   785
    \leftskip \fnindent%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   786
    \noindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   787
    \llap{\hb@xt@1em{\hss\@makefnmark\ }}\ignorespaces#1}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   788
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   789
\long\def\@makecaption#1#2{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   790
  \small
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   791
  \vskip\abovecaptionskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   792
  \sbox\@tempboxa{{\bfseries #1.} #2}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   793
  \ifdim \wd\@tempboxa >\hsize
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   794
    {\bfseries #1.} #2\par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   795
  \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   796
    \global \@minipagefalse
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   797
    \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   798
  \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   799
  \vskip\belowcaptionskip}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   800
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   801
\def\fps@figure{htbp}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   802
\def\fnum@figure{\figurename\thinspace\thefigure}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   803
\def \@floatboxreset {%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   804
        \reset@font
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   805
        \small
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   806
        \@setnobreak
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   807
        \@setminipage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   808
}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   809
\def\fps@table{htbp}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   810
\def\fnum@table{\tablename~\thetable}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   811
\renewenvironment{table}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   812
               {\setlength\abovecaptionskip{0\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   813
                \setlength\belowcaptionskip{10\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   814
                \@float{table}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   815
               {\end@float}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   816
\renewenvironment{table*}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   817
               {\setlength\abovecaptionskip{0\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   818
                \setlength\belowcaptionskip{10\p@}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   819
                \@dblfloat{table}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   820
               {\end@dblfloat}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   821
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   822
\long\def\@caption#1[#2]#3{\par\addcontentsline{\csname
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   823
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   824
  the#1\endcsname}{\ignorespaces #2}}\begingroup
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   825
    \@parboxrestore
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   826
    \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   827
  \endgroup}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   828
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   829
% LaTeX does not provide a command to enter the authors institute
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   830
% addresses. The \institute command is defined here.
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   831
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   832
\newcounter{@inst}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   833
\newcounter{@auth}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   834
\newcounter{auco}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   835
\newdimen\instindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   836
\newbox\authrun
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   837
\newtoks\authorrunning
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   838
\newtoks\tocauthor
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   839
\newbox\titrun
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   840
\newtoks\titlerunning
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   841
\newtoks\toctitle
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   842
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   843
\def\clearheadinfo{\gdef\@author{No Author Given}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   844
                   \gdef\@title{No Title Given}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   845
                   \gdef\@subtitle{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   846
                   \gdef\@institute{No Institute Given}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   847
                   \gdef\@thanks{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   848
                   \global\titlerunning={}\global\authorrunning={}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   849
                   \global\toctitle={}\global\tocauthor={}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   850
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   851
\def\institute#1{\gdef\@institute{#1}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   852
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   853
\def\institutename{\par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   854
 \begingroup
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   855
 \parskip=\z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   856
 \parindent=\z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   857
 \setcounter{@inst}{1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   858
 \def\and{\par\stepcounter{@inst}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   859
 \noindent$^{\the@inst}$\enspace\ignorespaces}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   860
 \setbox0=\vbox{\def\thanks##1{}\@institute}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   861
 \ifnum\c@@inst=1\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   862
   \gdef\fnnstart{0}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   863
 \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   864
   \xdef\fnnstart{\c@@inst}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   865
   \setcounter{@inst}{1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   866
   \noindent$^{\the@inst}$\enspace
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   867
 \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   868
 \ignorespaces
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   869
 \@institute\par
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   870
 \endgroup}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   871
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   872
\def\@fnsymbol#1{\ensuremath{\ifcase#1\or\star\or{\star\star}\or
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   873
   {\star\star\star}\or \dagger\or \ddagger\or
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   874
   \mathchar "278\or \mathchar "27B\or \|\or **\or \dagger\dagger
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   875
   \or \ddagger\ddagger \else\@ctrerr\fi}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   876
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   877
\def\inst#1{\unskip$^{#1}$}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   878
\def\fnmsep{\unskip$^,$}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   879
\def\email#1{{\tt#1}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   880
\AtBeginDocument{\@ifundefined{url}{\def\url#1{#1}}{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   881
\@ifpackageloaded{babel}{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   882
\@ifundefined{extrasenglish}{}{\addto\extrasenglish{\switcht@albion}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   883
\@ifundefined{extrasfrenchb}{}{\addto\extrasfrenchb{\switcht@francais}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   884
\@ifundefined{extrasgerman}{}{\addto\extrasgerman{\switcht@deutsch}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   885
\@ifundefined{extrasngerman}{}{\addto\extrasngerman{\switcht@deutsch}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   886
}{\switcht@@therlang}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   887
\providecommand{\keywords}[1]{\par\addvspace\baselineskip
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   888
\noindent\keywordname\enspace\ignorespaces#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   889
}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   890
\def\homedir{\~{ }}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   891
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   892
\def\subtitle#1{\gdef\@subtitle{#1}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   893
\clearheadinfo
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   894
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   895
%%% to avoid hyperref warnings
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   896
\providecommand*{\toclevel@author}{999}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   897
%%% to make title-entry parent of section-entries
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   898
\providecommand*{\toclevel@title}{0}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   899
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   900
\renewcommand\maketitle{\newpage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   901
\phantomsection
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   902
  \refstepcounter{chapter}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   903
  \stepcounter{section}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   904
  \setcounter{section}{0}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   905
  \setcounter{subsection}{0}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   906
  \setcounter{figure}{0}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   907
  \setcounter{table}{0}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   908
  \setcounter{equation}{0}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   909
  \setcounter{footnote}{0}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   910
  \begingroup
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   911
    \parindent=\z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   912
    \renewcommand\thefootnote{\@fnsymbol\c@footnote}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   913
    \if@twocolumn
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   914
      \ifnum \col@number=\@ne
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   915
        \@maketitle
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   916
      \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   917
        \twocolumn[\@maketitle]%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   918
      \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   919
    \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   920
      \newpage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   921
      \global\@topnum\z@   % Prevents figures from going at top of page.
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   922
      \@maketitle
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   923
    \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   924
    \thispagestyle{empty}\@thanks
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   925
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   926
    \def\\{\unskip\ \ignorespaces}\def\inst##1{\unskip{}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   927
    \def\thanks##1{\unskip{}}\def\fnmsep{\unskip}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   928
    \instindent=\hsize
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   929
    \advance\instindent by-\headlineindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   930
    \if!\the\toctitle!\addcontentsline{toc}{title}{\@title}\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   931
       \addcontentsline{toc}{title}{\the\toctitle}\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   932
    \if@runhead
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   933
       \if!\the\titlerunning!\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   934
         \edef\@title{\the\titlerunning}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   935
       \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   936
       \global\setbox\titrun=\hbox{\small\rm\unboldmath\ignorespaces\@title}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   937
       \ifdim\wd\titrun>\instindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   938
          \typeout{Title too long for running head. Please supply}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   939
          \typeout{a shorter form with \string\titlerunning\space prior to
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   940
                   \string\maketitle}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   941
          \global\setbox\titrun=\hbox{\small\rm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   942
          Title Suppressed Due to Excessive Length}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   943
       \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   944
       \xdef\@title{\copy\titrun}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   945
    \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   946
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   947
    \if!\the\tocauthor!\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   948
      {\def\and{\noexpand\protect\noexpand\and}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   949
      \protected@xdef\toc@uthor{\@author}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   950
    \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   951
      \def\\{\noexpand\protect\noexpand\newline}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   952
      \protected@xdef\scratch{\the\tocauthor}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   953
      \protected@xdef\toc@uthor{\scratch}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   954
    \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   955
    \addtocontents{toc}{\noexpand\protect\noexpand\authcount{\the\c@auco}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   956
    \addcontentsline{toc}{author}{\toc@uthor}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   957
    \if@runhead
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   958
       \if!\the\authorrunning!
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   959
         \value{@inst}=\value{@auth}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   960
         \setcounter{@auth}{1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   961
       \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   962
         \edef\@author{\the\authorrunning}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   963
       \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   964
       \global\setbox\authrun=\hbox{\small\unboldmath\@author\unskip}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   965
       \ifdim\wd\authrun>\instindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   966
          \typeout{Names of authors too long for running head. Please supply}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   967
          \typeout{a shorter form with \string\authorrunning\space prior to
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   968
                   \string\maketitle}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   969
          \global\setbox\authrun=\hbox{\small\rm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   970
          Authors Suppressed Due to Excessive Length}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   971
       \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   972
       \xdef\@author{\copy\authrun}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   973
       \markboth{\@author}{\@title}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   974
     \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   975
  \endgroup
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   976
  \setcounter{footnote}{\fnnstart}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   977
  \clearheadinfo}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   978
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   979
\def\@maketitle{\newpage
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   980
 \markboth{}{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   981
 \def\lastand{\ifnum\value{@inst}=2\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   982
                 \unskip{} \andname\
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   983
              \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   984
                 \unskip \lastandname\
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   985
              \fi}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   986
 \def\and{\stepcounter{@auth}\relax
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   987
          \ifnum\value{@auth}=\value{@inst}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   988
             \lastand
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   989
          \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   990
             \unskip,
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   991
          \fi}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   992
 \begin{center}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   993
 \let\newline\\
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   994
 {\Large \bfseries\boldmath
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   995
  \pretolerance=10000
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   996
  \@title \par}\vskip .8cm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   997
\if!\@subtitle!\else {\large \bfseries\boldmath
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   998
  \vskip -.65cm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   999
  \pretolerance=10000
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1000
  \@subtitle \par}\vskip .8cm\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1001
 \setbox0=\vbox{\setcounter{@auth}{1}\def\and{\stepcounter{@auth}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1002
 \def\thanks##1{}\@author}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1003
 \global\value{@inst}=\value{@auth}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1004
 \global\value{auco}=\value{@auth}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1005
 \setcounter{@auth}{1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1006
{\lineskip .5em
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1007
\noindent\ignorespaces
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1008
\@author\vskip.35cm}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1009
 {\small\institutename}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1010
 \end{center}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1011
 }
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1012
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1013
% definition of the "\spnewtheorem" command.
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1014
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1015
% Usage:
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1016
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1017
%     \spnewtheorem{env_nam}{caption}[within]{cap_font}{body_font}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1018
% or  \spnewtheorem{env_nam}[numbered_like]{caption}{cap_font}{body_font}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1019
% or  \spnewtheorem*{env_nam}{caption}{cap_font}{body_font}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1020
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1021
% New is "cap_font" and "body_font". It stands for
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1022
% fontdefinition of the caption and the text itself.
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1023
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1024
% "\spnewtheorem*" gives a theorem without number.
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1025
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1026
% A defined spnewthoerem environment is used as described
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1027
% by Lamport.
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1028
%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1029
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1030
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1031
\def\@thmcountersep{}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1032
\def\@thmcounterend{.}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1033
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1034
\def\spnewtheorem{\@ifstar{\@sthm}{\@Sthm}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1035
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1036
% definition of \spnewtheorem with number
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1037
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1038
\def\@spnthm#1#2{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1039
  \@ifnextchar[{\@spxnthm{#1}{#2}}{\@spynthm{#1}{#2}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1040
\def\@Sthm#1{\@ifnextchar[{\@spothm{#1}}{\@spnthm{#1}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1041
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1042
\def\@spxnthm#1#2[#3]#4#5{\expandafter\@ifdefinable\csname #1\endcsname
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1043
   {\@definecounter{#1}\@addtoreset{#1}{#3}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1044
   \expandafter\xdef\csname the#1\endcsname{\expandafter\noexpand
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1045
     \csname the#3\endcsname \noexpand\@thmcountersep \@thmcounter{#1}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1046
   \expandafter\xdef\csname #1name\endcsname{#2}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1047
   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1048
                              \global\@namedef{end#1}{\@endtheorem}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1049
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1050
\def\@spynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1051
   {\@definecounter{#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1052
   \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1053
   \expandafter\xdef\csname #1name\endcsname{#2}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1054
   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#3}{#4}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1055
                               \global\@namedef{end#1}{\@endtheorem}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1056
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1057
\def\@spothm#1[#2]#3#4#5{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1058
  \@ifundefined{c@#2}{\@latexerr{No theorem environment `#2' defined}\@eha}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1059
  {\expandafter\@ifdefinable\csname #1\endcsname
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1060
  {\newaliascnt{#1}{#2}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1061
  \expandafter\xdef\csname #1name\endcsname{#3}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1062
  \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1063
  \global\@namedef{end#1}{\@endtheorem}}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1064
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1065
\def\@spthm#1#2#3#4{\topsep 7\p@ \@plus2\p@ \@minus4\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1066
\refstepcounter{#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1067
\@ifnextchar[{\@spythm{#1}{#2}{#3}{#4}}{\@spxthm{#1}{#2}{#3}{#4}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1068
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1069
\def\@spxthm#1#2#3#4{\@spbegintheorem{#2}{\csname the#1\endcsname}{#3}{#4}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1070
                    \ignorespaces}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1071
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1072
\def\@spythm#1#2#3#4[#5]{\@spopargbegintheorem{#2}{\csname
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1073
       the#1\endcsname}{#5}{#3}{#4}\ignorespaces}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1074
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1075
\def\@spbegintheorem#1#2#3#4{\trivlist
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1076
                 \item[\hskip\labelsep{#3#1\ #2\@thmcounterend}]#4}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1077
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1078
\def\@spopargbegintheorem#1#2#3#4#5{\trivlist
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1079
      \item[\hskip\labelsep{#4#1\ #2}]{#4(#3)\@thmcounterend\ }#5}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1080
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1081
% definition of \spnewtheorem* without number
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1082
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1083
\def\@sthm#1#2{\@Ynthm{#1}{#2}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1084
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1085
\def\@Ynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1086
   {\global\@namedef{#1}{\@Thm{\csname #1name\endcsname}{#3}{#4}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1087
    \expandafter\xdef\csname #1name\endcsname{#2}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1088
    \global\@namedef{end#1}{\@endtheorem}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1089
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1090
\def\@Thm#1#2#3{\topsep 7\p@ \@plus2\p@ \@minus4\p@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1091
\@ifnextchar[{\@Ythm{#1}{#2}{#3}}{\@Xthm{#1}{#2}{#3}}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1092
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1093
\def\@Xthm#1#2#3{\@Begintheorem{#1}{#2}{#3}\ignorespaces}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1094
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1095
\def\@Ythm#1#2#3[#4]{\@Opargbegintheorem{#1}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1096
       {#4}{#2}{#3}\ignorespaces}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1097
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1098
\def\@Begintheorem#1#2#3{#3\trivlist
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1099
                           \item[\hskip\labelsep{#2#1\@thmcounterend}]}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1100
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1101
\def\@Opargbegintheorem#1#2#3#4{#4\trivlist
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1102
      \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1103
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1104
\if@envcntsect
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1105
   \def\@thmcountersep{.}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1106
   \spnewtheorem{theorem}{Theorem}[section]{\bfseries}{\itshape}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1107
\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1108
   \spnewtheorem{theorem}{Theorem}{\bfseries}{\itshape}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1109
   \if@envcntreset
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1110
      \@addtoreset{theorem}{section}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1111
   \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1112
      \@addtoreset{theorem}{chapter}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1113
   \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1114
\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1115
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1116
%definition of divers theorem environments
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1117
\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1118
\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1119
\if@envcntsame % alle Umgebungen wie Theorem.
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1120
   \def\spn@wtheorem#1#2#3#4{\@spothm{#1}[theorem]{#2}{#3}{#4}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1121
\else % alle Umgebungen mit eigenem Zaehler
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1122
   \if@envcntsect % mit section numeriert
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1123
      \def\spn@wtheorem#1#2#3#4{\@spxnthm{#1}{#2}[section]{#3}{#4}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1124
   \else % nicht mit section numeriert
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1125
      \if@envcntreset
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1126
         \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1127
                                   \@addtoreset{#1}{section}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1128
      \else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1129
         \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1130
                                   \@addtoreset{#1}{chapter}}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1131
      \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1132
   \fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1133
\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1134
\spn@wtheorem{case}{Case}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1135
\spn@wtheorem{conjecture}{Conjecture}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1136
\spn@wtheorem{corollary}{Corollary}{\bfseries}{\itshape}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1137
\spn@wtheorem{definition}{Definition}{\bfseries}{\itshape}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1138
\spn@wtheorem{example}{Example}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1139
\spn@wtheorem{exercise}{Exercise}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1140
\spn@wtheorem{lemma}{Lemma}{\bfseries}{\itshape}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1141
\spn@wtheorem{note}{Note}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1142
\spn@wtheorem{problem}{Problem}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1143
\spn@wtheorem{property}{Property}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1144
\spn@wtheorem{proposition}{Proposition}{\bfseries}{\itshape}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1145
\spn@wtheorem{question}{Question}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1146
\spn@wtheorem{solution}{Solution}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1147
\spn@wtheorem{remark}{Remark}{\itshape}{\rmfamily}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1148
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1149
\def\@takefromreset#1#2{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1150
    \def\@tempa{#1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1151
    \let\@tempd\@elt
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1152
    \def\@elt##1{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1153
        \def\@tempb{##1}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1154
        \ifx\@tempa\@tempb\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1155
            \@addtoreset{##1}{#2}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1156
        \fi}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1157
    \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1158
    \expandafter\def\csname cl@#2\endcsname{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1159
    \@tempc
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1160
    \let\@elt\@tempd}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1161
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1162
\def\theopargself{\def\@spopargbegintheorem##1##2##3##4##5{\trivlist
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1163
      \item[\hskip\labelsep{##4##1\ ##2}]{##4##3\@thmcounterend\ }##5}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1164
                  \def\@Opargbegintheorem##1##2##3##4{##4\trivlist
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1165
      \item[\hskip\labelsep{##3##1}]{##3##2\@thmcounterend\ }}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1166
      }
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1167
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1168
\renewenvironment{abstract}{%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1169
      \list{}{\advance\topsep by0.35cm\relax\small
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1170
      \leftmargin=1cm
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1171
      \labelwidth=\z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1172
      \listparindent=\z@
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1173
      \itemindent\listparindent
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1174
      \rightmargin\leftmargin}\item[\hskip\labelsep
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1175
                                    \bfseries\abstractname]}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1176
    {\endlist}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1177
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1178
\newdimen\headlineindent             % dimension for space between
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1179
\headlineindent=1.166cm              % number and text of headings.
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1180
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1181
\def\ps@headings{\let\@mkboth\@gobbletwo
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1182
   \let\@oddfoot\@empty\let\@evenfoot\@empty
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1183
   \def\@evenhead{\normalfont\small\rlap{\thepage}\hspace{\headlineindent}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1184
                  \leftmark\hfil}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1185
   \def\@oddhead{\normalfont\small\hfil\rightmark\hspace{\headlineindent}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1186
                 \llap{\thepage}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1187
   \def\chaptermark##1{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1188
   \def\sectionmark##1{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1189
   \def\subsectionmark##1{}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1190
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1191
\def\ps@titlepage{\let\@mkboth\@gobbletwo
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1192
   \let\@oddfoot\@empty\let\@evenfoot\@empty
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1193
   \def\@evenhead{\normalfont\small\rlap{\thepage}\hspace{\headlineindent}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1194
                  \hfil}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1195
   \def\@oddhead{\normalfont\small\hfil\hspace{\headlineindent}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1196
                 \llap{\thepage}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1197
   \def\chaptermark##1{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1198
   \def\sectionmark##1{}%
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1199
   \def\subsectionmark##1{}}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1200
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1201
\if@runhead\ps@headings\else
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1202
\ps@empty\fi
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1203
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1204
\setlength\arraycolsep{1.4\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1205
\setlength\tabcolsep{1.4\p@}
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1206
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1207
\endinput
16af5b8bd285 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
  1208
%end of file llncs.cls