unicode の east asian ambiguous 文字最近、 Agda を使ったりしているので agda-mode な emacs にちょっと手を出していたりします。 Agda は π やら ∀ やらの記号を容赦なく使うので、iTerm2 では agda-mode 時に emacs の表示がおかしくなることがありました。 iTerm2 の問題かと思って Terminal に戻ってきたは良いものの、今度は ∀ とかが一文字幅になってしまって表示がおかしい。 Terminal の Preferences -> Advanced -> Unicode East Asian Ambiguous character are wide のチェックを入れると解決はするんだけれど、iTerm2と同じ状況になる。 どうやら Unicode East Asian Ambiguous とやらが問題らしい。 調べてみると、∀ とかが全角なのは国によるっぽい。 特に日
