MacOSX 上、 ptex/Texshop で UTF-8 を使う方法

備忘
  • Agda コードはUTF-8なので、Texでコードの紹介文を作成しようとすると、コードをそのままコピペしたのでは文字化けしてしまう。特に数学記号（例えば \approx）などは、いちいちsjis へ変換するのは大変。
  • で、MacOSX上で、UTF-8をそのまま使用・変換できる ptex を探した。Beginning OSX 10.5の記事をもとに、MacPort （Agda のインストールの際に使用したので馴染みがあった）経由で　ptetex3　をインストールすることに。
  • ところが、記事の通り "sudo port install pTeX +utf8 +motif" とやると、途中でインストールが止まってしまう。
  • 調べてみると、motif のインストールは途中で止まるらしい。仕方がないので "sudo port install pTeX +utf8" でインストールを始めて見る。
  • 今度はptexのbuildの最中にエラー！　"Personal texmf tree '/Users/*****/.texmf-var' may make unexpected effect. Please rename." だそうで。以前インストールした別のTexのバージョン情報を見てしまうらしい。ということで、一回このディレクトリを mv で移動させ、インストールをやり直し。
  • 今度はOK! Texshopの設定を Begining OSX の記事通りに書き換え、UTF-8がTexで使えるようになりました。

で、文書を変換してみると、日本語はちゃんと変換してくれるものの、 \approx のような数学記号は見事に文字化けしたままでした…よくある話です。