Documentation for tex-amsfonts
