blob: f023baa1914364725f4d2f8c775d4f464dd5ac50 (
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
|
%!
% $Header: /usr/jjc/dvitops/RCS/timesex.ps,v 1.1 89/02/01 16:41:37 jjc Rel $
/Times-Extension 12 dict dup begin
/FontType 3 def
% /UniqueID 1 def % how is one supposed to choose this?
/FontMatrix [.001 0 0 .001 0 0] def
/FontName /Extension def
/Encoding 256 array def
/FontBBox [0 0 0 0] def
0 1 255 {
Encoding exch /.notdef put
} for
Encoding 8#040 /space put
Encoding 8#120 /sum put
Encoding 8#121 /product put
Encoding 8#130 /bigsum put
Encoding 8#131 /bigproduct put
Encoding 8#140 /coproduct put
Encoding 8#141 /bigcoproduct put
/BaseFonts [
/Symbol findfont 1000 scalefont
dup 1.4 scalefont
/Symbol findfont [1000 0 0 -1000 0 0] makefont
dup 1.4 scalefont
] def
/CharStrings 8 dict dup begin
/.notdef [(\040) 0 250] def
/space [(\040) 0 250] def
/sum [(\345) 0 713] def
/product [(\325) 0 751] def
/bigsum [(\345) 1 713 1.4 mul] def
/bigproduct [(\325) 1 751 1.4 mul] def
/coproduct [(\325) 2 751] def
/bigcoproduct [(\325) 3 751 1.4 mul] def
end def
/BuildChar {
exch begin
Encoding exch get
CharStrings exch get
dup 2 get 0 setcharwidth
dup 1 get BaseFonts exch get setfont
0 0 moveto
0 get show
end
} bind def
/FontInfo 3 dict dup begin
/FullName (Extension) def
/ItalicAngle 0 def
/isFixedPitch false def
end def
end definefont pop
|
