home *** CD-ROM | disk | FTP | other *** search
/ ftp.uv.es / 2014.11.ftp.uv.es.tar / ftp.uv.es / tmp / fb95 / fbssuppl.sty < prev    next >
Text File  |  1995-05-03  |  34KB  |  1,156 lines

  1. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  2. %                                                                 %
  3. %    This is a LaTeX input file called FBSSUPPL.STY               %
  4. %                                (version of April 28th, 1995)    %
  5. %                                                                 %
  6. %    Save this file under the name FBSSUPPL.STY into your LaTeX   %
  7. %    input directory/folder. It will generate your documents in   %
  8. %    the style required for FEW-BODY SYSTEMS SUPPLEMENTUM.        %
  9. %    For further instructions see the manual that can be          %
  10. %    generated by executing the source file EXAMPLE.TEX.          %
  11. %                                                                 %
  12. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  13. %
  14. % ARTICLE STANDARD DOCUMENT STYLE -- Released 14 Jan 1992
  15. %    for LaTeX version 2.09
  16. % Copyright (C) 1992 by Leslie Lamport
  17. %
  18. % Adapted by
  19. %    Gerhard A. Bachmaier
  20. %    Institute for Medical Informatics,
  21. %    Statistics and Documentation
  22. %    University of Graz
  23. %    Graz, Austria
  24. %
  25. %    for Springer-Verlag  Wien, New York
  26.   
  27.  
  28. \typeout{Document Style `fbssuppl' <28 April 95>.}
  29.  
  30. \def\@errmess#1#2{\typeout{FBS Suppl #1: #2}}
  31.  
  32. \def\AmS{{\protect\the\textfont2 
  33. A\kern-.1667em\lower.5ex\hbox{M}\kern-.125emS}\,}
  34. \def\AMSTeX{\AmS\TeX}
  35.  
  36. \def\partname{Part}
  37. \def\contentsname{Contents}
  38. \def\listfigurename{List of Figures}
  39. \def\listtablename{List of Tables}
  40. \def\refname{References}
  41. \def\figurename{Figure}
  42. \def\tablename{Table}
  43. \def\abstractname{Abstract}
  44.  
  45. \newif\if@amsfonts  \@amsfontsfalse
  46. \def\ds@amsfonts{\@amsfontstrue}
  47.  
  48. \newif\if@amssymbols  \@amssymbolsfalse
  49. \def\ds@amssymb{\@amssymbolstrue}
  50.  
  51. \newif\if@psfig  \@psfigfalse
  52. \def\ds@psfig{\@psfigstrue}
  53.  
  54. \def\ds@draft{\overfullrule 5\p@}
  55.  
  56. \newif\if@widenlines \@widenlinesfalse
  57. \def\ds@widen{\@widenlinestrue}
  58. \newif\if@tightenlines \@tightenlinesfalse
  59. \def\ds@tighten{\@tightenlinestrue}
  60.  
  61. \newif\if@secnumeq \global\@secnumeqfalse
  62. \def\ds@secnumeq{\global\@secnumeqtrue}
  63. \newif\if@secnumfig \global\@secnumfigfalse
  64. \def\ds@secnumfig{\global\@secnumfigtrue}
  65. \newif\if@secnumtab \global\@secnumtabfalse
  66. \def\ds@secnumtab{\global\@secnumtabtrue}
  67.  
  68. \@options
  69. \@twosidetrue
  70.  
  71. \newcounter{numdate}
  72. \setcounter{numdate}{\number\year}
  73. \addtocounter{numdate}{-1990}
  74. \multiply \value{numdate} by 12
  75. \addtocounter{numdate}{\number\month}
  76. \multiply \value{numdate} by 31
  77. \addtocounter{numdate}{\number\day}
  78.  
  79. \def\widenlines{\def\baselinestretch{2.5}\small\normalsize}
  80. \let\widen\widenlines
  81. \def\tightenlines{\def\baselinestretch{1}\small\normalsize}
  82. \let\tighten\tightenlines
  83.  
  84. \def\labelenumi{\theenumi.}
  85. \def\theenumi{\arabic{enumi}}
  86.  
  87. \def\labelenumii{(\theenumii)}
  88. \def\theenumii{\alph{enumii}}
  89. \def\p@enumii{\theenumi}
  90.  
  91. \def\labelenumiii{\theenumiii.}
  92. \def\theenumiii{\roman{enumiii}}
  93. \def\p@enumiii{\theenumi(\theenumii)}
  94.  
  95. \def\labelenumiv{\theenumiv.}
  96. \def\theenumiv{\Alph{enumiv}}
  97. \def\p@enumiv{\p@enumiii\theenumiii}
  98.  
  99. \def\labelitemi{$\m@th\bullet$}
  100. \def\labelitemii{\bf --}
  101. \def\labelitemiii{$\m@th\ast$}
  102. \def\labelitemiv{$\m@th\cdot$}
  103.  
  104. \def\verse{\let\\=\@centercr
  105.   \list{}{\itemsep\z@ \itemindent -1.5em\listparindent \itemindent
  106.           \rightmargin\leftmargin\advance\leftmargin 1.5em}\item[]}
  107. \let\endverse\endlist
  108.  
  109. \def\quotation{\list{}{\listparindent 1.5em
  110.     \itemindent\listparindent
  111.     \rightmargin\leftmargin  % for both sided indent
  112.     \parsep \z@ plus\p@}\item[]}
  113. \let\endquotation=\endlist
  114.  
  115. \def\Quotation{\list{}{\listparindent 1.5em
  116.     \itemindent\listparindent
  117.     \parsep \z@ plus\p@}\item[]}
  118. \let\endQuotation=\endlist
  119.  
  120. \def\quote{\list{}{\rightmargin\leftmargin}\item[]}
  121. \let\endquote=\endlist
  122.  
  123. \def\descriptionlabel#1{\hspace\labelsep \bf #1}
  124. \def\description{\list{}{\labelwidth\z@ \itemindent-\leftmargin
  125.        \let\makelabel\descriptionlabel}}
  126.  
  127. \let\enddescription\endlist
  128.  
  129. \def\theequation{\arabic{equation}}
  130.  
  131. \arraycolsep 5pt
  132.  
  133. \tabcolsep 6pt
  134.  
  135. \arrayrulewidth .4pt
  136. \doublerulesep 2pt
  137.  
  138. \tabbingsep \labelsep
  139.  
  140. \skip\@mpfootins = \skip\footins
  141.  
  142. \fboxsep = 3pt
  143.  
  144. \fboxrule = .4pt
  145.  
  146. \newcounter{part}
  147. \newcounter {section}
  148. \newcounter {subsection}[section]
  149. \newcounter {subsubsection}[subsection]
  150. \newcounter {paragraph}[subsubsection]
  151. \newcounter {subparagraph}[paragraph]
  152.  
  153. \def\thepart          {\Roman{part}}
  154. \def\thesection       {\arabic{section}}
  155. \def\thesubsection    {\thesection.\arabic{subsection}}
  156. \def\thesubsubsection {\thesubsection.\arabic{subsubsection}}
  157. \def\theparagraph     {\thesubsubsection.\arabic{paragraph}}
  158. \def\thesubparagraph  {\theparagraph.\arabic{subparagraph}}
  159.  
  160. \def\part{\par
  161.    \addvspace{4ex}
  162.    \@afterindentfalse
  163.    \secdef\@part\@spart}
  164.  
  165. \def\@part[#1]#2{\ifnum \c@secnumdepth >\m@ne
  166.         \refstepcounter{part}
  167.         \addcontentsline{toc}{part}{\thepart
  168.         \hspace{1em}#1}\else
  169.       \addcontentsline{toc}{part}{#1}\fi
  170.    {\parindent \z@ \raggedright
  171.     \interlinepenalty \@M
  172.     \ifnum \c@secnumdepth >\m@ne
  173.       \Large \bf \partname~\thepart%   THEN Print '\partname' and
  174.       \par\nobreak
  175.     \fi
  176.     \huge \bf
  177.     #2%
  178.     \markboth{}{}\par
  179.    }\nobreak
  180.    \vskip 5ex
  181.    \@afterheading
  182.   }
  183.  
  184. \def\@spart#1{{\parindent \z@ \raggedright
  185.     \interlinepenalty \@M
  186.     \huge \bf
  187.     #1\par}
  188.     \nobreak
  189.     \vskip 3ex
  190.     \@afterheading
  191.   }
  192.  
  193. \def\@pnumwidth{1.55em}
  194. \def\@tocrmarg {2.55em}
  195. \def\@dotsep{4.5}
  196. \setcounter{tocdepth}{3}
  197.  
  198. \def\tableofcontents{\section*{\contentsname
  199.         \@mkboth{\uppercase{\contentsname}}{\uppercase{\contentsname}}}%
  200.   \@starttoc{toc}}
  201.  
  202. \def\l@part#1#2{\addpenalty{\@secpenalty}%
  203.    \addvspace{2.25em plus\p@}%
  204.    \begingroup
  205.    \@tempdima 3em
  206.      \parindent \z@ \rightskip \@pnumwidth
  207.      \parfillskip -\@pnumwidth
  208.      {\large \bf
  209.      \leavevmode
  210.      #1\hfil \hbox to\@pnumwidth{\hss #2}}\par
  211.      \nobreak
  212.    \endgroup}
  213.  
  214. \def\l@section#1#2{\addpenalty{\@secpenalty}% good place for page break
  215.    \addvspace{1.0em plus\p@}%
  216.    \@tempdima 1.5em
  217.    \begingroup
  218.      \parindent \z@ \rightskip \@pnumwidth
  219.      \parfillskip -\@pnumwidth
  220.      \bf
  221.      \leavevmode
  222.       \advance\leftskip\@tempdima
  223.       \hskip -\leftskip
  224.      #1\nobreak\hfil \nobreak\hbox to\@pnumwidth{\hss #2}\par
  225.    \endgroup}
  226.  
  227. \def\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}}
  228. \def\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}}
  229. \def\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}}
  230. \def\l@subparagraph{\@dottedtocline{5}{10em}{5em}}
  231.  
  232. \def\listoffigures{\section*{\listfigurename
  233.     \@mkboth{\uppercase{\listfigurename}}{\uppercase{\listfigurename}}}%
  234.   \@starttoc{lof}}
  235.  
  236. \def\l@figure{\@dottedtocline{1}{1.5em}{2.3em}}
  237.  
  238. \def\listoftables{\section*{\listtablename\@mkboth
  239.    {\uppercase{\listtablename}}{\uppercase{\listtablename}}}%
  240.   \@starttoc{lot}}
  241. \let\l@table\l@figure
  242.  
  243. \def\thebibliography#1{\@appendixfalse\section*{\refname\@mkboth{}{}}\list
  244.   {\@biblabel{\arabic{enumiv}}}{\settowidth\labelwidth{\@biblabel{#1}}%
  245.     \leftmargin\labelwidth
  246.     \advance\leftmargin\labelsep
  247.     \usecounter{enumiv}%
  248.     \let\p@enumiv\@empty
  249.     \def\theenumiv{\arabic{enumiv}}}%
  250.     \def\newblock{\hskip .11em plus.33em minus.07em}%
  251.     \sloppy\clubpenalty4000\widowpenalty4000
  252.     \sfcode`\.=1000\relax}
  253.  
  254. \def\@biblabel#1{#1.}
  255.  
  256. \def\endthebibliography{%
  257.   \def\@noitemerr{\@warning{Empty `thebibliography' environment}}%
  258.   \endlist}
  259.  
  260. \def\@checkdate{\ifnum \value{numdate} > 2015 
  261. \@errmess{error}{Evaluation time expired! Contact your TeX wizard %
  262. immediately!}\enddocument \else\relax\fi}
  263.  
  264. \newif\if@restonecol
  265.  
  266. \def\footnoterule{\kern-3\p@
  267.   \hrule width .4\columnwidth
  268.   \kern 2.6\p@}
  269.  
  270. \def\Fnsymbol#1{\@Fnsymbol{\@nameuse{c@#1}}}
  271. \def\@Fnsymbol#1{\ifcase#1\or * \or \dagger \or ** \or \dagger\dagger %
  272. \or *** \or \dagger\dagger\dagger \or **** \or \dagger\dagger\dagger\dagger %
  273. \or ***** \or \dagger\dagger\dagger\dagger\dagger \else\@ctrerr\fi\relax}
  274.  
  275. \newcounter{thanks}
  276. \newlength\@fnindent
  277. \def\get@fnindent{%
  278. \ifnum \value{thanks} <3 \setlength{\@fnindent}{4pt} \else%
  279.   \ifnum \value{thanks} <5 \setlength{\@fnindent}{8pt} \else%
  280.     \ifnum \value{thanks} <7 \setlength{\@fnindent}{12pt} \else%
  281.       \ifnum \value{thanks} <9 \setlength{\@fnindent}{16pt} \else%
  282.         \setlength{\@fnindent}{20pt}%
  283. \fi\fi\fi\fi}
  284.  
  285. \long\def\@makefntext#1{\@setpar{\get@fnindent\@@par\@tempdima \hsize
  286.   \advance\@tempdima-\@fnindent\parshape \@ne \@fnindent \@tempdima}\par 
  287.   \parindent 0pt\noindent
  288.             \hbox to\z@{\hss$\m@th^{\@thefnmark}$}#1}
  289.  
  290. \setcounter{topnumber}{4}
  291. \def\topfraction{.9}
  292. \setcounter{bottomnumber}{4}
  293. \def\bottomfraction{.9}
  294. \setcounter{totalnumber}{8}
  295. \def\textfraction{.1}
  296. \def\floatpagefraction{.7}
  297. \setcounter{dbltopnumber}{2}
  298. \def\dbltopfraction{.7}
  299. \def\dblfloatpagefraction{.5}
  300.  
  301.  
  302. \long\def\@makecaption#1#2{%
  303.    \vskip 10\p@
  304.    {\small {\bf #1.} #2\par\vskip5\p@}}
  305.  
  306. \newcounter{figure}
  307. \@definecounter{figure}%
  308. \if@secnumfig %
  309. \@addtoreset{figure}{section} %
  310. \def\thefigure@prefix{\arabic{section}.} %
  311. \else %
  312. \def\thefigure@prefix{}
  313. \fi
  314.  
  315. \def\thefigure{\thefigure@prefix\@arabic\c@figure}%
  316.  
  317. \def\fps@figure{tbp}
  318. \def\ftype@figure{1}
  319. \def\ext@figure{lof}
  320. \def\fnum@figure{\figurename~\thefigure}
  321. \def\figure{\@float{figure}}
  322. \let\endfigure\end@float
  323.  
  324. \newcounter{table}
  325. \@definecounter{table}%
  326. \if@secnumtab %
  327. \@addtoreset{table}{section} %
  328. \def\thetable@prefix{\arabic{section}.} %
  329. \else %
  330. \def\thetable@prefix{}
  331. \fi
  332.  
  333. \def\thetable{\thetable@prefix\@arabic\c@table}%
  334.  
  335. \def\tabstrut{\rule[-3mm]{0mm}{8mm}}
  336. \renewcommand{\arraystretch}{1.1}
  337.  
  338. \def\fps@table{tbp}
  339. \def\ftype@table{2}
  340. \def\ext@table{lot}
  341. \def\fnum@table{\tablename~\thetable}
  342. \def\table{\@float{table}}
  343. \let\endtable\end@float
  344.  
  345. \newcounter{pageskip}
  346. \def\emptyfloatpages#1#2#3{%
  347. \if #1+#2<1 \@errmess{error}{No floats selected, command ignored!}\relax
  348. \else 
  349.  \if #3<1 \@errmess{warning}{Number of empty pages reset to one!}%
  350.  \setcounter{pageskip}{1}\else\setcounter{pageskip}{#3}\fi
  351.  \@errmess{information}{There will be #1 skipped figures.}
  352.  \@errmess{information}{There will be #2 skipped tables.}
  353.  \@errmess{information}{There will be #3 skipped pages.}
  354.  \addtocounter{figure}{#1}
  355.  \addtocounter{table}{#2}
  356.  \loop\ifnum\value{pageskip}>0 \@emptyfloat\advance\value{pageskip}-1\repeat
  357. \fi}
  358.  
  359. \def\@emptyfloat{\begin{figure}[p]\vspace*{180mm}\end{figure}}
  360.  
  361. \newcounter{instnum}
  362. \setcounter{instnum}{1}
  363. \def\theinstnum{\arabic{instnum}}
  364.  
  365. \newif\if@singleinst
  366. \@singleinsttrue
  367.  
  368. \def\instnr#1{$\m@th{}^{#1}$}
  369. \def\thanksnr#1{$\m@th{}^{\Fnsymbol{#1}}$}
  370.  
  371. \def\institute#1{\gdef\@institute{#1}}
  372. \def\instlist#1{\gdef\@instlist{#1\@singleinstfalse}}
  373.  
  374. \def\@checkinst{%\let\and\mbox{}
  375. \@ifundefined{@institute}{\@singleinstfalse}{\@singleinsttrue}}
  376.  
  377. \newlength{\@tablength}
  378. \setlength{\@tablength}{114mm}
  379. \renewcommand\and{%
  380. \end{tabular}\par\noindent\vspace{1pt}\addtocounter{instnum}{1}%
  381. \begin{tabular}[t]{@{}p{3mm}@{\,}p{\@tablength}}\hfil${}^{\theinstnum}$&%
  382. }
  383.  
  384. \def\SaveFinalPage{%
  385.  \write\@mainaux{\string\SetFinalPage{\arabic{page}}}}
  386.  \def\SetFinalPage#1{\gdef\FinalPage{#1}}
  387.  \SetFinalPage{??}
  388.  
  389. \newcounter{volume}
  390. \setcounter{volume}{99}
  391.  
  392. \def\@year{\number\year}
  393.  
  394. \newcommand\FBSlogo{\unitlength=1mm
  395. \begin{picture}(28,3)(0,15)\put(0,0){\line(1,0){28}}
  396. \put(0,18){\line(1,0){28}}\put(13,13){\Large Few-}
  397. \put(14.5,9.8){\Large Body}\put(9.3,7.3){\Large Systems}
  398. \put(0,4){\hbox to 28mm{\tiny\copyright\ by Springer-Verlag \@year}}
  399. \put(0,2){\tiny Printed in Austria}
  400. \end{picture}} % end FBS-Logo
  401.  
  402. \def\maketitle{\par
  403.  \begingroup
  404.    \def\thefootnote{\Fnsymbol{footnote}}%
  405.    \def\@makefnmark{${}^{\@thefnmark}$}%
  406.      \newpage
  407.      \global\@topnum\z@
  408.      \@maketitle 
  409.      \setcounter{thanks}{\value{footnote}}
  410.      \thispagestyle{myheadings}\@thanks
  411.  \endgroup
  412.  \setcounter{footnote}{0}%
  413.  \let\maketitle\relax
  414.  \let\@maketitle\relax
  415.  \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\gdef\@institute{}%
  416.  \gdef\@instlist{}\let\thanks\relax}
  417.  
  418. \def\@maketitle{\newpage
  419.  \null
  420.  \vskip 20mm
  421.  \begin{flushleft}%
  422.   {\Large \@title \par}%
  423.   \vskip 10mm
  424.   \normalsize
  425.    \lineskip .5em
  426.    \@author \par\vskip 5pt\noindent
  427.    \@checkinst
  428.    \if@singleinst%
  429.      \@institute\par\end{flushleft}% 
  430.    \else
  431.      \end{flushleft}
  432.      \begin{tabular}[t]{@{}p{3mm}@{\,}p{\@tablength}}\hfil${}^1$&\@instlist
  433.      \end{tabular}\par%   
  434.    \fi
  435.   \vskip 2em}
  436.  
  437. \def\abstract{\small\Quotation%
  438. \noindent {\bf \abstractname.}
  439. }
  440.  
  441. \def\endabstract{\endQuotation\normalsize}
  442.  
  443. \def\acknowledge{\par\vskip1em\normalsize%
  444. \noindent {\it Acknowledgement.}}
  445.  
  446. \def\endacknowledge{\par\vskip1em}
  447.  
  448. \mark{{}{}}
  449.  
  450.  \def\ps@headings{\let\@mkboth\markboth
  451.   \def\@oddfoot{}\def\@evenfoot{}%       No feet.
  452.   \def\@evenhead{\hbox{}{\rm\small \thepage} \hfil}%   Left heading.
  453.   \def\@oddhead{\hbox{}\hfil {\rm\small\thepage}}% Right heading.
  454.  }
  455.  
  456.  \def\ps@myheadings{\let\@mkboth\markboth
  457.   \def\@oddfoot{}\def\@evenfoot{}%       No feet.
  458.   \def\@evenhead{This page (\thepage) should be an odd one!}%        
  459.   %                  Left heading should not occur for 1st page!
  460.   \def\@oddhead{{\small \bf Few-Body Systems Suppl.\ \thevolume, \thepage--%
  461.   \FinalPage\ (\@year)} \hfil \FBSlogo}% Right heading.
  462.   }
  463.  
  464. \def\today{\ifcase\month\or
  465.   January\or February\or March\or April\or May\or June\or
  466.   July\or August\or September\or October\or November\or December\fi
  467.   \space\number\day, \number\year}
  468.  
  469. \ps@headings
  470. \pagenumbering{arabic}
  471. \onecolumn
  472. \flushbottom
  473. \frenchspacing
  474.  
  475. %
  476. % Additional mathematical stuff
  477. %  
  478. \newdimen\fdxvi
  479. \newdimen\fdxvii
  480. %\newcommand{\chemical}[1]{%
  481. %\@ifundefined{selectfont}%
  482. % {\fdxvi=\fontdimen16\tensy \fdxvii=\fontdimen17\tensy%  
  483. % {$\fontdimen16\tensy=.3\fontdimen5\tensy 
  484. % \fontdimen17\tensy=.3\fontdimen5\tensy \rm #1$} 
  485. % \fontdimen16\tensy=\fdxvi \fontdimen17\tensy=\fdxvii}
  486. %{\relax}
  487. %}
  488.  
  489. \let\@Realpart\Re
  490. \let\@Imagpart\Im
  491. \renewcommand{\Re}{\mbox{\rm Re}}
  492. \renewcommand{\Im}{\mbox{\rm Im}}
  493.  
  494. \let\Ohm\Omega
  495. \let\Laplace\Delta
  496.  
  497. \let\rmGamma\Gamma
  498. \let\rmDelta\Delta
  499. \let\rmTheta\Theta
  500. \let\rmLambda\Lambda
  501. \let\rmXi\Xi
  502. \let\rmPi\Pi
  503. \let\rmSigma\Sigma
  504. \let\rmUpsilon\Upsilon
  505. \let\rmPhi\Phi
  506. \let\rmPsi\Psi
  507. \let\rmOmega\Omega
  508.  
  509. \mathchardef\Gamma="0100
  510. \mathchardef\Delta="0101
  511. \mathchardef\Theta="0102
  512. \mathchardef\Lambda="0103
  513. \mathchardef\Xi="0104
  514. \mathchardef\Pi="0105
  515. \mathchardef\Sigma="0106
  516. \mathchardef\Upsilon="0107
  517. \mathchardef\Phi="0108
  518. \mathchardef\Psi="0109
  519. \mathchardef\Omega="010A
  520.  
  521. \let\inodot\i%
  522. \let\jnodot\j%
  523. \renewcommand{\i}{\ifmmode{\rm i}\else\inodot\fi}
  524. \renewcommand{\j}{\ifmmode{\rm j}\else\jnodot\fi}
  525.  
  526. \def\putilde#1{\oalign{$#1$\crcr\hidewidth 
  527.    \vbox to.2ex{\hbox{\char126}\vss}\hidewidth}}
  528. \def\utilde{\protect\putilde}
  529.  
  530. \def\bm#1{%
  531. \mathchoice
  532. {{\hbox{\boldmath$\displaystyle#1$\unboldmath}}}%
  533. {{\hbox{\boldmath$\textstyle#1$\unboldmath}}}%
  534. {{\hbox{\boldmath$\scriptstyle#1$\unboldmath}}}%
  535. {{\hbox{\boldmath$\scriptscriptstyle#1$\unboldmath}}}%
  536. }
  537.  
  538. \let\polarize\vec
  539. \def\tensor#1{\protect\@ontopof{#1}{\leftrightarrow}{1.15}\mathord{\box2}}
  540. \def\loarrow#1{\protect\@ontopof{#1}{\leftarrow}{1.15}\mathord{\box2}}
  541. \def\roarrow#1{\protect\@ontopof{#1}{\rightarrow}{1.15}\mathord{\box2}}
  542.  
  543. \def\@ontopof#1#2#3{%
  544. {\mathchoice
  545. {\@@ontopof{#1}{#2}{#3}\displaystyle\scriptstyle}%
  546. {\@@ontopof{#1}{#2}{#3}\textstyle\scriptstyle}%
  547. {\@@ontopof{#1}{#2}{#3}\scriptstyle\scriptscriptstyle}%
  548. {\@@ontopof{#1}{#2}{#3}\scriptscriptstyle\scriptscriptstyle}%
  549. }%
  550. }
  551.  
  552. \def\@@ontopof#1#2#3#4#5{%
  553. \setbox0=\hbox{$#4#1$}%
  554. \setbox1=\hbox{$#5#2$}%
  555. \setbox2=\hbox{}\ht2=\ht0 \dp2=\dp0 %
  556. \ifdim\wd0>\wd1 %
  557. \setbox1=\hbox to\wd0{\hss\box1\hss}%
  558. \mathord{\rlap{\raise#3\ht0\box1}\box0}%
  559. \else     %
  560. \setbox1=\hbox to.9\wd1{\hss\box1\hss}%
  561. \setbox0=\hbox to\wd1{\hss$#4\relax#1$\hss}%
  562. \mathord{\rlap{\copy0}\raise#3\ht0\box1}%
  563. \fi
  564. }
  565.  
  566. %  Redine vectors as boldface letters 
  567. \def\vec#1{\bm{#1}}
  568.  
  569. \def\openone{\leavevmode\hbox{\small1\kern-3.3pt\normalsize1}}%
  570.  
  571. %  Additional symbols (if you do not use AMS-TeX)
  572. \def\squareforqed{\hbox{\rlap{$\sqcap$}$\sqcup$}}
  573. \def\qed{\ifmmode\squareforqed\else{\unskip\nobreak\hfil
  574. \penalty50\hskip1em\null\nobreak\hfil\squareforqed
  575. \parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}
  576. \def\getsto{\mathrel{\mathchoice {\vcenter{\offinterlineskip
  577. \halign{\hfil
  578. $\displaystyle##$\hfil\cr\gets\cr\to\cr}}}
  579. {\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr\gets
  580. \cr\to\cr}}}
  581. {\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr\gets
  582. \cr\to\cr}}}
  583. {\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
  584. \gets\cr\to\cr}}}}}
  585. \def\lid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
  586. $\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.2pt}=\cr}}}
  587. {\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
  588. \noalign{\vskip1.2pt}=\cr}}}
  589. {\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
  590. \noalign{\vskip1pt}=\cr}}}
  591. {\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
  592. <\cr
  593. \noalign{\vskip0.9pt}=\cr}}}}}
  594. \def\gid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
  595. $\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.2pt}=\cr}}}
  596. {\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
  597. \noalign{\vskip1.2pt}=\cr}}}
  598. {\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
  599. \noalign{\vskip1pt}=\cr}}}
  600. {\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
  601. >\cr
  602. \noalign{\vskip0.9pt}=\cr}}}}}
  603. \def\grole{\mathrel{\mathchoice {\vcenter{\offinterlineskip
  604. \halign{\hfil
  605. $\displaystyle##$\hfil\cr>\cr\noalign{\vskip-1pt}<\cr}}}
  606. {\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
  607. >\cr\noalign{\vskip-1pt}<\cr}}}
  608. {\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
  609. >\cr\noalign{\vskip-0.8pt}<\cr}}}
  610. {\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
  611. >\cr\noalign{\vskip-0.3pt}<\cr}}}}}
  612.  
  613. \newcommand{\Lesim}{\raisebox{-.3ex}[1.ex][1.ex]{%
  614. \mbox{$\,\stackrel{\scriptstyle<}{\scriptscriptstyle \approx}\,$}}}
  615. \newcommand{\Gesim}{\raisebox{-.3ex}[1.ex][1.ex]{%
  616. \mbox{$\,\stackrel{\scriptstyle>}{\scriptscriptstyle \approx}\,$}}}
  617. \newcommand{\lesim}{\raisebox{-.3ex}[1.ex][1.ex]{%
  618. \mbox{$\,\stackrel{\scriptstyle<}{\scriptscriptstyle \sim}\,$}}}
  619. \newcommand{\gesim}{\raisebox{-.3ex}[1.ex][1.ex]{%
  620. \mbox{$\,\stackrel{\scriptstyle>}{\scriptscriptstyle \sim}\,$}}}
  621.  
  622. \def\Prom{\leavevmode{\kern-.05em
  623.  \raise.5ex\hbox{\the\scriptfont0 0}\kern-.15em/\kern-.15em
  624.  \lower.25ex\hbox{\the\scriptfont0 00}}}
  625. \def\prom{\leavevmode{\kern-.05em
  626.  \raise.5ex\hbox{\the\scriptscriptfont0 0}\kern-.15em/\kern-.15em
  627.  \lower.25ex\hbox{\the\scriptscriptfont0 00}}}
  628. \def\Perc{\leavevmode{\kern-.05em
  629.  \raise.5ex\hbox{\the\scriptfont0 0}\kern-.15em/\kern-.15em
  630.  \lower.25ex\hbox{\the\scriptfont0 0}}}
  631. \def\perc{\leavevmode{\kern-.05em
  632.  \raise.5ex\hbox{\the\scriptscriptfont0 0}\kern-.15em/\kern-.15em
  633.  \lower.25ex\hbox{\the\scriptscriptfont0 0}}}
  634.  
  635. %AMS-Notation for relations and symbols defined above
  636. \if@amssymbols\relax
  637. \else
  638.  \@ifundefined{square}{\let\square\squareforqed}{\relax}
  639.  \@ifundefined{leftrightarrows}{\let\leftrightarrows\getsto}{\relax}
  640.  \@ifundefined{leqq}{\let\leqq\lid}{\relax}
  641.  \@ifundefined{geqq}{\let\geqq\gid}{\relax}
  642.  \@ifundefined{gtrless}{\let\gtrless\grole}{\relax}
  643.  \@ifundefined{lessapprox}{\let\lessapprox\Lesim}{\relax}
  644.  \@ifundefined{gtrapprox}{\let\gtrapprox\Gesim}{\relax}
  645.  \@ifundefined{lesssim}{\let\lesssim\lesim}{\relax}
  646.  \@ifundefined{gtrsim}{\let\gtrsim\gesim}{\relax}
  647. \fi
  648.  
  649. \newcounter{eqletter} \setcounter{eqletter}{0}
  650.  
  651. \def\@eqnnum{\hbox{\reset@font\rm(\theequation)}}
  652. \let\make@eqnnum=\@eqnnum %
  653. \def\eqnum#1{\dec@eqnnum \global\def\make@eqnnum{\reset@font\rm(#1)}%
  654. \def\@currentlabel{#1}%
  655. }
  656. \def\inc@eqnnum{\addtocounter{equation}{1}}
  657. \def\dec@eqnnum{\addtocounter{equation}{-1}}
  658. \@definecounter{equation}%
  659. \if@secnumeq %
  660. \@addtoreset{equation}{section} %
  661. \def\theequation@prefix{\arabic{section}.} %
  662. \else %
  663. \def\theequation@prefix{}
  664. \fi
  665.  
  666. \def\theequation{\theequation@prefix\arabic{equation}}%
  667.  
  668. \def\equation{$$ %% $$ brace matching hack
  669. \inc@eqnnum%
  670. \let\@currentlabel=\theequation%
  671. }
  672.  
  673. \def\endequation{\eqno\hbox{\@eqnnum} %% $$ brace matching hack
  674. $$\global\@ignoretrue}
  675.  
  676. \def\mathletters{%
  677. \inc@eqnnum      \setcounter{eqletter}{0}%
  678. \edef\@currentlabel{\theequation}%
  679. \def\theequation{\theequation@prefix\arabic{equation}\alph{eqletter}}%
  680. \def\inc@eqnnum{\addtocounter{eqletter}{1}}%
  681. \def\dec@eqnnum{\addtocounter{eqletter}{-1}}%
  682. }
  683.  
  684. \let\endmathletters\relax
  685.  
  686. \def\Equation#1{$$ %% $$ brace matching hack
  687. \let\save@number\theequation
  688. \def\theequation{\mbox{#1}}
  689. \let\@currentlabel=\theequation
  690. }
  691.  
  692. \def\endEquation{\eqno\hbox{\@eqnnum} %% $$ brace matching hack
  693. $$\global\@ignoretrue%
  694. \let\theequation\save@number}
  695.  
  696. %   End of mathematical stuff
  697. %
  698. %   Following definitions are based on art10.sty 
  699.  
  700. \lineskip 1pt
  701. \normallineskip 1pt
  702. \def\baselinestretch{1}
  703.  
  704. \def\@normalsize{\@setsize\normalsize{12pt}\xpt\@xpt
  705. \abovedisplayskip 10\p@ plus2\p@ minus5\p@
  706. \belowdisplayskip \abovedisplayskip
  707. \abovedisplayshortskip  \z@ plus3\p@
  708. \belowdisplayshortskip  6\p@ plus3\p@ minus3\p@
  709. \let\@listi\@listI}
  710.  
  711. \def\small{\@setsize\small{11pt}\ixpt\@ixpt
  712. \abovedisplayskip 8.5\p@ plus3\p@ minus4\p@
  713. \belowdisplayskip \abovedisplayskip
  714. \abovedisplayshortskip \z@ plus2\p@
  715. \belowdisplayshortskip 4\p@ plus2\p@ minus2\p@
  716. \def\@listi{\leftmargin\leftmargini
  717. \topsep 4\p@ plus2\p@ minus2\p@\parsep 2\p@ plus\p@ minus\p@
  718. \itemsep \parsep}}
  719.  
  720. \def\footnotesize{\@setsize\footnotesize{9.5pt}\viiipt\@viiipt
  721. \abovedisplayskip 6\p@ plus2\p@ minus4\p@
  722. \belowdisplayskip \abovedisplayskip
  723. \abovedisplayshortskip \z@ plus\p@
  724. \belowdisplayshortskip 3\p@ plus\p@ minus2\p@
  725. \def\@listi{\leftmargin\leftmargini
  726. \topsep 3\p@ plus\p@ minus\p@\parsep 2\p@ plus\p@ minus\p@
  727. \itemsep \parsep}}
  728.  
  729. \def\scriptsize{\@setsize\scriptsize{8pt}\viipt\@viipt}
  730. \def\tiny{\@setsize\tiny{6pt}\vpt\@vpt}
  731. \def\large{\@setsize\large{14pt}\xiipt\@xiipt}
  732. \def\Large{\@setsize\Large{18pt}\xivpt\@xivpt}
  733. \def\LARGE{\@setsize\LARGE{22pt}\xviipt\@xviipt}
  734. \def\huge{\@setsize\huge{25pt}\xxpt\@xxpt}
  735. \def\Huge{\@setsize\Huge{30pt}\xxvpt\@xxvpt}
  736.  
  737. \normalsize
  738.  
  739. \oddsidemargin  50pt
  740. \evensidemargin 50pt
  741. \marginparwidth 107pt
  742.  
  743. \marginparsep 11pt
  744.  
  745. \topmargin 30pt
  746.  
  747. \headheight 10pt
  748. \headsep 10pt
  749. \topskip = 10pt
  750.  
  751. \footskip 0pt
  752.  
  753. \textheight = 45\baselineskip
  754. \advance\textheight by \topskip
  755. \textwidth 120mm
  756.  
  757. \footnotesep 6.65pt
  758.  
  759. \skip\footins 9pt plus 4pt minus 2pt
  760.  
  761. \floatsep 12pt plus 2pt minus 2pt
  762.  
  763. \textfloatsep 20pt plus 2pt minus 4pt
  764.  
  765. \intextsep 12pt plus 2pt minus 2pt
  766.  
  767. \@maxsep 20pt
  768.  
  769. \dblfloatsep 0pt
  770. \dbltextfloatsep 0pt
  771. \@dblmaxsep 0pt
  772.  
  773. \@fptop 0pt plus 1fil
  774.  
  775. \@fpsep 8pt plus 2fil
  776. \@fpbot 0pt plus 1fil
  777.  
  778. \@dblfptop 0pt plus 1fil
  779. \@dblfpsep 0pt plus 2fil
  780. \@dblfpbot 0pt plus 1fil
  781.  
  782. \marginparpush 5pt
  783.  
  784. \parskip 0pt 
  785.  
  786. \parindent 15pt
  787.  
  788. \partopsep 2pt plus 1pt minus 1pt
  789.  
  790. \@lowpenalty   51
  791. \@medpenalty  151
  792. \@highpenalty 301
  793.  
  794. \@beginparpenalty -\@lowpenalty
  795.  
  796. \@endparpenalty   -\@lowpenalty
  797.  
  798. \@itempenalty     -\@lowpenalty
  799.  
  800. \newif\if@appendix
  801. \@appendixfalse
  802. \if@appendix
  803. \def\section{\@startsection {section}{1}{\z@}{-3.5ex plus-1ex minus
  804.     -.2ex}{2.3ex plus.2ex}{\noindent\reset@font\normalsize\bf Appendix }}
  805. \else
  806. \def\section{\@startsection {section}{1}{\z@}{-3.5ex plus-1ex minus
  807.     -.2ex}{2.3ex plus.2ex}{\reset@font\normalsize\bf}}
  808. \fi
  809.  
  810. \def\subsection{\@startsection{subsection}{2}{\z@}{-3.25ex plus-1ex
  811.     minus-.2ex}{1.5ex plus.2ex}{\reset@font\normalsize\sl}}
  812. \def\subsubsection{\@startsection{subsubsection}{3}{\z@}{-3.25ex plus
  813.     -1ex minus-.2ex}{1.5ex plus.2ex}{\reset@font\normalsize}}
  814. \def\paragraph{\@startsection
  815.      {paragraph}{4}{\z@}{3.25ex plus1ex minus.2ex}{-1em}{\reset@font
  816.      \normalsize}}
  817. \def\subparagraph{\@startsection
  818.      {subparagraph}{5}{\parindent}{3.25ex plus1ex minus
  819.      .2ex}{-1em}{\reset@font\normalsize}}
  820.  
  821. \setcounter{secnumdepth}{3}
  822.  
  823. \def\appendix{\par\@afterindentfalse
  824.   \setcounter{section}{0}
  825.   \setcounter{subsection}{0}
  826.   \setcounter{subsubsection}{0}
  827.   \setcounter{figure}{0}
  828.   \setcounter{table}{0}
  829.   \def\thesection{\Alph{section}}
  830.   \def\thesubsection{\thesection.\arabic{subsection}}
  831.   \def\thesubsubsection{\thesubsection.\arabic{subsubsection}}
  832.   \def\theequation@prefix{\thesection.}
  833.   \def\thefigure@prefix{\thesection.}
  834.   \def\thetable@prefix{\thesection.}
  835.   \@addtoreset{equation}{section}
  836.   \@addtoreset{figure}{section}
  837.   \@addtoreset{table}{section}
  838.   \@secnumeqtrue
  839.   \@secnumfigtrue
  840.   \@secnumtabtrue
  841.   \@appendixtrue
  842.   }
  843.  
  844. \leftmargini 25pt
  845. \leftmarginii 22pt
  846. \leftmarginiii 18.7pt
  847. \leftmarginiv 17pt
  848. \leftmarginv 10pt
  849. \leftmarginvi 10pt
  850.  
  851. \leftmargin\leftmargini
  852. \labelsep 5pt
  853. \labelwidth\leftmargini\advance\labelwidth-\labelsep
  854.  
  855. \def\@listI{\leftmargin\leftmargini \parsep 4\p@ plus2\p@ minus\p@
  856. \topsep 8\p@ plus2\p@ minus4\p@
  857. \itemsep 4\p@ plus2\p@ minus\p@}
  858.  
  859. \let\@listi\@listI
  860. \@listi
  861.  
  862. \def\@listii{\leftmargin\leftmarginii
  863.    \labelwidth\leftmarginii\advance\labelwidth-\labelsep
  864.    \topsep 4\p@ plus2\p@ minus\p@
  865.    \parsep 2\p@ plus\p@ minus\p@
  866.    \itemsep \parsep}
  867.  
  868. \def\@listiii{\leftmargin\leftmarginiii
  869.     \labelwidth\leftmarginiii\advance\labelwidth-\labelsep
  870.     \topsep 2\p@ plus\p@ minus\p@
  871.     \parsep \z@ \partopsep \p@ plus\z@ minus\p@
  872.     \itemsep \topsep}
  873.  
  874. \def\@listiv{\leftmargin\leftmarginiv
  875.      \labelwidth\leftmarginiv\advance\labelwidth-\labelsep}
  876.  
  877. \def\@listv{\leftmargin\leftmarginv
  878.      \labelwidth\leftmarginv\advance\labelwidth-\labelsep}
  879.  
  880. \def\@listvi{\leftmargin\leftmarginvi
  881.      \labelwidth\leftmarginvi\advance\labelwidth-\labelsep}
  882.  
  883. %
  884. %   definitions for AMSTeX
  885. %
  886. \ifx\selectfont\undefined %
  887. \@errmess{message}{NFSS not detected. Assuming OFSS.}
  888. \let\reset@font\relax
  889. \def\mathhexbox{\protect\mathhexbox@}
  890. \def\mathhexbox@#1#2#3{\relax
  891. \ifmmode\mathpalette{}{\m@th\mathchar"#1#2#3}%
  892. \else\leavevmode\hbox{$\m@th\mathchar"#1#2#3$}\fi}
  893. \def\text#1{%
  894. \relax
  895. \ifmmode %
  896. \mathchoice
  897. {\hbox{\everymath{\displaystyle}\rm #1}}%
  898. {\hbox{\everymath{\textstyle}\rm #1}}%
  899. {\hbox{\everymath{\scriptstyle}%
  900. \def\prm{\fam\z@ \the\scriptfont\z@ \relax}%
  901. \def\pit{\fam\itfam \the\scriptfont\itfam \relax}%
  902. \rm #1}%
  903. }%
  904. {\hbox{\everymath{\scriptscriptstyle}%
  905. \def\prm{\fam\z@ \the\scriptscriptfont\z@ \relax}%
  906. \def\pit{\fam\itfam \the\scriptscriptfont\itfam \relax}%
  907. \rm #1}%
  908. }%
  909. \else %
  910. \leavevmode\hbox{#1}%
  911. \fi
  912. }
  913. \def\bbox#1{%
  914. \leavevmode\text{%
  915. \textfont0 \the\textfont\bffam
  916. \scriptfont0 \the\scriptfont\bffam
  917. \scriptscriptfont0 \the\scriptscriptfont\bffam
  918. \@temptokena\everymath \boldmath \everymath\@temptokena
  919. {$\m@th\relax#1$}%
  920. }%
  921. }
  922. \font\fivbf=cmbx5 \font\sixbf=cmbx6 \font\sevbf=cmbx7 \font\egtbf=cmbx8
  923. \expandafter\def\expandafter\ixpt\expandafter{\ixpt
  924. \scriptfont\bffam\sixbf \scriptscriptfont\bffam\fivbf}
  925. \expandafter\def\expandafter\xpt\expandafter{\xpt
  926. \scriptfont\bffam\sevbf \scriptscriptfont\bffam\fivbf}
  927. \expandafter\def\expandafter\xipt\expandafter{\xipt
  928. \scriptfont\bffam\egtbf \scriptscriptfont\bffam\sixbf}
  929. \expandafter\def\expandafter\xiipt\expandafter{\xiipt
  930. \scriptfont\bffam\egtbf \scriptscriptfont\bffam\sixbf}
  931. \expandafter\def\expandafter\xivpt\expandafter{\xivpt
  932. \scriptfont\bffam\tenbf \scriptscriptfont\bffam\sevbf}
  933. \else %
  934. \@errmess{message}{NFSS detected! Assuming NFSS.}
  935. \def\text#1{%
  936. \relax\ifmmode
  937. \mathchoice
  938. {\hbox{{\everymath{\displaystyle}#1}}}%
  939. {\hbox{{\everymath{\textstyle}#1}}}%
  940. {\hbox{{\everymath{\scriptstyle}\let\f@size\sf@size\selectfont#1}}}%
  941. {\hbox{{\everymath{\scriptscriptstyle}\let\f@size\ssf@size\selectfont#1}}}%
  942. \glb@settings
  943. \else
  944. \mbox{#1}%
  945. \fi
  946. }
  947. \def\bbox#1{%
  948. \relax\ifmmode
  949. \mathchoice
  950. {{\hbox{\boldmath$\displaystyle#1$}}}%
  951. {{\hbox{\boldmath$\textstyle#1$}}}%
  952. {{\hbox{\boldmath$\scriptstyle#1$}}}%
  953. {{\hbox{\boldmath$\scriptscriptstyle#1$}}}%
  954. \glb@settings
  955. \else
  956. \mbox{#1}%
  957. \fi
  958. }
  959.  
  960. \def\mathhexbox{\protect\mathhexbox@}
  961. \def\mathhexbox@#1#2#3{\relax
  962. \ifmmode\mathpalette{}{\m@th\mathchar"#1#2#3}%
  963. \else\leavevmode\hbox{$\m@th\mathchar"#1#2#3$}\fi}
  964. \fi
  965.  
  966. \if@amssymbols %
  967. \def\@tempa{%
  968. \let\gtrsim\undefined \let\lesssim\undefined
  969. \let\precsim\undefined \let\succsim\undefined
  970. \def\corresponds{\triangleq}%
  971. \@ifundefined{selectfont}%
  972. {}%
  973. {\input{amssymb.sty}%
  974. \let\Finv\undefined      \newsymbol\Finv 2060
  975. \let\Game\undefined      \newsymbol\Game 2061
  976. \let\Bbbk\undefined      \newsymbol\Bbbk 207C
  977. \let\diagup\undefined    \newsymbol\diagup 231E
  978. \let\diagdown\undefined  \newsymbol\diagdown 231F
  979. \endinput}%
  980. }
  981. \else %
  982. \if@amsfonts %
  983. \def\@tempa{\@ifundefined{selectfont}{}{\input{amsfonts.sty}\endinput}}
  984. \else %
  985. \let\@tempa\endinput
  986. \fi
  987. \fi
  988. \@tempa
  989.  
  990. \def\frak{\protect\pfrak} \def\Bbb{\protect\pBbb}
  991.  
  992. \newfam\msamfam
  993. \font\twlmsam=msam10\@magscale1 \font\tenmsam=msam10 \font\ninmsam=msam9
  994. \font\sevmsam=msam7 \font\fivmsam=msam5
  995.  
  996. \newfam\msbmfam
  997. \font\twlmsbm=msbm10\@magscale1 \font\tenmsbm=msbm10 \font\ninmsbm=msbm9
  998. \font\sevmsbm=msbm7 \font\fivmsbm=msbm5
  999.  
  1000. \newfam\euffam
  1001. \font\twleufm=eufm10\@magscale1 \font\teneufm=eufm10 \font\nineufm=eufm9
  1002. \font\seveufm=eufm7 \font\fiveufm=eufm5
  1003.  
  1004. \def\fontextras#1{%
  1005. \def\pfrak{\fam\euffam\nineufm}\textfont\euffam\nineufm
  1006. \scriptfont\euffam\seveufm \scriptscriptfont\euffam\fiveufm
  1007. \textfont\msamfam\ninmsam \scriptfont\msamfam\sevmsam
  1008. \scriptscriptfont\msamfam\fivmsam
  1009. \def\pBbb{\fam\msbmfam\ninmsbm}\textfont\msbmfam\ninmsbm
  1010. \scriptfont\msbmfam\sevmsbm \scriptscriptfont\msbmfam\fivmsbm
  1011. \def\boldmath{\@ifundefined{#1ninmib}%
  1012. {\expandafter\global\expandafter\def\csname#1ninmib\endcsname{}%
  1013. \global\font\ninmib=cmmib9\global\font\sevmib=cmmib7\global
  1014. \font\fivmib=cmmib5%
  1015. \global\font\ninbsy=cmbsy9\global\font\sevbsy=cmbsy7\global
  1016. \font\fivbsy=cmbsy5%
  1017. \global\font\nineufb=eufb9\global\font\seveufb=eufb7\global
  1018. \font\fiveufb=eufb5\relax
  1019. \expandafter\@addfontinfo\csname#1\endcsname
  1020. {\def\boldmath{\@prtct\@nomathbold
  1021. \everymath{\mit}\everydisplay{\mit}%
  1022. \textfont\@ne\ninmib \scriptfont\@ne\sevmib \scriptscriptfont\@ne\fivmib
  1023. \textfont\tw@\ninbsy \scriptfont\tw@\sevbsy \scriptscriptfont\tw@\fivbsy
  1024. \textfont\euffam\nineufb \scriptfont\euffam\seveufb
  1025. \scriptscriptfont\euffam\fiveufb
  1026. \@prtct\@boldtrue}%
  1027. }%
  1028. }%
  1029. {}\csname#1\endcsname\boldmath
  1030. }%
  1031. }
  1032.  
  1033. \expandafter\def\expandafter\viiipt\expandafter{\viiipt \fontextras{@viiipt}}
  1034.  
  1035. \expandafter\def\expandafter\ixpt\expandafter{\ixpt \fontextras{@ixpt}}
  1036.  
  1037. \expandafter\def\expandafter\xpt\expandafter{\xpt%
  1038. \def\pfrak{\fam\euffam\teneufm}\textfont\euffam\teneufm
  1039. \scriptfont\euffam\seveufm \scriptscriptfont\euffam\fiveufm
  1040. \textfont\msamfam\tenmsam \scriptfont\msamfam\sevmsam
  1041. \scriptscriptfont\msamfam\fivmsam
  1042. \def\pBbb{\fam\msbmfam\tenmsbm}\textfont\msbmfam\tenmsbm
  1043. \scriptfont\msbmfam\sevmsbm \scriptscriptfont\msbmfam\fivmsbm
  1044. \def\boldmath{\@ifundefined{tenmib}%
  1045. {\global\font\tenmib=cmmib10\global\font\sevmib=cmmib7\global
  1046. \font\fivmib=cmmib5%
  1047. \global\font\tenbsy=cmbsy10\global\font\sevbsy=cmbsy7\global
  1048. \font\fivbsy=cmbsy5%
  1049. \global\font\teneufb=eufb10\global\font\seveufb=eufb7\global
  1050. \font\fiveufb=eufb5
  1051. \global\font\tenlyb=lasyb10\relax
  1052. \@addfontinfo\@xpt{\def\boldmath{\@prtct\@nomathbold
  1053. \everymath{\mit}\everydisplay{\mit}%
  1054. \textfont\@ne\tenmib \scriptfont\@ne\sevmib \scriptscriptfont\@ne\fivmib
  1055. \textfont\tw@\tenbsy \scriptfont\tw@\sevbsy \scriptscriptfont\tw@\fivbsy
  1056. \textfont\euffam\teneufb \scriptfont\euffam\seveufb
  1057. \scriptscriptfont\euffam\fiveufb
  1058. \textfont\lyfam\tenlyb
  1059. \@prtct\@boldtrue}%
  1060. }%
  1061. }%
  1062. {}\@xpt\boldmath
  1063. }%
  1064. }
  1065.  
  1066. \expandafter\def\expandafter\xiipt\expandafter{\xiipt%
  1067. \def\pfrak{\fam\euffam\twleufm}\textfont\euffam\twleufm
  1068. \scriptfont\euffam\nineufm \scriptscriptfont\euffam\seveufm
  1069. \textfont\msamfam\twlmsam \scriptfont\msamfam\ninmsam
  1070. \scriptscriptfont\msamfam\sevmsam
  1071. \def\pBbb{\fam\msbmfam\twlmsbm}\textfont\msbmfam\twlmsbm
  1072. \scriptfont\msbmfam\ninmsbm \scriptscriptfont\msbmfam\sevmsbm
  1073. \def\boldmath{\@ifundefined{twlmib}%
  1074. {\global\font\twlmib=cmmib10\@magscale1\global\font\ninmib=cmmib9\global
  1075. \font\sevmib=cmmib7%
  1076. \global\font\twlbsy=cmbsy10\@magscale1\global\font\ninbsy=cmbsy9\global
  1077. \font\sevbsy=cmbsy7%
  1078. \global\font\twleufb=eufb10\@magscale1\global\font\nineufb=eufb9\global
  1079. \font\seveufb=eufb7
  1080. \global\font\twllyb=lasyb10\@magscale1\relax
  1081. \@addfontinfo\@xiipt{\def\boldmath{\@prtct\@nomathbold
  1082. \everymath{\mit}\everydisplay{\mit}%
  1083. \textfont\@ne\twlmib \scriptfont\@ne\ninmib \scriptscriptfont\@ne\sevmib
  1084. \textfont\tw@\twlbsy \scriptfont\tw@\ninbsy \scriptscriptfont\tw@\sevbsy
  1085. \textfont\euffam\twleufb \scriptfont\euffam\nineufb
  1086. \scriptscriptfont\euffam\seveufb
  1087. \textfont\lyfam\twllyb
  1088. \@prtct\@boldtrue}%
  1089. }%
  1090. }%
  1091. {}\@xiipt\boldmath
  1092. }%
  1093. }
  1094.  
  1095. \def\undefine#1{\let#1\undefined}
  1096. \def\newsymbol#1#2#3#4#5{\let\next@\relax
  1097. \ifnum#2=\@ne\let\next@\msafam@\else
  1098. \ifnum#2=\tw@\let\next@\msbfam@\fi\fi
  1099. \mathchardef#1="#3\next@#4#5}
  1100. \def\hexnumber@#1{\ifcase#1 0\or 1\or 2\or 3\or 4\or 5\or 6\or 7\or 8\or
  1101. 9\or A\or B\or C\or D\or E\or F\fi}
  1102. \edef\msafam@{\hexnumber@\msamfam}
  1103. \mathchardef\dabar@"0\msafam@39
  1104. \def\dashrightarrow{\mathrel{\dabar@\dabar@\mathchar"0\msafam@4B}}
  1105. \def\dashleftarrow{\mathrel{\mathchar"0\msafam@4C\dabar@\dabar@}}
  1106. \let\dasharrow\dashrightarrow
  1107. \def\ulcorner{\delimiter"4\msafam@70\msafam@70 }
  1108. \def\urcorner{\delimiter"5\msafam@71\msafam@71 }
  1109. \def\llcorner{\delimiter"4\msafam@78\msafam@78 }
  1110. \def\lrcorner{\delimiter"5\msafam@79\msafam@79 }
  1111. \def\yen{{\mathhexbox\msafam@55 }}
  1112. \def\checkmark{{\mathhexbox\msafam@58 }}
  1113. \def\circledR{{\mathhexbox\msafam@72 }}
  1114. \def\maltese{{\mathhexbox\msafam@7A }}
  1115. \edef\msbfam@{\hexnumber@\msbmfam}
  1116. \def\widehat#1{\setbox\z@\hbox{$\m@th#1$}%
  1117. \ifdim\wd\z@>\tw@ em\mathaccent"0\msbfam@5B{#1}%
  1118. \else\mathaccent"0362{#1}\fi}
  1119. \def\widetilde#1{\setbox\z@\hbox{$\m@th#1$}%
  1120. \ifdim\wd\z@>\tw@ em\mathaccent"0\msbfam@5D{#1}%
  1121. \else\mathaccent"0365{#1}\fi}
  1122. \undefine\Box           \newsymbol\Box 1203
  1123. \undefine\Diamond       \newsymbol\Diamond 1206
  1124. \undefine\leadsto       \newsymbol\leadsto 1320
  1125. \undefine\lhd           \newsymbol\lhd 1343
  1126. \undefine\unlhd         \newsymbol\unlhd 1345
  1127. \undefine\rhd           \newsymbol\rhd 1342
  1128. \undefine\unrhd         \newsymbol\unrhd 1344
  1129. \edef\Join{\mathrel{\mathchar"0\msbfam@ 6F\mkern-13.8mu%
  1130. \mathchar"0\msbfam@ 6E}}
  1131.  
  1132. \if@amssymbols %
  1133. \@amsfontstrue
  1134. \undefine\square
  1135. \undefine\leftrightarrows
  1136. \undefine\leqq
  1137. \undefine\geqq
  1138. \undefine\gtrless
  1139. \undefine\lessapprox
  1140. \undefine\gtrapprox
  1141. \undefine\lesssim
  1142. \undefine\gtrsim
  1143. \expandafter\def\csname amsfonts.sty\endcsname{}
  1144. \input{amssymb.sty}
  1145. \undefine\Finv          \newsymbol\Finv 2060
  1146. \undefine\Game          \newsymbol\Game 2061
  1147. \undefine\Bbbk          \newsymbol\Bbbk 207C
  1148. \undefine\diagup        \newsymbol\diagup 231E
  1149. \undefine\diagdown      \newsymbol\diagdown 231F
  1150. \fi
  1151.  
  1152. \endinput
  1153.  
  1154.     
  1155.  
  1156.