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) :=

<mspace height="100px" depth="100px"/>

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


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:


Now in

(Tree2) :=

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

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