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

Question

我想要建立一個良好的Agda環境，但是一個很大的絆腳石是我的Emacs設置中Unicode符號的可讀性。

我在Mac OS X 10.7上使用Emacs（.app）23.3.1，並使用Options菜單中的Set Default Font...將默認字體配置爲Monaco。但是，對於像≤，≠和→的Unicode符號，它會回落到一些嚴重醜陋的低分辨率柵格化字形中，這些字形看起來並不是摩納哥或我檢查過的任何其他等寬字體。這對於閱讀頻繁使用Unicode的Agda源碼來說是一個巨大的可讀性問題。

我該如何讓Emacs使用漂亮的TTF字形呢？

下面是示出在一個Emacs緩衝器一些字符的放大的視圖（在右邊）的屏幕截圖，和相同的字符粘貼到字體簿，並顯示在摩納哥（左側）：

Answer 1

添加下面我.emacs解決了這個問題，基於this superuser answer：

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

顯然使用⌘-T字體選擇菜單是不夠的，更改字體的所有字符，但這一點的配置似乎會影響所有Unicode字符的顯示方式。好多了！

N.B .:對於Agda的目的，事實證明，Menlo可能是比摩納哥更好的選擇，因爲摩納哥似乎缺少像∀這樣有用的字符。