名前: 越 日時: 2008-09-25 12:45:13 IPアドレス: 221.244.255.*
>>52029 私も自分の作成したdviファイルをいじってやってみました． dvispc -a ○○.dvi > ○○.txt で生成したテキストファイルの中で，フォント名の直前の数字が 「フォント名の文字数」を表しているようです．たとえば， fntdef1 37 0x7DEBDC53 655360 655360 0 7 'timenrr' のようになっていませんか？ 'timenrr' の直前の 7 が文字数を表すと 考えると，フォント名を 'cmr10' に変更したら 7 → 5 に変更しなければ なりません． この推測が当たっているかどうかは判りませんが，私の環境では これをやるとうまくいく(dvioutで表示ができる)のが確認できました．
この書き込みへの返事：