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

David Wahlstedt david.wahlstedt at gmail.com
Sat Feb 11 14:33:12 CET 2012


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: SqCupCap.agda
Type: application/octet-stream
Size: 253 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120211/37d35c28/SqCupCap.obj


More information about the Agda mailing list