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

Re: Embellished operators

From: Frédéric WANG <fred.wang@free.fr>
Date: Thu, 29 Mar 2012 13:42:35 +0200
Message-ID: <4F744AAB.9020107@free.fr>
To: "Davide P. Cervone" <dpvc@union.edu>
CC: Neil Soiffer <NeilS@DesSci.com>, www-math@w3.org
Yes, that's similar to the horizontal case that I initially mentioned 
(and for which there is a bug in Firefox since the embellished op rules 
are completely implemented). I think Neil means that the vertical case 
does no really come up in practice. In your example, that would be 
replacing the mover by
something like <mrow><mo>(Vertical Arrow)</mo><mspace 
height="100px"/></mrow>...

On 29/03/2012 13:10, Davide P. Cervone wrote:
> Actually, I think it does come up in practice:  in mtables that are 
> used to produce commutative diagrams.  With cells that contain 
> horizontal arrows with labels above using mover, should they stretch 
> to match the label, or the maximum width of the column, or both?  If 
> an arrow has a very wide label, as an embellished operator, is its 
> natural width the width of the unstretched arrow, or the wide label?
>
> Davide
>
>
> On Mar 29, 2012, at 1:57 AM, Neil Soiffer wrote:
>
>> Sorry for not following up.  I was at a conference during the last 
>> working group meeting and this didn't get discussed.  I'll bring it 
>> up and see if we can get some official position on it at our meeting 
>> next week.
>>
>> Based on what you and Dave said, I lean towards option 2.  Actually, 
>> I rather remove the rule (which I think Dave wants too), but that's 
>> not an errata and would need to be done in a spec revision.  In any 
>> case, I doubt this comes up in real life and I suspect it is near the 
>> bottom of the heap in importance in bug reports for Firefox, 
>> MathPlayer, etc.  Still, it's a hole in the spec and needs to be 
>> filled...
>>
>>    Neil
Received on Thursday, 29 March 2012 11:41:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 29 March 2012 11:41:45 GMT