[Agda] Strange way of displaying \sqcap and \sqcup in emacs 23.3.1 Lubuntu 11.10

David Wahlstedt david.wahlstedt at gmail.com
Sun Feb 12 09:33:35 CET 2012


Thanks a lot !
I've been looking for this list before, but I didn't understand it was
specific to the agda mode...
I found \Glb and \Lub, and they are shown correctly :-)

This list of key sequences should be pointed to from the agda wiki somehow.
It really helps!

Best regards,
David

On Sun, Feb 12, 2012 at 12:05 AM, Wojciech Jedynak <wjedynak at gmail.com>wrote:

> 2012/2/11 David Wahlstedt <david.wahlstedt at gmail.com>:
> > 1. Does anyone know of a table of existing typing escape sequences for
> math
> > symbols in this emacs utf-8 input method?
>
> You can browse the emacs lisp sources and (perhaps preferably) inside
> emacs you can try M-x customize-group RET agda2 RET and choose
> something like "agda input". You will find a pretty long list of
> predefined characters; you can also add your own characters there.
>
> Greetings,
> Wojciech
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120212/06147595/attachment.html


More information about the Agda mailing list