W3C home > Mailing lists > Public > www-math@w3.org > November 2004

Re: Question about example in MathML2 Spec (Second Edition)

From: Robert Miner <RobertM@dessci.com>
Date: Tue, 2 Nov 2004 11:04:38 -0600
Message-Id: <200411021704.iA2H4cg24997@wisdom.geomtech.com>
To: koba@antenna.co.jp
CC: www-math@w3.org


Hi.

I think you are right.  The text does seem to be talking about the
positioning of under and overscripts, while the pictures have them
limits of the integral positioned as sub and superscripts.  So at a
minimum, I think the examples don't match the text.

Further, I think you analysis is correct: movablelimits should be
false for &Integral; and the scripts should always appear in the under
and over positions if you use an <munderover> element.

I think part of the problem here is that there is not very strong
agreement about whether movable limits should be true or false for
integrals.  It woudn't surprise me to learn that some software assumes
they should move, and changes their operator dictionary accordingly.

Of course that doesn't change the problem with the text and the images
in 3.4.6.2.

--Robert

------------------------------------------------------------------
Dr. Robert Miner                                RobertM@dessci.com
W3C Math Interest Group Co-Chair                      651-223-2883
Design Science, Inc.   "How Science Communicates"   www.dessci.com
------------------------------------------------------------------


> Hello,
> 
> I am wondering that the rendering example of 3.4.6.2 (image/3022.gif
> and 3023.gif) of MathML2 Spec (Second Edition) is not correct.
> 
> In these examples, 0(underscript) and &infin;(overscript) are 
> positioned as superscripts and subscripts. Is this correct ?
> 
> The Spec says at 3.2.5.9 Other attributes of mo as follows:
> ---------
> The movablelimits attribute specifies whether underscripts and 
> overscripts attached to this mo element should be drawn as subscripts 
> and superscripts when displaystyle="false". movablelimits="false" 
> means that underscripts and overscripts should never be drawn as 
> subscripts and superscripts. 
> ---------
> 
> The default value of movablelimits is set by operator dictionary.
> But operator dictionary for &int; is specified as follows:
> 
> ---------
> "&Integral;" form="prefix"  largeop="true" stretchy="true"  lspace="0em" rspace="0em"
> ---------
> 
> The value of movablelimits is set as "false" depending on the 
> description 3.2.5.2.
> 
> Finaly, 0(underscript) and &infin;(overscript) should be not be drawn 
> as superscripts and subscripts.
> 
> Is there any misunderstanding ?
> 
> Best regards,
> 
> Tokushige Kobayashi
> Antenna House, Inc.
> E-mail koba@antenna.co.jp
> WWW    http://www.antenna.co.jp/XML/ (Japanese)
> WWW    http://www.antennahouse.com/ (English)
> TEL    +81-3-3234-1361 (direct call)
> FAX    +81-3-3221-9975
> 
> Let's migrate from a whiteboard to:
> http://www.antenna.co.jp/ikisaki/
Received on Tuesday, 2 November 2004 17:05:19 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:56 GMT