hard pgf
soft amsfonts
