如何阻止Emacs回退到光栅化的Unicode字符？

Question

我试图建立一个好的Agda环境，但是一个很大的障碍是我的Emacs设置中Unicode符号的可读性。

我在Mac OS X 10.7上使用Emacs（.app）23.3.1，并使用Set Default Font...菜单中的Options将我的默认字体配置为Monaco。但是，对于像≤，≠和→这样的Unicode符号，它会回落到一些看似不是摩纳哥或我检查过的任何其他等宽字体的严重丑陋的低分辨率栅格化字形。对于经常读取Unicode重的Agda源来说，这是一个巨大的可读性问题。

如何让Emacs使用漂亮的TTF字形呢？

这是一个屏幕截图，显示了Emacs缓冲区（右侧）中某些字符的放大视图，以及粘贴到Font Book中并在Monaco（左侧）中显示的相同字符：

Answer 1

根据this superuser answer

，将以下内容添加到我的.emacs解决了问题

(if (string-equal system-type "darwin")
    (set-fontset-font "fontset-default"
                      'unicode
                      '("Monaco" . "iso10646-1")))

显然使用⌘-T字体选择菜单不足以更改所有字符的字体，但这一位配置似乎会影响所有Unicode字符的显示方式。好多了！

N.B。：对于Agda而言，事实证明Menlo可能是比摩纳哥更好的选择，因为摩纳哥似乎缺乏像∀这样有用的角色。