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に基づいて、問題解決の私に次の追加：どうやら⌘-Tフォント選択メニューを使用して

が

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

すべての文字のフォントを変更するのに十分ではありません、この設定ビットは、すべてのUnicode文字の表示方法に影響を与えるようです。ずっといい！

N.B .: Agdaの目的のために、Monacoが∀のような有用な文字を欠いているように、MenloがMonacoより良い選択であるかもしれないことが分かります。