/fonts/amsfonts/tfm/