[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