[Agda] font issue in emacs mode

Andreas Abel andreas.abel at ifi.lmu.de
Thu Sep 25 16:04:08 CEST 2014


Does not work for me either (I am on ubuntu 12.04).  If I switch my 
emacs default font to "Asana Math" or "Dejavu Sans" or "XITS Math", I 
can see the blackboard-1, but then these are not monospaced fonts...

Anyone a clue?

On 25.09.2014 15:09, Martin Escardo wrote:
> I am using ubuntu 14.04.1 with Agda 2.4.2 via cabal. Works fine.
>
> However, some fonts don't display correctly. For example, \b1
> (blackboard one) displays as some hexadecimal numbers in a box.
>
> Such symbols display ok with the same version of Agda but in ubuntu 12.04.
>
> Does anybody know how to solve this for ubuntu 14.04? I suspect there is
> a missing ubuntu package that I should install.
>
> Thanks,
> Martin
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list