blob: 5279437bd2c5a6f63ffa87a304c02873bb9f8491 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
|
\catcode`\@=11
\let\alloc@\alloc@@
\parindent1em
\font\ninerm=cmr9
\font\eightrm=cmr8
\font\sixrm=cmr6
\font\eighti=cmmi8 \skewchar\eighti='177
\font\sixi=cmmi6 \skewchar\sixi='177
\font\ninesy=cmsy9 \skewchar\ninesy='60
\font\eightsy=cmsy8 \skewchar\eightsy='60
\font\sixsy=cmsy6 \skewchar\sixsy='60
\font\eightbf=cmbx8
\font\sixbf=cmbx6
\font\eightit=cmti8
\font\eightsl=cmsl8
\font\eighttt=cmtt8
\ifmsamloaded@
\font\eightmsa=msam8
\font\sixmsa=msam6
\fi
\ifmsbmloaded@
\font\eightmsb=msbm8
\font\sixmsb=msbm6
\fi
\ifeufmloaded@
\font\eighteufm=eufm8
\font\sixeufm=eufm6
\fi
\ifcmmibloaded@
\font\eightcmmib=cmmib8 \skewchar\eightcmmib='177
\font\sixcmmib=cmmib6 \skewchar\sixcmmib='177
\fi
\ifcmbsyloaded@
\font\eightcmbsy=cmbsy8 \skewchar\eightcmbsy='60
\font\sixcmbsy=cmbsy6 \skewchar\sixcmbsy='60
\fi
\newskip\ttglue@
\def\tenpoint{\def\pointsize@{10}%
\normalbaselineskip12\p@
\abovedisplayskip12\p@ plus3\p@ minus9\p@
\belowdisplayskip12\p@ plus3\p@ minus9\p@
\abovedisplayshortskip\z@ plus3\p@
\belowdisplayshortskip7\p@ plus3\p@ minus4\p@
\textonlyfont@\rm\tenrm
\textonlyfont@\it\tenit
\textonlyfont@\sl\tensl
\textonlyfont@\bf\tenbf
\let\big\tenbig@
\textfont\z@\tenrm \scriptfont\z@\sevenrm \scriptscriptfont\z@\fiverm
\textfont\@ne\teni \scriptfont\@ne\seveni \scriptscriptfont\@ne\fivei
\textfont\tw@\tensy \scriptfont\tw@\sevensy \scriptscriptfont\tw@\fivesy
\textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
\textfont\itfam\tenit
\textfont\slfam\tensl
\textfont\bffam\tenbf \scriptfont\bffam\sevenbf
\scriptscriptfont\bffam\fivebf
\ifmsamloaded@
\textfont\msafam=\tenmsa \scriptfont\msafam=\sevenmsa
\scriptscriptfont\msafam=\fivemsa
\fi
\ifmsbmloaded@
\textfont\msbfam=\tenmsb \scriptfont\msbfam=\sevenmsb
\scriptscriptfont\msbfam=\fivemsb
\fi
\ifeufmloaded@
\textfont\eufmfam=\teneufm \scriptfont\eufmfam=\seveneufm
\scriptscriptfont\eufmfam=\fiveeufm
\fi
\ifcmmibloaded@
\textfont\cmmibfam=\tencmmib \scriptfont\cmmibfam=\sevencmmib
\scriptscriptfont\cmmibfam=\fivecmmib
\fi
\ifcmbsyloaded@
\textfont\cmbsyfam=\tencmbsy \scriptfont\cmbsyfam=\sevencmbsy
\scriptscriptfont\cmbsyfam=\fivecmbsy
\fi
\let\tt\tentt
\tt\ttglue@=.5em minus .15em\relax
\setbox\strutbox\hbox{\vrule height8.5\p@ depth3.5\p@ width\z@}%
\setbox\strutbox@\hbox{\vrule height8\p@ depth3\p@ width\z@}%
\normalbaselines\rm\ex@=.2326ex}
\def\tenbig@#1{{\hbox{$\left#1\vbox to8.5\p@{}\right.\n@space$}}}
\def\eightpoint{\def\pointsize@{8}%
\normalbaselineskip10\p@
\abovedisplayskip10\p@ plus2.4\p@ minus7.2\p@
\belowdisplayskip10\p@ plus2.4\p@ minus7.2\p@
\abovedisplayshortskip\z@ plus2.4\p@
\belowdisplayshortskip5.6\p@ plus2.4\p@ minus3.2\p@
\textonlyfont@\rm\eightrm
\textonlyfont@\it\eightit
\textonlyfont@\sl\eightsl
\textonlyfont@\bf\eightbf
\let\big\eightbig@
\textfont\z@\eightrm \scriptfont\z@\sixrm \scriptscriptfont\z@\fiverm
\textfont\@ne\eighti \scriptfont\@ne\sixi \scriptscriptfont\@ne\fivei
\textfont\tw@\eightsy \scriptfont\tw@\sixsy \scriptscriptfont\tw@\fivesy
\textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
\textfont\itfam\eightit
\textfont\slfam\eightsl
\textfont\bffam\eightbf \scriptfont\bffam\sixbf
\scriptscriptfont\bffam\fivebf
\ifmsamloaded@
\textfont\msafam=\eightmsa \scriptfont\msafam=\sixmsa
\scriptscriptfont\msafam=\fivemsa
\fi
\ifmsbmloaded@
\textfont\msbfam=\eightmsb \scriptfont\msbfam=\sixmsb
\scriptscriptfont\msbfam=\fivemsb
\fi
\ifeufmloaded@
\textfont\eufmfam=\eighteufm \scriptfont\eufmfam=\sixeufm
\scriptscriptfont\eufmfam=\fiveeufm
\fi
\ifcmmibloaded@
\textfont\cmmibfam=\eightcmmib \scriptfont\cmmibfam=\sixcmmib
\scriptscriptfont\cmmibfam=\fivecmmib
\fi
\ifcmbsyloaded@
\textfont\cmbsyfam=\eightcmbsy \scriptfont\cmbsyfam=\sixcmbsy
\scriptscriptfont\cmbsyfam=\fivecmbsy
\fi
\let\tt\eighttt
\tt\ttglue@=.4em minus .12em
\setbox\strutbox\hbox{\vrule height7\p@ depth3\p@ width\z@}%
\setbox\strutbox@\hbox{\vrule height6.5\p@ depth2.5\p@ width\z@}%
\normalbaselines\rm\ex@=.2326ex}
\def\eightbig@#1{{\hbox{$\textfont\z@\ninerm\textfont\tw@\ninesy
\left#1\vbox to6.5\p@{}\right.\n@space$}}}
{\catcode` =\active
\gdef\litcodes@@{\def {\penalty\z@\hskip\ttglue@}}}
\def\LamSTeX{L\kern-.4em\raise.3ex\hbox{$\ssize\Cal A$}%
\DN@{10}\ifx\next@\pointsize@\kern-.25em\else\kern-.3em\fi
\lower.4ex\hbox{\if\pointsize@ t\eightsy\else\sixsy\fi M}%
\kern-.1em{$\Cal S$}-\TeX}
\def\alloc@#1#2#3#4#5{\global\advance\count1#1by\@ne
\ch@ck#1#4#2\allocationnumber=\count1#1
\global#3#5=\allocationnumber
\wlog{\string#5=\string#2\the\allocationnumber}}
\catcode`\@=\active
\eightpoint
\def\opentables{\HD(8pt;2pt)}
\def\boxedtables{\HD(+3pt;+2pt)}
\rm
|