summaryrefslogtreecommitdiff
path: root/dviware/dvitops/timesex.ps
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