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

Nils Anders Danielsson nad at chalmers.se
Mon Feb 13 19:20:56 CET 2012

On 2012-02-12 09:33, David Wahlstedt wrote:
> This list of key sequences should be pointed to from the agda wiki
> somehow. It really helps!

You may want to have a look at

   "Type M-x agda-input-show-translations RET RET to see all the characters
   you can type using this input method (with some exceptions in certain
   versions of Emacs)."


More information about the Agda mailing list