/fonts/amsfonts/afm/