AgdaのTexモ−ド

先日MacBookAirにインストールしたAgda、とても快適に動くのだが、困ったことにtexモード（texコードを打ち込むとAquaemacs上でUnicodeの数学記号を出力する）の変換が出来ない。Ktさんに相談した結果、Texコードの変換機構は動いているが、emacsと日本語入力メソッドが悪さをして、backslashを強制的に￥に変換してしまい、texコードとは認識しなくなっているのではないかとの結論になった。ヤケになって、コントロールパネルの「言語環境から」入力ソースっとして"British"を選ぶと、なぜか￥をbackslashとして認識し、Texコード変換が出来るようになった。謎だ。