[Agda] Unicode

[Nils Anders Danielsson]

On 2014-01-31 00:01, Harley Eades wrote:
> 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?

On my system 𝔹 is displayed using the FreeSerif font (according to
C-u C-x =).

-- 
/NAD