%! % $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