How to stop Emacs falling back to rasterized Unicode characters?

Question

I\'m trying to get a good Agda environment set up, but a big stumbling block is the readability of Unicode symbols in my Emacs setup.

I am on Mac OS X 10.7 with Emacs(.a

Answer 1

Adding the following to my .emacs solved the problem, based on this superuser answer:

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

Apparently using the ⌘-T font selection menu is not enough to change the font for all characters, but this bit of configuration seems to affect the way all Unicode characters are displayed. Much better!

N.B.: For Agda purposes, it turns out that Menlo might be a better choice than Monaco, as Monaco seems to lack such useful characters as ∀.