[Agda] Newbie questions after reading Dependently Typed Programming in Agda

[Jean-Philippe Bernardy]

On Thu, Oct 14, 2010 at 10:42 PM, Oscar Finnsson
<oscar.finnsson at gmail.com> wrote:

>     I don't have this problem. I am using Aquamacs.
>
> Tried Aquamacs but I still got the same problem. ⟨ and  ⟩ don't show up
> correctly. Anyone can recommend a good font?

DejaVu Sans has most symbols.

Otherwise, Aquamacs 1.9 picks a font on a per-character basis.