W3C home > Mailing lists > Public > www-math@w3.org > February 2012

Re: [mathjax-dev] Embellished operators

From: Frédéric WANG <fred.wang@free.fr>
Date: Thu, 23 Feb 2012 21:25:11 +0100
Message-ID: <4F46A0A7.4010904@free.fr>
CC: www-math@w3.org, mathjax-dev@googlegroups.com
It seems that some people didn't get my point, so to be more accurate, in

(Tree1) :=

<mrow>
<mo>|</mo>
<mspace height="100px" depth="100px"/>
</mrow>

the | stretches to cover the height+depth of the mspace. That's the 
vertical stretching rule for <mrow>:

http://www.w3.org/TR/MathML3/chapter3.html#id.3.2.5.8.2

But Tree1 is an mrow whose children is one embellished op <mo>|</mo> and 
a space-like element <mspace/>. Thus it is itself an embellished op:

http://www.w3.org/TR/MathML3/chapter3.html#id.3.2.5.7.3

Now in

(Tree2) :=

<math>
<mrow>
(Tree 1)
<mspace height="50px" depth="50px"/>
</mrow>
</math>

the same vertical stretching rule applies: the core of the embellished 
operator (Tree 1) stretches to cover the height+depth of the mspace.

Hence there are two possibilities for stretching the <mo>|</mo> element: 
one in Tree1 (height+depth=200px) and one in Tree2 (height+depth=100px). 
Which one do we choose?

I'm thinking I have to choose the outermost possibility (100px) or 
stretch to the maximum possible size (200px)?
How do other rendering agents implement it?
Received on Thursday, 23 February 2012 20:24:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 23 February 2012 20:24:17 GMT