hard pgf
soft amsfonts