[Agda] Aquamacs pain

Andreas Abel andreas.abel at ifi.lmu.de
Wed Jan 16 10:06:21 CET 2013

Hi Liam,

I had to experiment a bit to get unicode characters displayed on my Mac 
OS X Emacs.  Although it is not Aquamacs, maybe my findings could help you:


The essential step was installing some fonts, e.g. DejaVu.  I put my 
findings up to the wiki:



On 14.01.13 12:53 PM, Liam O'Connor wrote:
> Hi all,
> I'm setting up Agda on my new mac, and Aquamacs is giving me grief. Any
> unicode symbol is simply rendered as a space
> In the past, I was successfully using GNU unifont as my font (because it
> supports all unicode glyphs) but when I tried it this time result was
> just a garbled mess of characters (a lot of @ signs and crazy symbols)
> and Aquamacs crashing.
> Has anyone had luck making unicode symbols work in Aquamacs?  Sorry, I'm
> not very well versed in emacs hacking.
> Regards,
> Liam O'Connor
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de

More information about the Agda mailing list