我试图建立一个良好的Agda环境,但我的Emacs设置中Unicode符号的可读性是一个巨大的障碍。我使用Mac OS X 10.7和Emacs(.app) 23.3.1,并通过“选项”菜单中的“设置默认字体...”配置了默认字体为Monaco。然而,对于像≤、≠和→这样的Unicode符号,它会退回到一些丑陋的低分辨率光栅字形,这些字形似乎不是Monaco或我检查过的任何其他等宽字体。这对于频繁阅读Unicode-heavy Agda源代码来说是一个巨大的可读性问题。如何让Emacs使用漂亮的TTF字形呢?下面是一个截图,显示了Emacs缓冲区中一些字符的放大视图(右侧),以及将相同字符粘贴到Font Book中并在Monaco中显示的情况(左侧):