Thanks a lot !<div>I've been looking for this list before, but I didn't understand it was specific to the agda mode...</div><div>I found \Glb and \Lub, and they are shown correctly :-)<div><br></div><div>This list of key sequences should be pointed to from the agda wiki somehow. It really helps!</div>
<div><br></div><div>Best regards,</div><div>David<br><br><div class="gmail_quote">On Sun, Feb 12, 2012 at 12:05 AM, Wojciech Jedynak <span dir="ltr"><<a href="mailto:wjedynak@gmail.com">wjedynak@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">2012/2/11 David Wahlstedt <<a href="mailto:david.wahlstedt@gmail.com">david.wahlstedt@gmail.com</a>>:<br>
<div class="im">> 1. Does anyone know of a table of existing typing escape sequences for math<br>
> symbols in this emacs utf-8 input method?<br>
<br>
</div>You can browse the emacs lisp sources and (perhaps preferably) inside<br>
emacs you can try M-x customize-group RET agda2 RET and choose<br>
something like "agda input". You will find a pretty long list of<br>
predefined characters; you can also add your own characters there.<br>
<br>
Greetings,<br>
Wojciech<br>
</blockquote></div><br></div></div>