名前: SHIMA 日時: 2003-10-19 23:38:00 IPアドレス: 61.124.141.*
>>22911 >これは私も気になる点ですが、dviout は min10 等標準の場合、 >min10.vf を見なくて、0.962216 倍されないのが通常のようです。 これは，全くの誤解でしょう．0.962216というのは jfm ファイル（min10.tfm） に書かれていて，dviout はそれを読んで（文字送りのみでなくて）文字サイズ を決めています． ただ jfm ファイルは，高さ+深さが 0.916433倍となっていて正方形でないので 注意が必要です（min10 の場合，この 0.916433倍を基準にすると文字サイズが 小さくなる）．
この書き込みへの返事：