<div>
Hi all,
</div><div><br></div><div>I'm setting up Agda on my new mac, and Aquamacs is giving me grief. Any unicode symbol is simply rendered as a space</div><div><br></div><div>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.</div>
<div><div><br></div><div>Has anyone had luck making unicode symbols work in Aquamacs? Sorry, I'm not very well versed in emacs hacking.</div><div><br></div><div>Regards,</div><div>Liam O'Connor</div><div><br></div><div><br></div></div>