[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
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.UnicodeInput:

   "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)."

-- 
/NAD


More information about the Agda mailing list