ita.cls

   1 \NeedsTeXFormat{LaTeX2e}
   2 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   3 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   4 %%%      ita  class for LaTeX2e                         %%
   5 %%%      Pierre Damphousse                              %%
   6 %%%      Copyright (C) EDP Sciences                     %%
   7 %%%      Version 1.2. September 2002                    %%
   8 %%%      tex-support@edpsciences.com                    %%
   9 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  11 %% --> THE CLASS OPTION MATERIAL
  12 %% --> THE CLASS PRESENTATION MATERIAL
  13 %% --> THE SECTIONING MATERIAL
  14 %% --> THE METRIC DATA
  15 %% --> THE TOP MATTER MATERIAL
  16 %----  (A) The MAKETITLE command and its components
  17 %----  (B) Preparing the MAKETITLE components
  18 %          -1-   Heading
  19 %          -2-   Title and Running Title
  20 %          -3-   Authors and Running authors
  21 %          -4-   Date
  22 %          -5-   Subject Class
  23 %          -6-   Resume
  24 %          -7-   Abstract
  25 %          -8-   Address (\address, given after the \author command)
  26 %          -9-   Thanks  (given after the title: \thanks)
  27 %% --> MISCELLANEOUS
  28 %% --> MESSAGES
  29 %% --> VARIOUS MACROS
  30 %----  (A) LATIN ABBREVIATIONS
  31 %----  (B) REFERENCES
  32 %----  (C) NEWTHEOREM AND ENVIRONMENTS
  33 %----  (D) MATHEMATICS
  34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  36 %
  37 %%-----------------------------------------------------------------------------
  38 %% --> THE CLASS OPTION MATERIAL
  39 %%-----------------------------------------------------------------------------
  40 \ProvidesClass{ita}[1999/03/01 v1.1 EDP-Sciences]
  41 \DeclareOption*{\PassOptionsToClass{\CurrentOption}{amsart}}
  42 \ProcessOptions\relax
  43 %%-----------------------------------------------------------------------------
  44 %% --> THE CLASS PRESENTATION MATERIAL
  45 %%-----------------------------------------------------------------------------
  46 \LoadClass[reqno]{amsart}[1996/10/24]
  47 \RequirePackage{cite}
  48 %%-----------------------------------------------------------------------------
  49 %% --> THE SECTIONING MATERIAL
  50 %%-----------------------------------------------------------------------------
  51 \def\section{\@startsection{section}{1}\z@{1.2\linespacing\@plus\linespacing}%
  52 {\linespacing} {\fontsize{12}{14}\selectfont\scshape\centering}}
  53 \def\subsection{\@startsection{subsection}{2}\z@{\linespacing\@plus.8\linespacing}%
  54 {.8\linespacing}{\fontsize{10}{12}\selectfont\scshape}}
  55 \def\subsubsection{\@startsection{subsubsection}{3}\z@{.7\linespacing\@plus.5\linespacing}%
  56 {.5\linespacing}{\normalfont\itshape}}
  57 \def\paragraph{\@startsection{paragraph}{4}\z@\z@{-\fontdimen2\font}\normalfont}
  58 \def\subparagraph{\@startsection{subparagraph}{5}\z@\z@{-\fontdimen2\font}\normalfont}
  59 %%-----------------------------------------------------------------------------
  60 %% --> THE METRIC DATA
  61 %%-----------------------------------------------------------------------------
  62 \setlength\oddsidemargin {15pt}\setlength\evensidemargin{15pt}
  63 \setlength{\textwidth}{125mm}\setlength{\textheight}{190mm}
  64 \setlength{\headheight}{18pt}
  65 %%-----------------------------------------------------------------------------
  66 %% --> THE TOP MATTER MATERIAL
  67 %%-----------------------------------------------------------------------------
  68 % =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =
  69 %----  (A) The MAKETITLE command and its components
  70 \def\@maketitle{%
  71   \normalfont\normalsize
  72   \let\@makefnmark\relax \let\@thefnmark\relax
  73   \global\def\shorttitle{\@MSSG@RNNGTTL}
  74   \global\def\shortauthors{\@MSSG@RNNGTHR}
  75   \@mkboth{\@nx\shortauthors}{\@nx\shorttitle}%
  76   \global\topskip42\p@\relax
  77   \@SKIP@Aa
  78   \vbox{\hbox to\hsize{{\fontsize{10}{12}\selectfont{\bf\@NMJRNL@E}}\hfill%
  79   {\fontsize{8}{9}\selectfont\@JRNL@X}}
  80   \hbox to\hsize{\fontsize{8}{9}\selectfont{\@NMJRNL@F}\hfill}}
  81   \@SKIP@Ab
  82   \@setkeywords
  83   \@settitle
  84   \@setauthors
  85   \@setabstract
  86   \@setresume
  87   \@setsubjclass
  88   \normalsize
  89   \if@titlepage\newpage\else\dimen@34\p@\advance\dimen@-\baselineskip\vskip\dimen@\relax\fi
  90   \gdef\thanks##1{\relax}\gdef\address##1{\relax}
  91 }% end \@maketitle
  92 % =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =   =
  93 %----  (B) Preparing the MAKETITLE components
  94 %................ ................ ................ ................  ................
  95 %          -1-   Heading
  96 %................ ................ ................ ................  ................
  97 \def\@SKIP@Aa{\vspace*{-1.5cm}}%
  98 \def\@SKIP@Ab{\vspace*{1.5cm}}%
  99 \def\@NMJRNL@F{{Informatique Th\'eorique et Applications}}%
 100 \def\@NMJRNL@E{{Theoretical Informatics and Applications}}%
 101 \def\@JRNL@X{{Will be set by the publisher}}%
 102 \def\idline#1page#2{\global\def\@JRNL@X{#1}\setcounter{page}{#2}}
 103 %................ ................ ................ ................  ................
 104 %          -2-   Title and Running Title
 105 %................ ................ ................ ................  ................
 106 \def\@settitle{\begin{center}\fontsize{11}{15}\selectfont\bfseries
 107     \uppercasenonmath\@title\@title\@thnks@i\@thnks@ii\@thnks@iii\@thnks@iv\@thnks@v
 108 \ifnum\the\@c@thnks@=0\else\footnote{\box\@b@thnks@}\fi
 109 \end{center}}
 110 \newbox\@b@rnngttl
 111 \def\runningtitle#1{\setbox\@b@rnngttl=\hbox{\fontsize{7}{9}\selectfont\rm\uppercase{#1}}}
 112 %................ ................ ................ ................  ................
 113 %          -3-   Authors and Running authors
 114 %................ ................ ................ ................  ................
 115 \def\@setauthors{\begingroup\trivlist
 116   \centering\footnotesize \@topsep30\p@\relax\advance\@topsep by -\baselineskip
 117   \item\relax\fontsize{12}{14}\selectfont\scshape\@@th@rs\ignorespaces
 118   \footnote{\box\@b@ddrss@}\endtrivlist\endgroup}
 119 \def\email#1{{e-mail: \tt#1}}
 120 \newbox\@b@rnngthr
 121 \def\runningauthors#1{\setbox\@b@rnngthr=\hbox{#1}%
 122 \global\def\@rnngthrs{\fontsize{7}{9}\selectfont\rm\uppercase{#1}}}
 123 \newcount\@c@thr@\@c@thr@=0
 124 \def\author#1{\global\advance\@c@thr@ by 1
 125           \global\expandafter\edef\csname @thr@\romannumeral\@c@thr@\endcsname{#1}
 126           \global\expandafter\edef\csname @Mthr@\romannumeral\@c@thr@\endcsname{\uppercase{#1}}
 127           \global\expandafter\def\csname @ddrss@\romannumeral\@c@thr@\endcsname{}
 128           \global\expandafter\def\csname @scndddrss@\romannumeral\@c@thr@\endcsname{}
 129           \global\expandafter\def\csname @smddrss@\romannumeral\@c@thr@\endcsname{}}%\author
 130 %    Elaborating the two author lists (First page and heading)
 131 \newcount\@y\newcount\@x
 132 \def\@cnjctn{\ifnum\the\@c@thr@=1\null\else{{\ and\ }}\fi}
 133 \def\@Mcnjctn{\ifnum\the\@c@thr@=1\null\else{{\ AND\ }}\fi}
 134 \def\@@th@rs{\@x=0\global\@y=\@c@thr@\global\advance\@y by -1
 135 \loop\advance\@x by 1
 136 \ifnum\the\@x<\the\@y\csname  @thr@\romannumeral\@x\endcsname\ignorespaces
 137             ${}^{\csname  @ddrss@\romannumeral\@x\endcsname
 138                  \csname  @smddrss@\romannumeral\@x\endcsname
 139                  \csname  @scndddrss@\romannumeral\@x\endcsname}$,
 140 \repeat
 141 \csname  @thr@\romannumeral\@y\endcsname\ignorespaces
 142             ${}^{\csname  @ddrss@\romannumeral\@y\endcsname
 143                  \csname  @smddrss@\romannumeral\@y\endcsname
 144                  \csname  @scndddrss@\romannumeral\@y\endcsname}$\@cnjctn
 145 \csname  @thr@\romannumeral\@c@thr@\endcsname\ignorespaces
 146             ${}^{\csname  @ddrss@\romannumeral\@c@thr@\endcsname
 147                  \csname  @smddrss@\romannumeral\@c@thr@\endcsname
 148                  \csname  @scndddrss@\romannumeral\@c@thr@\endcsname}$}%\@@th@rs
 149 \def\M@@th@rs{\@x=0\global\@y=\@c@thr@\global\advance\@y by -1
 150 \loop\advance\@x by 1
 151 \ifnum\the\@x<\the\@y\csname  @Mthr@\romannumeral\@x\endcsname,
 152 \repeat
 153 \csname  @Mthr@\romannumeral\@y\endcsname\@Mcnjctn
 154 \csname  @Mthr@\romannumeral\@c@thr@\endcsname}%\M@@th@rs
 155 \def\@qq#1#2{\vrule height#1 depth#2 width0pt}
 156 %................ ................ ................ ................  ................
 157 %          -4-   Date and editor
 158 %................ ................ ................ ................  ................
 159 \let\@date\@empty
 160 \def\@setdate{\noindent\fontsize{8}{10}\selectfont\hbox{\@date\@addpunct.}}
 161 \def\editor#1{\def\@editor{#1}}
 162 \let\@editor\@empty
 163 \def\@seteditor{\vskip6\p@\noindent\fontsize{8}{10}\selectfont\noindent\hbox{Communicated by
 164 \@editor\@addpunct.}}
 165 %................ ................ ................ ................  ................
 166 %          -5-   Subject Class
 167 %................ ................ ................ ................  ................
 168 %
 169 \def\@setsubjclass{\skip@20\p@\advance\skip@-\lastskip\advance\skip@-\baselineskip\vskip\skip@
 170   \moveright 3pc\hbox{{\bfseries\subjclassname.}\enspace \@subjclass \@addpunct.}} %
 171 \renewcommand{\subjclassname}{AMS Subject Classification}
 172 %
 173 \newbox\@b@kwrds
 174 \def\keywords#1{\global\setbox\@b@kwrds\vtop{\advance\hsize by-12pt
 175     \noindent\footnotesize\textit{\@MSSG@KWRD@0K}#1\@qq{0pt}{4pt}}}
 176 \def\@setkeywords{\ifvoid\@b@kwrds\else\footnote{\box\@b@kwrds}\fi}
 177 %................ ................ ................ ................  ................
 178 %          -6-   Resume
 179 %................ ................ ................ ................  ................
 180 \newbox\resumebox
 181 \newenvironment{resume}{\ifx\maketitle\relax\ClassWarning{\@classname}{\@MSSG@CLSSWRNG}\fi
 182   \global\setbox\resumebox=\vtop\bgroup\fontsize{9}{11}\selectfont\advance \hsize -6pc
 183   \trivlist
 184     \labelsep.5em\item[\hskip\labelsep{\scshape\fontsize{10}{12}\selectfont\bf R\'esum\'e}.]}
 185 {\endtrivlist\egroup\ifx\@setresume\relax \@setresumea \fi}
 186 \def\@setresume{\@setresumea\global\let\@setresume\relax}
 187 \def\@setresumea{\skip@20\p@\advance\skip@-\lastskip\advance\skip@-\baselineskip \vskip\skip@
 188   \ifvoid\resumebox\else\moveright 3pc \box\resumebox\fi}
 189 %................ ................ ................ ................  ................
 190 %          -7-   Abstract
 191 %................ ................ ................ ................  ................
 192 \newbox\abstractbox
 193 \renewenvironment{abstract}{\ifx\maketitle\relax\ClassWarning{\@classname}{\@MSSG@CLSSWRNGBSTRCT}\fi
 194   \global\setbox\abstractbox=\vtop\bgroup\fontsize{9}{11}\selectfont
 195   \advance \hsize -6pc
 196   \trivlist
 197     \labelsep.5em\item[\hskip\labelsep{\scshape\fontsize{10}{12}\selectfont\bf Abstract}.]}
 198 {\endtrivlist\egroup\ifx\@setabstract\relax \@setabstracta \fi}
 199 \def\@setabstract{\@setabstracta\global\let\@setabstract\relax}
 200 \def\@setabstracta{\skip@20\p@ \advance\skip@-\lastskip \advance\skip@-\baselineskip \vskip\skip@
 201   \ifvoid\abstractbox{\hbox to\hsize{\kern3pc\fontsize{10}{12}
 202           \selectfont\bf \hbox to55pt{Abstract\hfill}\qquad\@MSSG@BSTRCT\hfill}}
 203     \else\moveright 3pc \box\abstractbox \fi}
 204 %................ ................ ................ ................  ................
 205 %                Address         (\address, given after the \author command)
 206 %         -8-    Same Address    (\sameaddress, given after the \author command)
 207 %                Second Address  (\secondaddress, given after the \author command)
 208 %................ ................ ................ ................  ................
 209 \def\@spc{\kern1pt}\def\@spcc{\kern2pt}
 210 \newcount\@c@ddrss@\newbox\@b@ddrss@
 211 %
 212 \def\@dd@ddrss@#1{%
 213 \global\setbox51=\vbox{\advance\hsize by-12pt\unvbox\@b@ddrss@
 214   \vtop{\footnotesize\noindent{${}^{\the\@c@ddrss@}$\ }\@qq{10pt}{0pt}\textrm{#1}}}
 215   \global\setbox\@b@ddrss@=\vbox{\unvbox51}}%
 216 %
 217 \def\@dd@scndddrss@#1{%
 218 \global\setbox51=\vbox{\advance\hsize by-12pt\unvbox\@b@ddrss@
 219   \vtop{\footnotesize\noindent{${}^{\the\@c@ddrss@}$\ }\@qq{10pt}{0pt}\textrm{#1}}}
 220   \global\setbox\@b@ddrss@=\vbox{\unvbox51}}
 221 %
 222 \def\address#1{\global\advance\@c@ddrss@ by 1\@dd@ddrss@{#1}
 223   \expandafter\edef\csname @ddrss@\romannumeral\@c@thr@\endcsname{\@spc\number\@c@ddrss@}}
 224 \def\secondaddress#1{\global\advance\@c@ddrss@ by 1\@dd@ddrss@{#1}
 225   \expandafter\edef\csname @scndddrss@\romannumeral\@c@thr@\endcsname%
 226 {,\@spcc\number\@c@ddrss@}}%\secondaddress#1
 227 \def\sameaddress#1{\expandafter\edef\csname @smddrss@\romannumeral\@c@thr@\endcsname{\@spc{}#1}}
 228 %................ ................ ................ ................  ................
 229 %          -9-   Thanks  (given in the title: \thanks)
 230 %................ ................ ................ ................  ................
 231 \def\@rmnnmrl#1{\ifcase#1\null\or*\or**\or***\or****\or*****\else\@MSSG@THNKS\fi}
 232 \def\@thnks@i{}\def\@thnks@ii{}\def\@thnks@iii{}\def\@thnks@iv{}\def\@thnks@v{}
 233 \newcount\@c@thnks@\newbox\@b@thnks@
 234 \def\@dd@thnks@#1{%
 235 \global\setbox50=\vbox{\advance\hsize by-12pt\unvbox\@b@thnks@
 236   \vtop{\noindent\footnotesize{${}^{\@rmnnmrl\@c@thnks@}$\ }\@qq{10pt}{0pt}\textit{#1}\hfill}}
 237 \global\setbox\@b@thnks@=\vbox{\unvbox50}}%
 238 \def\thanks#1{\global\advance\@c@thnks@ by 1\@dd@thnks@{#1}%
 239 \global\expandafter\edef\csname @thnks@\romannumeral\@c@thnks@\endcsname{%
 240 \ifnum\the\@c@thnks@=1\@spcc${}^{\@rmnnmrl\@c@thnks@}$\else$^{,\@spcc\@rmnnmrl\@c@thnks@}$\fi}}
 241 %%-----------------------------------------------------------------------------
 242 %% --> MISCELLANEOUS
 243 %%-----------------------------------------------------------------------------
 244 \DeclareRobustCommand*\cal{\@fontswitch\relax\mathcal}
 245 %
 246 \renewcommand\normalsize{\@xsetfontsize\normalsize 6%
 247   \@adjustvertspacing \let\@listi\@listI
 248   \abovedisplayskip 11pt \@plus2pt \@minus2pt
 249   \belowdisplayskip \abovedisplayskip}
 250 %
 251 \def\ps@firstpage{\ps@plain
 252   \def\@oddfoot{\hfill{\scriptsize \copyright\ EDP Sciences 1999}}%
 253   \let\@evenfoot\@oddfoot\def\@oddhead{\null\hss}
 254   \let\@evenhead\@oddhead}% in case an article starts on a left-hand page
 255 %
 256 \def\ps@headings{\ps@empty
 257   \def\@evenhead{\normalfont\scriptsize\llap{\normalsize\thepage\kern-4pt}\hfil\scriptsize\leftmark{}{}\hfil}%
 258   \def\@oddhead{\normalfont\scriptsize\hfil\rightmark{}{}\hfil\rlap{\kern-4pt\normalsize{\thepage}}}%
 259   \let\@mkboth\markboth}
 260 \def\ps@myheadings{\ps@headings \let\@mkboth\@gobbletwo}\pagestyle{headings}
 261 %%-----------------------------------------------------------------------------
 262 %% --> MESSAGES
 263 %%-----------------------------------------------------------------------------
 264 \def\@MSSG@THNKS{At most 5 thanks allowed}
 265 \def\@MSSG@CLSSWRNGRSM{Resume should precede \protect\maketitle\space in AMS documentclasses; reported}
 266 \def\@MSSG@CLSSWRNGBSTRCT{Abstract should precede \protect\maketitle\space in AMS documentclasses;
 267            reported}
 268 \def\@MSSG@KWRD{{WARNING:  --- Give at least one key words ---}}
 269 \def\@MSSG@KWRD@0K{{Keywords and phrases:\ }}
 270 \def\@MSSG@SBJCTCLSS{{--- Give AMS classification codes  ---}}
 271 \def\@MSSG@RSM{{WARNING:  --- Il est obligatoire de donner un r\'esum\'e en fran\c cais! ---}}
 272 \def\@MSSG@BSTRCT{{WARNING:  --- An English abstract is mandatory! ---}}
 273 \def\@MSSG@DT{{(The dates will be set by the publisher)}}
 274 \def\@MSSG@DTR{{(The editor will be set by the publisher)}}
 275 %% September 2002
 276 \def\@MSSG@RNNGTTL{\uppercase{Title will be set by the publisher}}
 277 \def\@MSSG@RNNGTHR{\uppercase{Title will be set by the publisher}}
 278 %
 279 \def\@date{\@MSSG@DT}
 280 \def\@editor{\@MSSG@DTR}
 281 \def\@subjclass#1{\@MSSG@SBJCTCLSS}
 282 %%-----------------------------------------------------------------------------
 283 %% --> VARIOUS MACROS
 284 %%-----------------------------------------------------------------------------
 285 %................ ................ ................ ................  ................
 286 %----  (A) LATIN ABBREVIATIONS
 287 %................ ................ ................ ................  ................
 288 \def\cf{\emph{cf.\/}}\def\ie{\emph{i.e.\/}}\def\etc{\emph{etc\/}}
 289 \def\apriori{\emph{a priori\/}}\def\afortiori{\emph{a fortiori\/}}
 290 \def\loccit{\emph{a loc. cit.\/}}\def\etal{\emph{et al.\/}}
 291 \def\vg{\emph{v.g.\/}}
 292 %................ ................ ................ ................  ................
 293 %----  (B) REFERENCES
 294 %................ ................ ................ ................  ................
 295 \def\@Rref#1{\hbox{\rm \ref{#1}}}
 296 \def\Rref#1{\@Rref{#1}}
 297 %................ ................ ................ ................  ................
 298 %----  (C) NEWTHEOREM AND ENVIRONMENTS
 299 %................ ................ ................ ................  ................
 300 %-------------------
 301 \theoremstyle{plain}
 302 %-------------------
 303 \newtheorem{thrm}{Theorem}[section]
 304 \newtheorem{lmm}[thrm]{Lemma}
 305 \newtheorem{crllr}[thrm]{Corollary}
 306 \newtheorem{prpstn}[thrm]{Proposition}
 307 \newtheorem{crtrn}[thrm]{Criterion}
 308 \newtheorem{lgrthm}[thrm]{Algorithm}
 309 %------------------------
 310 \theoremstyle{definition}
 311 %------------------------
 312 \newtheorem{dfntn}[thrm]{Definition}
 313 \newtheorem{cnjctr}[thrm]{Conjecture}
 314 \newtheorem{xmpl}[thrm]{Example}
 315 \newtheorem{prblm}[thrm]{Problem}
 316 \newtheorem{rmrk}[thrm]{Remark}
 317 \newtheorem{nt}[thrm]{Note}
 318 \newtheorem{clm}[thrm]{Claim}
 319 \newtheorem{smmr}[thrm]{Summary}
 320 \newtheorem{cs}[thrm]{Case}
 321 \newtheorem{bsrvtn}[thrm]{Observation}
 322 %
 323 %-------------------
 324 \theoremstyle{plain}
 325 %-------------------
 326 \newenvironment{acknowledgement}{\par\addvspace{17pt}\small\rmfamily\noindent}{\par\addvspace{6pt}}
 327 %................ ................ ................ ................  ................
 328 %----  (D) MACROS FOR MATHEMATICS
 329 %................ ................ ................ ................  ................
 330 \def\xQuaternion{\mathbb{H}} \def\xC{\mathbb{C}} \def\xR{\mathbb{R}}
 331 \def\xQ{\mathbb{Q}} \def\xZ{\mathbb{Z}} \def\xN{\mathbb{N}}
 332 \def\xP{\mathbb{P}} \def\xA{\mathbb{A}}
 333 %--
 334 \def\xCzero{{\rm C}^{0}}
 335 \def\xCone{{\rm C}^{1}}
 336 \def\xCtwo{{\rm C}^{2}}
 337 \def\xCinfty{{\rm C}^{\infty}}
 338 \def\xCn#1{{\rm C}^#1}
 339 %--
 340 \def\xHzero{{\rm H}^{0}}
 341 \def\xHone{{\rm H}^{1}}
 342 \def\xHtwo{{\rm H}^{2}}
 343 \def\xHinfty{{\rm H}^{\infty}}
 344 \def\xHn#1{{\rm H}^#1}
 345 %
 346 \def\xWzero{{\rm W}^{0}}
 347 \def\xWone{{\rm W}^{1}}
 348 \def\xWtwo{{\rm W}^{2}}
 349 \def\xWinfty{{\rm W}^{\infty}}
 350 \def\xWn#1{{\rm W}^#1}
 351 %
 352 \def\xLzero{{\rm L}^{0}}
 353 \def\xLone{{\rm L}^{1}}
 354 \def\xLtwo{{\rm L}^{2}}
 355 \def\xLinfty{{\rm L}^{\infty}}
 356 \def\xLn#1{{\rm L}^#1}
 357 %--
 358 \def\xDif{{\rm D}}
 359 \def\xdif{\,{\rm d}}
 360 %--
 361 \def\xdrv#1#2{\frac{{\rm d}#1}{{\rm d}#2}}%  "d#1 over d#2"
 362 \def\xDrv#1#2{\frac{{\rm d}}{{\rm d}#2}#1}%  "d   over d#2  #1"
 363 %--
 364 \def\xker{\mathop{\rm ker\,}\nolimits}
 365 \def\xcoker{\mathop{\rm coker\,}\nolimits}
 366 \def\xim{\mathop{\rm im\,}\nolimits}
 367 \def\xcoim{\mathop{\rm coim\,}\nolimits}
 368 \def\xdim{\mathop{\rm dim\,}\nolimits}
 369 \def\xcodim{\mathop{\rm codim\,}\nolimits}
 370 \def\xtr{\mathop{\rm tr\,}\nolimits}
 371 \def\xHom{\mathop{\rm Hom\,}\nolimits}
 372 \def\xExt{\mathop{\rm Ext\,}\nolimits}
 373 \def\xTor{\mathop{\rm Tor\,}\nolimits}
 374 %--
 375 \def\xGL{\mathop{\rm GL\,}\nolimits}
 376 \def\xSL{\mathop{\rm SL\,}\nolimits}
 377 \def\xPSL{\mathop{\rm PSL\,}\nolimits}
 378 \def\xSO{\mathop{\rm SO\,}\nolimits}
 379 \def\xSU{\mathop{\rm SU\,}\nolimits}
 380 %
 381 \def\xProof{
 382   \normalfont
 383   \medskip
 384   {\noindent\itshape Proof.\hspace*{6pt}\ignorespaces}}
 385 %
 386 \def\enddoc@text{\ifx\@empty\@translators \else\@settranslators\fi
 387   \ifx\@empty\@editor \else\@seteditor\\\fi
 388   \ifx\@empty\@date \else\@setdate\fi}
 389 %
 390 %
 391 \endinput