Re: [mathjax-dev] Embellished operators

> I am puzzled that it would be thought that the base, the first argument of
> an element of type  <mover>, <munder> or <munderover> might be expected
> to change its size automatically depending on the embellishment.

Stretching the base to match the width of the scripts is described here:

"If a stretchy operator, or an embellished stretchy operator, is a
direct sub-expression of an munder, mover, or munderover element,
or [...], then it, or the mo element at its core, should stretch
to cover the width of the other direct sub-expressions in the
given element [...]"

http://www.w3.org/TR/MathML3/chapter3.html#presm.horiz.stretch.rules