[Agda] Unicode

Nils Anders Danielsson nad at cse.gu.se
Fri Feb 7 14:50:26 CET 2014


On 2014-01-31 18:25, Harley D. Eades III wrote:
> On Jan 31, 2014, at 4:52 AM, Nils Anders Danielsson <nad at cse.gu.se> wrote:
>> On my system 𝔹 is displayed using the FreeSerif font (according to
>> C-u C-x =).
>
> Did you have to do anything special getting the font to work?

I don't think so. The package "fonts-freefont-ttf" was installed
automatically. I'm using GNU Emacs 24.3.1 on Ubuntu.

-- 
/NAD



More information about the Agda mailing list