Confirmed users
226
edits
MathML:Stretchy: Difference between revisions
embellished op
(dictionary, heuristic rules, embellished op) |
(embellished op) |
||
| Line 11: | Line 11: | ||
Many operator properties affecting stretching are provided by the MathML Operator Dictionary. We should upgrade our dictionary to [http://www.w3.org/TR/MathML3/appendixc.html the one given in MathML3], where a lot of new entries are added and several properties modified. Also, the form infix/postfix/prefix is used to determine the properties of an operator. Hence, we need to implement the [http://www.w3.org/TR/MathML3/chapter3.html#presm.formdefval heuristic rules to determine the form] of an operator. | Many operator properties affecting stretching are provided by the MathML Operator Dictionary. We should upgrade our dictionary to [http://www.w3.org/TR/MathML3/appendixc.html the one given in MathML3], where a lot of new entries are added and several properties modified. Also, the form infix/postfix/prefix is used to determine the properties of an operator. Hence, we need to implement the [http://www.w3.org/TR/MathML3/chapter3.html#presm.formdefval heuristic rules to determine the form] of an operator. | ||
See {{bug|534970}} and {{bug|562460}} | |||
[fred] The operator dictionary uses [http://hg.mozilla.org/mozilla-central/rev/4f08c0415dad the new syntax of MathML3] | [fred] The operator dictionary uses [http://hg.mozilla.org/mozilla-central/rev/4f08c0415dad the new syntax of MathML3] | ||
| Line 28: | Line 30: | ||
[fred] New patch pushed: [http://hg.mozilla.org/mozilla-central/rev/77e3880307ea update some entries whose stretchiness has changed] | [fred] New patch pushed: [http://hg.mozilla.org/mozilla-central/rev/77e3880307ea update some entries whose stretchiness has changed] | ||
== Embellished operators == | |||
There are specific stretchy rules for [http://www.w3.org/TR/MathML3/chapter3.html#id.3.2.5.7.3 embellished operators] that should be implemented. The remaining elements that we do not treat as embellished operators are: | |||
* first element of a semantics | |||
* mstyle, mphantom, or mpadded used as mrow. | |||
* mrow whose arguments consist (in any order) of one embellished operator and | |||
zero or more space-like elements. | |||
See {{bug|21479}}. | |||
[fred] New patch pushed: [http://hg.mozilla.org/mozilla-central/rev/23f53ef7a5b4 first element of a semantics] | |||
== Diagonal direction == | == Diagonal direction == | ||