AMS Fontの一部（\varnothing等）を、小さいサイズ（\footnote{}や\small{}の中など）で使用した場合、dvipskで生成したpsファイルがghostviewで読めない（例えばgswin32cで読もうとすると/undefined in TeXAMS2Encodingというエラーが出る。gsview32ならTeX…