# RE: [mathjax-dev] Embellished operators

From: Paul Topping <pault@dessci.com>
Date: Thu, 23 Feb 2012 09:11:49 -0800
Message-ID: <8F5CC1B027A79E4EB4DB2154060CF638FB7066@DRAKE.corp.dessci>

I think you have touched the tip of an iceberg with your observations here. Robert Miner and I had many discussions of problems like this. Presentation MathML's domain of description tries to allow precise formatting via specific dimensions and font and character choices as well as logical description of math constructs. It always seemed to me to be playing with fire. Left up to me, I would have had MathML elements and attributes map to concepts in math's visual grammar in order to allow the formatter to do a better job. Unfortunately, this places a large burden on the author to get it right, something that is a big problem for Content MathML.

Paul

Sent: Thursday, February 23, 2012 1:02 AM
Subject: [mathjax-dev] Embellished operators

Hi all,

I'm thinking again about the rules for embellished operators and it seems to me that some elements are particular. For example if we ask how to determine the stretching of something like:

$<mover> <mo>&#x2192;</mo> <mtext>over</mtext> </mover>$

The obvious answer is that the arrow should stretch to cover the over script. OK. However one can also say that the <mover> is an embellished element as a whole. Since is has no siblings, the arrow should have its default size.

To give slightly less trivial examples, what should be the size of the arrows (100px or 200px?) in these examples:

$<mover> <mspace width="100px"/> <munder> <mo>&#x2192;</mo> <mspace width="200px"/> </munder> </mover>$

and

$<mover> <mspace width="200px"/> <munder> <mo>&#x2192;</mo> <mspace width="100px"/> </munder> </mover>$

An example with vertical stretching rules:

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

(I wonder if an attribute like embellishedop = "false" could help to prevent this kind of ambiguity?)

I noticed this because implementing the complete embellished op rules caused a regression in Mozilla with MathML code generated by MathJax:
https://bugzilla.mozilla.org/show_bug.cgi?id=687807

Received on Thursday, 23 February 2012 17:12:19 UTC

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