blob: 4c9447d7c607099e3986261db1404817d927d2ba (
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
|
% 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=jkpmn7t at20pt \fzzozznzzt}%
\def\eighteenrm{\font\fzzozznzzt=jkpmn7t at18pt \fzzozznzzt}%
\def\sixteenrm{\font\fzzozznzzt= jkpmn7t at16pt \fzzozznzzt}%
\def\fourteenrm{\font\fzzozznzzt=jkpmn7t at14pt \fzzozznzzt}%
\def\twelverm{\font\fzzozznzzt= jkpmn7t at12pt \fzzozznzzt}%
\font\tenrm= jkpmn7t
\def\ninerm{\font\fzzozznzzt= jkpmn7t at9pt \fzzozznzzt}%
\def\eightrm{\font\fzzozznzzt= jkpmn7t at8pt \fzzozznzzt}%
\font\sevenrm= jkpmn7t at7pt
\def\sixrm{\font\fzzozznzzt= jkpmn7t at6pt \fzzozznzzt}%
\font\fiverm= jkpmn7t at5pt
%
% math italic (Family 1)
\def\twentyi{\font\fzzozznzzt= jkpmi at20pt \fzzozznzzt}%
\def\eighteeni{\font\fzzozznzzt= jkpmi at18pt \fzzozznzzt}%
\def\sixteeni{\font\fzzozznzzt= jkpmi at16pt \fzzozznzzt}%
\def\fourteeni{\font\fzzozznzzt= jkpmi at14pt \fzzozznzzt}%
\def\twelvei{\font\fzzozznzzt= jkpmi at12pt \fzzozznzzt}%
\font\teni= jkpmi
\def\ninei{\font\fzzozznzzt= jkpmi at9pt \fzzozznzzt}%
\def\eighti{\font\fzzozznzzt= jkpmi at8pt \fzzozznzzt}%
\font\seveni= jkpmi at7pt
\def\sixi{\font\fzzozznzzt= jkpmi at6pt \fzzozznzzt}%
\font\fivei= jkpmi at5pt
%
% math symbols (Family 2)
\def\twentysy{\font\fzzozznzzt= jkpsy at20pt \fzzozznzzt}%
\def\eighteensy{\font\fzzozznzzt=jkpsy at18pt \fzzozznzzt}%
\def\sixteensy{\font\fzzozznzzt= jkpsy at16pt \fzzozznzzt}%
\def\fourteensy{\font\fzzozznzzt=jkpsy at14pt \fzzozznzzt}%
\def\twelvesy{\font\fzzozznzzt= jkpsy at12pt \fzzozznzzt}%
\font\tensy= jkpsy
\def\ninesy{\font\fzzozznzzt= jkpsy at9pt \fzzozznzzt}%
\def\eightsy{\font\fzzozznzzt= jkpsy at8pt \fzzozznzzt}%
\font\sevensy= jkpsy at7pt
\def\sixsy{\font\fzzozznzzt= jkpsy at6pt \fzzozznzzt}%
\font\fivesy= jkpsy at5pt
%
% math extension (Family 3)
\def\twentyex{\font\fzzozznzzt= jkpex at20pt \fzzozznzzt}%
\def\eighteenex{\font\fzzozznzzt=jkpex at18pt \fzzozznzzt}%
\def\sixteenex{\font\fzzozznzzt= jkpex at16pt \fzzozznzzt}%
\def\fourteenex{\font\fzzozznzzt=jkpex at14pt \fzzozznzzt}%
\def\twelveex{\font\fzzozznzzt= jkpex at12pt \fzzozznzzt}%
\font\tenex= jkpex
\def\nineex{\font\fzzozznzzt= jkpex at9pt \fzzozznzzt}%
\def\eightex{\font\fzzozznzzt= jkpex at8pt \fzzozznzzt}%
\font\sevenex= jkpex at7pt
\def\sixex{\font\fzzozznzzt= jkpex at6pt \fzzozznzzt}%
\font\fiveex= jkpex at5pt
%
% italic text (Family 4)
\def\twentyit{\font\fzzozznzzt= jkpmit7t at20pt \fzzozznzzt}%
\def\eighteenit{\font\fzzozznzzt=jkpmit7t at18pt \fzzozznzzt}%
\def\sixteenit{\font\fzzozznzzt= jkpmit7t at16pt \fzzozznzzt}%
\def\fourteenit{\font\fzzozznzzt= jkpmit7t at14pt \fzzozznzzt}%
\def\twelveit{\font\fzzozznzzt= jkpmit7t at12pt \fzzozznzzt}%
\font\tenit= jkpmit7t
\def\nineit{\font\fzzozznzzt= jkpmit7t at9pt \fzzozznzzt}%
\def\eightit{\font\fzzozznzzt= jkpmit7t at8pt \fzzozznzzt}%
\font\sevenit= jkpmit7t at7pt
\def\sixit{\font\fzzozznzzt= jkpmit7t at6pt \fzzozznzzt}%
\font\fiveit= jkpmit7t at5pt
%
% slanted text (Family 5)
\def\twentysl{\font\fzzozznzzt= jkpmsl7t at20pt \fzzozznzzt}%
\def\eighteensl{\font\fzzozznzzt=jkpmsl7t at18pt \fzzozznzzt}%
\def\sixteensl{\font\fzzozznzzt= jkpmsl7t at16pt \fzzozznzzt}%
\def\fourteensl{\font\fzzozznzzt= jkpmsl7t at14pt \fzzozznzzt}%
\def\twelvesl{\font\fzzozznzzt= jkpmsl7t at12pt \fzzozznzzt}%
\font\tensl= jkpmsl7t
\def\ninesl{\font\fzzozznzzt= jkpmsl7t at9pt \fzzozznzzt}%
\def\eightsl{\font\fzzozznzzt= jkpmsl7t at8pt \fzzozznzzt}%
\font\sevensl= jkpmsl7t at7pt
\def\sixsl{\font\fzzozznzzt= jkpmsl7t at6pt \fzzozznzzt}%
\font\fivesl= jkpmsl7t at5pt
%
% boldface text (Family 6)
\def\twentybf{\font\fzzozznzzt= jkpbn7t at20pt \fzzozznzzt}%
\def\eighteenbf{\font\fzzozznzzt= jkpbn7t at18pt \fzzozznzzt}%
\def\sixteenbf{\font\fzzozznzzt= jkpbn7t at16pt \fzzozznzzt}%
\def\fourteenbf{\font\fzzozznzzt= jkpbn7t at14pt \fzzozznzzt}%
\def\twelvebf{\font\fzzozznzzt= jkpbn7t at12pt \fzzozznzzt}%
\font\tenbf= jkpbn7t
\def\ninebf{\font\fzzozznzzt= jkpbn7t at9pt \fzzozznzzt}%
\def\eightbf{\font\fzzozznzzt= jkpbn7t at8pt \fzzozznzzt}%
\font\sevenbf= jkpbn7t at7pt
\def\sixbf{\font\fzzozznzzt= jkpbn7t at6pt \fzzozznzzt}%
\font\fivebf= jkpbn7t at5pt
%
% 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}%
\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 \spaceskip0.533em plus0.1em minus0.1em}%
\textfont\ttfam=\tentt
\scriptfont\ttfam=\seventt
\scriptscriptfont\ttfam=\fivett
%
% italic boldface
\def\twentyitbf{\font\fzzozznzzt= jkpbit7t at20pt \fzzozznzzt}%
\def\eighteenitbf{\font\fzzozznzzt= jkpbit7t at18pt \fzzozznzzt}%
\def\sixteenitbf{\font\fzzozznzzt= jkpbit7t at16pt \fzzozznzzt}%
\def\fourteenitbf{\font\fzzozznzzt= jkpbit7t at14pt \fzzozznzzt}%
\def\twelveitbf{\font\fzzozznzzt= jkpbit7t at12pt \fzzozznzzt}%
\font\itbf= jkpbit7t
\def\nineitbf{\font\fzzozznzzt= jkpbit7t at9pt \fzzozznzzt}%
\def\eightitbf{\font\fzzozznzzt= jkpbit7t at8pt \fzzozznzzt}%
\font\sevenitbf= jkpbit7t at7pt
\def\sixitbf{\font\fzzozznzzt= jkpbit7t at6pt \fzzozznzzt}%
\font\fiveitbf= jkpbit7t at5pt
%
% slanted boldface
\def\twentyslbf{\font\fzzozznzzt= jkpbsl7t at20pt \fzzozznzzt}%
\def\eighteenslbf{\font\fzzozznzzt= jkpbsl7t at18pt \fzzozznzzt}%
\def\sixteenslbf{\font\fzzozznzzt= jkpbsl7t at16pt \fzzozznzzt}%
\def\fourteenslbf{\font\fzzozznzzt= jkpbsl7t at14pt \fzzozznzzt}%
\def\twelveslbf{\font\fzzozznzzt= jkpbsl7t at12pt \fzzozznzzt}%
\font\slbf= jkpbsl7t
\def\nineslbf{\font\fzzozznzzt= jkpbsl7t at9pt \fzzozznzzt}%
\def\eightslbf{\font\fzzozznzzt= jkpbsl7t at8pt \fzzozznzzt}%
\font\sevenslbf= jkpbsl7t at7pt
\def\sixslbf{\font\fzzozznzzt= jkpbsl7t at6pt \fzzozznzzt}%
\font\fiveslbf= jkpbsl7t at5pt
%
% caps
\def\twentycaps{\font\fzzozznzzt= jkpmsc7t at20pt \fzzozznzzt}%
\def\eighteencaps{\font\fzzozznzzt= jkpmsc7t at18pt \fzzozznzzt}%
\def\sixteencaps{\font\fzzozznzzt= jkpmsc7t at16pt \fzzozznzzt}%
\def\fourteencaps{\font\fzzozznzzt= jkpmsc7t at14pt \fzzozznzzt}%
\def\twelvecaps{\font\fzzozznzzt= jkpmsc7t at12pt \fzzozznzzt}%
\font\caps= jkpmsc7t
\def\ninecaps{\font\fzzozznzzt= jkpmsc7t at9pt \fzzozznzzt}%
\def\eightcaps{\font\fzzozznzzt= jkpmsc7t at8pt \fzzozznzzt}%
\font\sevencaps= jkpmsc7t at7pt
\def\sixcaps{\font\fzzozznzzt= jkpmsc7t at6pt \fzzozznzzt}%
\font\fivecaps= jkpmsc7t at5pt
%
% caps boldface
\def\twentycapsbf{\font\fzzozznzzt= jkpbsc7t at20pt \fzzozznzzt}%
\def\eighteencapsbf{\font\fzzozznzzt= jkpbsc7t at18pt \fzzozznzzt}%
\def\sixteencapsbf{\font\fzzozznzzt= jkpbsc7t at16pt \fzzozznzzt}%
\def\fourteencapsbf{\font\fzzozznzzt= jkpbsc7t at14pt \fzzozznzzt}%
\def\twelvecapsbf{\font\fzzozznzzt= jkpbsc7t at12pt \fzzozznzzt}%
\font\capsbf= jkpbsc7t
\def\ninecapsbf{\font\fzzozznzzt= jkpbsc7t at9pt \fzzozznzzt}%
\def\eightcapsbf{\font\fzzozznzzt= jkpbsc7t at8pt \fzzozznzzt}%
\font\sevencapsbf= jkpbsc7t at7pt
\def\sixcapsbf{\font\fzzozznzzt= jkpbsc7t at6pt \fzzozznzzt}%
\font\fivecapsbf= jkpbsc7t 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=jkpsyb \font\sevenmsb=jkpsyb at7pt \font\fivemsb=jkpsyb at5pt \fam\msbfam \textfont\msbfam=\tenmsb \scriptfont\msbfam=\sevenmsb \scriptscriptfont\msbfam=\fivemsb \global\let\loadmsbm\empty}%
\def\UseAMSsymbols{\loadmsam\loadmsbm}%
%
%
\rm
|
