W3C home > Mailing lists > Public > www-math@w3.org > May 2011

Re: triple and quadruple dots and the MathML test suite

From: Neil Soiffer <NeilS@dessci.com>
Date: Mon, 16 May 2011 09:08:22 -0700
Message-ID: <BANLkTikGxLepWT-Bf6DCyDCQ8r5Kpp1=3Q@mail.gmail.com>
To: Frédéric WANG <fred.wang@free.fr>
Cc: David Carlisle <davidc@nag.co.uk>, "www-math@w3.org" <www-math@w3.org>
Expanding on David's response:  you shouldn't use the combining chars as
part of an mi or other token for *markup*.  Eg, the following is wrong:
   <mi> x&#x20DB;</mi>

However, it is OK to use them as part of xxxscript notations when there
aren't alternative chars available.  So, this is OK:
   <mover> <mi>x</mi> <mo>&#x20DB;</mo> </mover>

It is helpful if your renderer accepts all of the combining chars as part of
a xxxscript as there are plenty of MathML authoring tools out in the world
that will generate markup that uses them.

Neil Soiffer
Senior Scientist
Design Science, Inc.
www.dessci.com
~ Makers of MathType, MathFlow, MathPlayer, MathDaisy, Equation Editor ~





2011/5/16 Frédéric WANG <fred.wang@free.fr>

>  Le 16/05/2011 12:40, David Carlisle a écrit :
>
> On 16/05/2011 10:48, Frédéric WANG wrote:
>
> Hi all,
>
> I'm wondering what characters to use for triple and quadruple dots. The
> MathML dictionary contains
>
> 'COMBINING THREE DOTS ABOVE' (U+20DB)
> and
> 'COMBINING FOUR DOTS ABOVE' (U+20DC)
>
> but the
>
> http://www.w3.org/TR/MathML/chapter7.html#chars.comb-chars
>
> says COMBINING characters should not be used.
>
>
> well combining characters should be avoided where possible, but in (I
> think) three cases I couldn't see an alternative, and Unicode hasn't added
> non combining versions, so I think here the markup has to use
> the codepoints for the combining characters.
>
> David
>
>  OK, thanks.
>
> --
> Frédéric Wang.
> Website <http://www.maths-informatique-jeux.com/> - Weblog<http://www.maths-informatique-jeux.com/blog/frederic/>
>
Received on Monday, 16 May 2011 16:08:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 16 May 2011 16:08:51 GMT