[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