[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