名前: 竹の 日時: 2002-10-27 14:37:55 IPアドレス: 202.243.120.* >>12313 数字のフォントも psfrag で書き換えるというのはどうでしょうか。
この書き込みへの返事：