¿Cómo detener el regreso de Emacs a caracteres Unicode rasterizados?

Question

Estoy tratando de configurar un buen entorno Agda, pero un gran obstáculo es la legibilidad de los símbolos Unicode en mi configuración de Emacs.

Estoy en Mac OS X 10.7 con Emacs (.app) 23.3.1, y he configurado mi fuente predeterminada en Mónaco usando Set Default Font... desde el menú Options. Sin embargo, para símbolos Unicode como ≤, ≠, y → está retrocediendo a algunos glifos rasterizados de baja resolución y muy feos que no parecen ser Monaco o cualquier otra fuente de monoespacio que he comprobado. Este es un gran problema de legibilidad para leer con frecuencia la fuente de Agda con gran cantidad de Unicode.

¿Cómo puedo hacer que Emacs use bonitos glifos TTF?

Aquí hay una captura de pantalla que muestra una vista zoom en la de algunos personajes en un búfer de Emacs (a la derecha), y los mismos caracteres pegado en el Catálogo Tipográfico y se muestran en Mónaco (a la izquierda):

Answer 1

añadiendo lo siguiente a mi .emacs resuelto el problema, basado en this superuser answer:

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

al parecer mediante el menú de selección de fuentes ⌘-T no es suficiente para cambiar el tipo de letra para todos los personajes, pero este poco de configuración parece afectar la forma en que se muestran todos los caracteres Unicode. ¡Mucho mejor!

N.B .: Para fines de Agda, resulta que Menlo podría ser una mejor opción que Mónaco, ya que Mónaco parece carecer de caracteres tan útiles como ∀.