Enrico Forestieri wrote:
On Wed, Apr 18, 2007 at 06:32:04PM -0400, Richard Heck wrote:
But surely you could run the script and then have a look at what you
had, re-doing by hand those that needed to be redone by hand. It'd at
least be worth investigating, if no-one has yet tried it. Of course,
someone may and have found it disastrous operating on such small images.
Yes, of course. However, as regards the symbols displayed in mathed, my
idea would be to let a rasterizer do the work and then taking a snapshot
of the result.
Obviously, we agree ;-)
Abdel.
