[Agda] font issue in emacs mode

[Martin Escardo]

On 25/09/14 15:04, Andreas Abel wrote:
> 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...

I just tested it in ubuntu 12.04 to confirm, and it works for me with 
monospace in emacs in Agda 2.4.2 in two laptops. Strange.

In no 14.04 installation I have (with Agda 2.4.2) it works.

Martin

>
> 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
>
>

-- 
Martin Escardo
http://www.cs.bham.ac.uk/~mhe