W3C home > Mailing lists > Public > www-math@w3.org > October 2010

Re: hdotsfor?

From: David Carlisle <davidc@nag.co.uk>
Date: Mon, 04 Oct 2010 01:00:39 +0100
Message-ID: <4CA91927.700@nag.co.uk>
To: Neil Soiffer <NeilS@dessci.com>
CC: Jacques Distler <distler@golem.ph.utexas.edu>, www-math@w3.org
On 04/10/2010 00:46, Neil Soiffer wrote:
> I understand that you want lots of dots.  U+2026 may not be the ideal
> character to say that a stretchy version has as many dots as needed to
> fill the area; perhaps there is a better Unicode character.  I think the
> idea of using a stretchy char though is one that fits with the MathML
> spec as it stands now.

yes, for examples arrows are stretchy and basically I think you want 
something like


but without the arrow. I think the nearest you have is to use one of the 
leader dots (or centered dot) and specify it stretchy
Received on Monday, 4 October 2010 00:01:31 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:43 UTC