2 %%DocumentFonts: Times-Roman Times-Italic Times-Bold Symbol
5 % $Header: /home/jjc/catps/RCS/catps.pro,v 1.1 89/01/08 11:00:18 jjc Exp $
11 /F0 /Times-Roman findfont def
12 /F1 /Times-Italic findfont def
13 /F2 /Times-Bold findfont def
14 /F3 /Symbol findfont def
15 /F { scalefont setfont } bind def
18 /BP { /level0 save def 1 6 div dup scale } bind def
19 /EP { level0 restore showpage } bind def
22 /fractiondict 5 dict def
23 % num den FS -- print a fraction
24 % it alters currentpoint but leaves currentfont unchanged
30 /regularfont currentfont def
31 /fractionfont currentfont [.65 0 0 .6 0 0] makefont def
33 newpath 0 0 moveto (1) true charpath flattenpath pathbbox
34 /height exch def pop pop pop
36 0 .4 height mul rmoveto
37 fractionfont setfont num show
38 0 .4 height mul neg rmoveto
39 regularfont setfont (\244) show
40 fractionfont setfont den show