[Agda] Unicode
Harley Eades
harley.eades at gmail.com
Fri Jan 31 00:01:40 CET 2014
Hi, everyone.
I am using Mac OS X, and standard Emacs 24.3, and unicode with Agda is
pretty well supported on my system, but the only blackboard-bold
characters I have are \bn, \br, \bp, and \bz, but I want would like to
have \Bbb{B}. Does anyone have this working on their system?
I have installed every font mentioned here:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.HowToSeeUnicode
Any help would be greatly appreciated.
Thanks,
.\ Harley
More information about the Agda
mailing list