/Master/texmf-dist/doc/fonts/amsfonts/