blob: 7fc5633f5a98279268d2e08547e962040c98ca06 (
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
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
|
% The author of this work is Amit Raj Dhawan
% This work has been released under
% Creative Commons Attribution-Share Alike 3.0 Unported License
% on July 19, 2010. For details visit:
% http://creativecommons.org/licenses/by-sa/3.0/.
%
% roman text (Family 0)
\def\twentyrm{\font\fzzozznzzt=jkplmn7t at20pt \fzzozznzzt}%
\def\eighteenrm{\font\fzzozznzzt=jkplmn7t at18pt \fzzozznzzt}%
\def\sixteenrm{\font\fzzozznzzt= jkplmn7t at16pt \fzzozznzzt}%
\def\fourteenrm{\font\fzzozznzzt=jkplmn7t at14pt \fzzozznzzt}%
\def\twelverm{\font\fzzozznzzt= jkplmn7t at12pt \fzzozznzzt}%
\font\tenrm= jkplmn7t
\def\ninerm{\font\fzzozznzzt= jkplmn7t at9pt \fzzozznzzt}%
\def\eightrm{\font\fzzozznzzt= jkplmn7t at8pt \fzzozznzzt}%
\font\sevenrm= jkplmn7t at7pt
\def\sixrm{\font\fzzozznzzt= jkplmn7t at6pt \fzzozznzzt}%
\font\fiverm= jkplmn7t at5pt
%
% math italic (Family 1)
\def\twentyi{\font\fzzozznzzt= jkplmi at20pt \fzzozznzzt}%
\def\eighteeni{\font\fzzozznzzt= jkplmi at18pt \fzzozznzzt}%
\def\sixteeni{\font\fzzozznzzt= jkplmi at16pt \fzzozznzzt}%
\def\fourteeni{\font\fzzozznzzt= jkplmi at14pt \fzzozznzzt}%
\def\twelvei{\font\fzzozznzzt= jkplmi at12pt \fzzozznzzt}%
\font\teni= jkplmi
\def\ninei{\font\fzzozznzzt= jkplmi at9pt \fzzozznzzt}%
\def\eighti{\font\fzzozznzzt= jkplmi at8pt \fzzozznzzt}%
\font\seveni= jkplmi at7pt
\def\sixi{\font\fzzozznzzt= jkplmi at6pt \fzzozznzzt}%
\font\fivei= jkplmi at5pt
%
% math symbols (Family 2)
\def\twentysy{\font\fzzozznzzt= jkplsy at20pt \fzzozznzzt}%
\def\eighteensy{\font\fzzozznzzt=jkplsy at18pt \fzzozznzzt}%
\def\sixteensy{\font\fzzozznzzt= jkplsy at16pt \fzzozznzzt}%
\def\fourteensy{\font\fzzozznzzt=jkplsy at14pt \fzzozznzzt}%
\def\twelvesy{\font\fzzozznzzt= jkplsy at12pt \fzzozznzzt}%
\font\tensy= jkplsy
\def\ninesy{\font\fzzozznzzt= jkplsy at9pt \fzzozznzzt}%
\def\eightsy{\font\fzzozznzzt= jkplsy at8pt \fzzozznzzt}%
\font\sevensy= jkplsy at7pt
\def\sixsy{\font\fzzozznzzt= jkplsy at6pt \fzzozznzzt}%
\font\fivesy= jkplsy at5pt
%
% math extension (Family 3)
\def\twentyex{\font\fzzozznzzt= jkplex at20pt \fzzozznzzt}%
\def\eighteenex{\font\fzzozznzzt=jkplex at18pt \fzzozznzzt}%
\def\sixteenex{\font\fzzozznzzt= jkplex at16pt \fzzozznzzt}%
\def\fourteenex{\font\fzzozznzzt=jkplex at14pt \fzzozznzzt}%
\def\twelveex{\font\fzzozznzzt= jkplex at12pt \fzzozznzzt}%
\font\tenex= jkplex
\def\nineex{\font\fzzozznzzt= jkplex at9pt \fzzozznzzt}%
\def\eightex{\font\fzzozznzzt= jkplex at8pt \fzzozznzzt}%
\font\sevenex= jkplex at7pt
\def\sixex{\font\fzzozznzzt= jkplex at6pt \fzzozznzzt}%
\font\fiveex= jkplex at5pt
%
% italic text (Family 4)
\def\twentyit{\font\fzzozznzzt= jkplmit7t at20pt \fzzozznzzt}%
\def\eighteenit{\font\fzzozznzzt=jkplmit7t at18pt \fzzozznzzt}%
\def\sixteenit{\font\fzzozznzzt= jkplmit7t at16pt \fzzozznzzt}%
\def\fourteenit{\font\fzzozznzzt= jkplmit7t at14pt \fzzozznzzt}%
\def\twelveit{\font\fzzozznzzt= jkplmit7t at12pt \fzzozznzzt}%
\font\tenit= jkplmit7t
\def\nineit{\font\fzzozznzzt= jkplmit7t at9pt \fzzozznzzt}%
\def\eightit{\font\fzzozznzzt= jkplmit7t at8pt \fzzozznzzt}%
\font\sevenit= jkplmit7t at7pt
\def\sixit{\font\fzzozznzzt= jkplmit7t at6pt \fzzozznzzt}%
\font\fiveit= jkplmit7t at5pt
%
% slanted text (Family 5)
\def\twentysl{\font\fzzozznzzt= jkplmsl7t at20pt \fzzozznzzt}%
\def\eighteensl{\font\fzzozznzzt=jkplmsl7t at18pt \fzzozznzzt}%
\def\sixteensl{\font\fzzozznzzt= jkplmsl7t at16pt \fzzozznzzt}%
\def\fourteensl{\font\fzzozznzzt= jkplmsl7t at14pt \fzzozznzzt}%
\def\twelvesl{\font\fzzozznzzt= jkplmsl7t at12pt \fzzozznzzt}%
\font\tensl= jkplmsl7t
\def\ninesl{\font\fzzozznzzt= jkplmsl7t at9pt \fzzozznzzt}%
\def\eightsl{\font\fzzozznzzt= jkplmsl7t at8pt \fzzozznzzt}%
\font\sevensl= jkplmsl7t at7pt
\def\sixsl{\font\fzzozznzzt= jkplmsl7t at6pt \fzzozznzzt}%
\font\fivesl= jkplmsl7t at5pt
%
% boldface text (Family 6)
\def\twentybf{\font\fzzozznzzt= jkplbn7t at20pt \fzzozznzzt}%
\def\eighteenbf{\font\fzzozznzzt= jkplbn7t at18pt \fzzozznzzt}%
\def\sixteenbf{\font\fzzozznzzt= jkplbn7t at16pt \fzzozznzzt}%
\def\fourteenbf{\font\fzzozznzzt= jkplbn7t at14pt \fzzozznzzt}%
\def\twelvebf{\font\fzzozznzzt= jkplbn7t at12pt \fzzozznzzt}%
\font\tenbf= jkplbn7t
\def\ninebf{\font\fzzozznzzt= jkplbn7t at9pt \fzzozznzzt}%
\def\eightbf{\font\fzzozznzzt= jkplbn7t at8pt \fzzozznzzt}%
\font\sevenbf= jkplbn7t at7pt
\def\sixbf{\font\fzzozznzzt= jkplbn7t at6pt \fzzozznzzt}%
\font\fivebf= jkplbn7t at5pt
%
% typewriter text (Family 7)
% typewriter text (Family 7)
\def\twentytt{\font\fzzozznzzt= jkpttmn7t at20pt \fzzozznzzt}%
\def\eighteentt{\font\fzzozznzzt= jkpttmn7t at18pt \fzzozznzzt}%
\def\sixteentt{\font\fzzozznzzt= jkpttmn7t at16pt \fzzozznzzt}%
\def\fourteentt{\font\fzzozznzzt=jkpttmn7t at14pt \fzzozznzzt}%
\def\twelvett{\font\fzzozznzzt= jkpttmn7t at12pt \fzzozznzzt}%
\font\tentt= jkpttmn7t
\def\ninett{\font\fzzozznzzt= jkpttmn7t at9pt \fzzozznzzt}%
\def\eighttt{\font\fzzozznzzt= jkpttmn7t at8pt \fzzozznzzt}%
\font\seventt= jkpttmn7t at7pt
\def\sixtt{\font\fzzozznzzt= jkpttmn7t at6pt \fzzozznzzt}%
\font\fivett= jkpttmn7t at5pt
%
% Family 0 (roman text)
\textfont0=\tenrm
\scriptfont0=\sevenrm
\scriptscriptfont0=\fiverm
\def\rm{\fam=0 \tenrm}%
%
% Family 1 (math italic)
\textfont1=\teni
\scriptfont1=\seveni
\scriptscriptfont1=\fivei
\def\mit{\fam=1}%
%
% Family 2 (math symbol)
\textfont2=\tensy
\scriptfont2=\sevensy
\scriptscriptfont2=\fivesy
\def\cal{\fam=2}%
%
% Family 3 (math extension)
\textfont3=\tenex
\scriptfont3=\sevenex
\scriptscriptfont3=\fiveex
%
% Family 4 (italic text)
\def\it{\fam=\itfam \tenit \spaceskip0.533em plus0.1em minus0.1em}%
\textfont\itfam=\tenit
\scriptfont\itfam=\sevenit
\scriptscriptfont\itfam=\fiveit
%
% Family 5 (slanted text)
\def\sl{\fam=\slfam \tensl}%
\textfont\slfam=\tensl
\scriptfont\slfam=\sevensl
\scriptscriptfont\slfam=\fivesl
%
% Family 6 (boldface text)
\def\bf{\fam=\bffam \tenbf}%
\textfont\bffam=\tenbf
\scriptfont\bffam=\sevenbf
\scriptscriptfont\bffam=\fivebf
%
% Family 7 (typewriter text)
\def\tt{\fam=\ttfam \tentt}%
\textfont\ttfam=\tentt
\scriptfont\ttfam=\seventt
\scriptscriptfont\ttfam=\fivett
%
% italic boldface
\def\twentyitbf{\font\fzzozznzzt= jkplbit7t at20pt \fzzozznzzt}%
\def\eighteenitbf{\font\fzzozznzzt= jkplbit7t at18pt \fzzozznzzt}%
\def\sixteenitbf{\font\fzzozznzzt= jkplbit7t at16pt \fzzozznzzt}%
\def\fourteenitbf{\font\fzzozznzzt= jkplbit7t at14pt \fzzozznzzt}%
\def\twelveitbf{\font\fzzozznzzt= jkplbit7t at12pt \fzzozznzzt}%
\font\itbf= jkplbit7t
\def\nineitbf{\font\fzzozznzzt= jkplbit7t at9pt \fzzozznzzt}%
\def\eightitbf{\font\fzzozznzzt= jkplbit7t at8pt \fzzozznzzt}%
\font\sevenitbf= jkplbit7t at7pt
\def\sixitbf{\font\fzzozznzzt= jkplbit7t at6pt \fzzozznzzt}%
\font\fiveitbf= jkplbit7t at5pt
%
% slanted boldface
\def\twentyslbf{\font\fzzozznzzt= jkplbsl7t at20pt \fzzozznzzt}%
\def\eighteenslbf{\font\fzzozznzzt= jkplbsl7t at18pt \fzzozznzzt}%
\def\sixteenslbf{\font\fzzozznzzt= jkplbsl7t at16pt \fzzozznzzt}%
\def\fourteenslbf{\font\fzzozznzzt= jkplbsl7t at14pt \fzzozznzzt}%
\def\twelveslbf{\font\fzzozznzzt= jkplbsl7t at12pt \fzzozznzzt}%
\font\slbf= jkplbsl7t
\def\nineslbf{\font\fzzozznzzt= jkplbsl7t at9pt \fzzozznzzt}%
\def\eightslbf{\font\fzzozznzzt= jkplbsl7t at8pt \fzzozznzzt}%
\font\sevenslbf= jkplbsl7t at7pt
\def\sixslbf{\font\fzzozznzzt= jkplbsl7t at6pt \fzzozznzzt}%
\font\fiveslbf= jkplbsl7t at5pt
%
% caps
\def\twentycaps{\font\fzzozznzzt= jkplmsc7t at20pt \fzzozznzzt}%
\def\eighteencaps{\font\fzzozznzzt= jkplmsc7t at18pt \fzzozznzzt}%
\def\sixteencaps{\font\fzzozznzzt= jkplmsc7t at16pt \fzzozznzzt}%
\def\fourteencaps{\font\fzzozznzzt= jkplmsc7t at14pt \fzzozznzzt}%
\def\twelvecaps{\font\fzzozznzzt= jkplmsc7t at12pt \fzzozznzzt}%
\font\caps= jkplmsc7t
\def\ninecaps{\font\fzzozznzzt= jkplmsc7t at9pt \fzzozznzzt}%
\def\eightcaps{\font\fzzozznzzt= jkplmsc7t at8pt \fzzozznzzt}%
\font\sevencaps= jkplmsc7t at7pt
\def\sixcaps{\font\fzzozznzzt= jkplmsc7t at6pt \fzzozznzzt}%
\font\fivecaps= jkplmsc7t at5pt
%
% caps boldface
\def\twentycapsbf{\font\fzzozznzzt= jkplbsc7t at20pt \fzzozznzzt}%
\def\eighteencapsbf{\font\fzzozznzzt= jkplbsc7t at18pt \fzzozznzzt}%
\def\sixteencapsbf{\font\fzzozznzzt= jkplbsc7t at16pt \fzzozznzzt}%
\def\fourteencapsbf{\font\fzzozznzzt= jkplbsc7t at14pt \fzzozznzzt}%
\def\twelvecapsbf{\font\fzzozznzzt= jkplbsc7t at12pt \fzzozznzzt}%
\font\capsbf= jkplbsc7t
\def\ninecapsbf{\font\fzzozznzzt= jkplbsc7t at9pt \fzzozznzzt}%
\def\eightcapsbf{\font\fzzozznzzt= jkplbsc7t at8pt \fzzozznzzt}%
\font\sevencapsbf= jkplbsc7t at7pt
\def\sixcapsbf{\font\fzzozznzzt= jkplbsc7t at6pt \fzzozznzzt}%
\font\fivecapsbf= jkplbsc7t at5pt
%
% AMS Symbols
\def\loadmsam{\font\tenmsa=jkpsya \font\sevenmsa=jkpsya at7pt \font\fivemsa=jkpsya at5pt \fam\msafam \textfont\msafam=\tenmsa \scriptfont\msafam=\sevenmsa \scriptscriptfont\msafam=\fivemsa \global\let\loadmsam\empty}%
\def\loadmsbm{\font\tenmsb=jkplsyb \font\sevenmsb=jkplsyb at7pt \font\fivemsb=jkplsyb at5pt \fam\msbfam \textfont\msbfam=\tenmsb \scriptfont\msbfam=\sevenmsb \scriptscriptfont\msbfam=\fivemsb \global\let\loadmsbm\empty}%
\def\UseAMSsymbols{\loadmsam\loadmsbm}%
%
%
\rm
|
