I would like to ask for some advice from those out there who have experience
dealing with fonts and text layout.
At the end of this message is the output of dvitype, which translates a dvi
file (in this case a file typesetting "0.8" in ptmr7t fonts) into human
readable output. I have considered writing a dvi parser for mpl, intending to
extract the information necessary to render text with mpl's existing font and
text support. There is some more information at
http://en.wikipedia.org/wiki/DVI_(TeX) and
http://www.math.umd.edu/~asnowden/comp-cont/dvi.html#setchar.
Is this worth pursuing? If I could make it work, mpl's only external
dependency would be TeX/LaTeX, even dvipng would not be required.
Thanks,
Darren
(I'm sorry to beat this issue into the ground)
$ dvitype 8b85d26da2410f54cd2d70976999b1d8.dvi
This is DVItype, Version 3.6 (Web2C 7.5.5)
Options selected:
Starting page = *
Maximum number of pages = 1000000
Output level = 4 (the works)
Resolution = 300.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000; 0.00006334 pixels per DVI unit
' TeX output 2006.01.21:1639'
Postamble starts at byte 144.
maxv=41484288, maxh=26673152, maxstackdepth=3, totalpages=1
Font 14: ptmr7t---loaded at size 655360 DVI units
42: beginning of page 1
87: down4 41484288 v:=0+41484288=41484288, vv:=2628
92: push
level 0:(h=0,v=41484288,w=0,x=0,y=0,z=0,hh=0,vv=2628)
93: down4 -39649280 v:=41484288-39649280=1835008, vv:=116
98: down4 37683200 v:=1835008+37683200=39518208, vv:=2503
103: push
level 1:(h=0,v=39518208,w=0,x=0,y=0,z=0,hh=0,vv=2503)
104: down4 -35389440 v:=39518208-35389440=4128768, vv:=262
109: push
level 2:(h=0,v=4128768,w=0,x=0,y=0,z=0,hh=0,vv=262)
110: right3 5046272 h:=0+5046272=5046272, hh:=320
[ ]
114: fntdef1 14: ptmr7t
136: fntnum14 current font is ptmr7t
137: setchar48 h:=5046272+327680=5373952, hh:=341
138: setchar46 h:=5373952+163840=5537792, hh:=351
139: setchar56 h:=5537792+327680=5865472, hh:=372
[0.8]
140: pop
level 2:(h=0,v=4128768,w=0,x=0,y=0,z=0,hh=0,vv=262)
141: pop
level 1:(h=0,v=39518208,w=0,x=0,y=0,z=0,hh=0,vv=2503)
142: pop
level 0:(h=0,v=41484288,w=0,x=0,y=0,z=0,hh=0,vv=2628)
143: eop