::
Adesso funziona correttamente anche a me.
MA rimane un problema: dvips pretende di usare dei font (sembra solo per le parentesi graffe nell’esponente) a 600 dpi, che quindi sono scalettati perché makepk fallisce nel creare tali font.
Boh!!
CIAO E GRAZIE
