Strange cmsy10.pfb...

I found that by default in latest teTeX 2.0.2, dvips default output
uses BlueSky CMR Type1 fonts (unless specifying -Ppk). But it seems
that when the cmsy10 font (and probably all the
cmsy*.pfb) is used, the output using PK fonts is different than the one
using Type1 fonts; in particular almost all the single arrow symbols
in cmsy10.pfb doesn't match the METAFONT version: arrows are more
stretched and thin. It seems that cmsy10.pfb uses obsolete glyphs for:

- arrowleft
- arrowright
- arrowup
- arrowdown
- arrowboth
- arrownortheast
- arrowsoutheast
- arrownorthwest
- arrowsouthwest

Since this affects also PDF output, maybe a modified version
of cmsy10 Type1 fonts could be made.

I tried, using a bitmap tracing tool (mftrace) and pfaedit, to upgrade these
glyphs in cmsy10.pfb. The patch is in attach. Just disassemble
the original cmsy10.pfb, using t1disasm from t1utils, and apply the
patch, like this:

t1disasm cmsy10.pfb cmsy10.t1a
patch < cmsy10-newarrow.diff
t1asm cmsy10.t1a cmsy10.pfb

Note that hints for modified glyphs still needs to be
improved. Does anyone knows if derived versions can be distributed
under the same name? Honestly I don't understand this from the
README/license, as it only says that in such case the AMS copyright should
be removed.

As I said before the new glyphs were obtained from bitmap tracing, more or
less from autotracing the corresponding PK file at near 20000dpi, and then
manual tuning the resulting control points (going beyond 20000-22000dpi
for getting more precise outline tracing is not possible because METAFONT
get numeric overflows on numbers >= 4096, so a "64bit" METAFONT is needed...).
Does anyone knows if exists a FREE tool for obtaining (e.g. for the cmsy10 glyphs)
more precise outlines from MF sources (even outlines overlapping, as pfaedit
allows to remove overlaps)? I tried mf2pt1 but it doesn't support shaped pens,
so the resulting outlines are not what expected. Or maybe is someone working on a (free)
modified version of METAFONT with outlines output instead of bitmaps?

Thanks.
Bye.
Giuseppe.