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

[David Wahlstedt]

Thanks!

On Mon, Feb 13, 2012 at 7:20 PM, Nils Anders Danielsson <nad at chalmers.se>wrote:

> 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<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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120213/31d71524/attachment.html