Re: stretchy characters in firefox mobile (android)

Karl and I chatted about this off list for a bit and he found the 
missing link, there are different versions of the dejavu fonts available:

> Actually the version you got is 2.29 and that does not have the
> particular characters.  I have 2.32 and that does have the
> characters.
>
>> Try downloading the truetype versions from
>> http://dejavu-fonts.org/wiki/Download
> Version 2.33 there has the characters.

so now I have mathml including stretchy characters on my galaxy tab, hooray!

thanks again,

David

Test file, now working for me:

http://monet.nag.co.uk/~dpc/djvmml.html

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________