[Agda] help with math symbols

[Guillaume Brunerie]

> -- citation -----------
>> bash -c "agda-mode locate" | less
> /home/mechvel/.cabal/share/Agda-2.3.0.1/emacs-mode/agda2.el
> (END) > -----------------------

And what's the output of

sh -c "agda-mode locate"

?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120803/e6eec496/attachment.html