[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