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

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 UTC

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