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

Daniel Schoepe daniel at schoepe.org
Sun Feb 12 00:29:08 CET 2012


Skipped content of type multipart/mixed-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 835 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120212/4422c211/attachment-0001.bin


More information about the Agda mailing list