7 \font\srm=csss12 scaled \magstep3
8 \font\stit=csb12 scaled \magstep3
9 \font\sem=csssbx12 scaled \magstep3
10 \font\sit=csssi12 scaled \magstep3
11 \font\stt=cstt12 scaled \magstep3
12 \font\stitle=cscsc12 scaled \magstep4
18 \abovedisplayskip=24pt plus 6pt minus 18pt
19 \abovedisplayshortskip=0pt plus 6pt
20 \belowdisplayskip=24pt plus 6pt minus 18pt
21 \belowdisplayshortskip=14pt plus 6pt minus 8pt
27 \font\rmfont=cmr10 scaled \magstep4
28 \font\ttfont=cmtt10 scaled \magstep4
29 \font\ifont=cmmi10 scaled \magstep4
30 \font\symfont=cmsy10 scaled \magstep4
31 \font\exfont=cmex10 scaled \magstep4
32 \font\bffont=cmbx10 scaled \magstep4
33 \font\rmfonts=cmr7 scaled \magstep4
34 \font\ifonts=cmmi7 scaled \magstep4
35 \font\symfonts=cmsy7 scaled \magstep4
36 \font\exfonts=cmex7 scaled \magstep4
37 \font\bffonts=cmbx7 scaled \magstep4
38 \font\rmfontss=cmr5 scaled \magstep4
39 \font\ifontss=cmmi5 scaled \magstep4
40 \font\symfontss=cmsy5 scaled \magstep4
41 \font\exfontss=cmex5 scaled \magstep4
42 \font\bffontss=cmbx5 scaled \magstep4
43 \font\bbfont=bbold10 scaled \magstep4
48 \textfont\bffam=\bffont
49 \textfont\bbfam=\bbfont
52 \scriptfont2=\symfonts
54 \scriptfont\bffam=\bffonts
55 \scriptscriptfont0=\rmfontss
56 \scriptscriptfont1=\ifontss
57 \scriptscriptfont2=\symfontss
58 \scriptscriptfont3=\exfontss
59 \scriptscriptfont\bffam=\bffontss
61 \def\slide#1{\begingroup
63 \line{\vrule width 0pt height 25pt depth 4pt \stit #1\hfill}
70 \def\endslide{\vfill\eject\endgroup}
73 \def\itemize#1{\par{\advance\leftskip by 35pt{\parskip=5pt #1}\par}}
74 \def\:{\par\leavevmode\llap{$\bullet$\hskip 7pt}}
75 \def\>{\par\leavevmode\llap{$\circ$\hskip 7pt}}
76 \def\<#1>{\hbox{\sit #1\/}}
77 \def\bbold{\bbfont\fam\bbfam}
81 \def\interlistskip{\medskip}
86 \parskip=1pt plus 1pt minus 0.3pt
91 \def\endalgo{\interlistskip\endgroup}
96 \advance\itemcount by 1
97 \leavevmode\hbox to 2em{\hss \the\itemcount. }%
98 \futurelet\next\algoitemh}
99 \def\algoitemh{\ifx\next:\let\next=\algohang\else\let\next=\relax\fi\next}
100 \def\algohang:{\advance\hangindent by 2em \hskip 2em\futurelet\next\algoitemh}
102 \def\popcolor{\special{color pop}}
103 \def\pushcolor#1{\special{color push #1}}
104 \def\color#1{\pushcolor{#1}\aftergroup\popcolor}