そうだったんですね。FONTDEFとGRPFを用いて一時的に書き換えた文字を採用してその後も使うことが出来るとは便利なものですね。