MathML:Stretchy: Difference between revisions

dictionary, heuristic rules, embellished op
No edit summary
(dictionary, heuristic rules, embellished op)
Line 8: Line 8:
See {{bug|584332}}
See {{bug|584332}}


== Update MathML Operator Dictionary ==
== Operator dictionary and heuristic rules for the operator form ==


See {{bug|534970}}
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.


==  Heuristic rules for the form attribute ==
[fred] The operator dictionary uses [http://hg.mozilla.org/mozilla-central/rev/4f08c0415dad the new syntax of MathML3]


See {{bug|562460}}
[fred] Our private "direction" property is [http://hg.mozilla.org/mozilla-central/rev/16fd52fea1aa available for any operators]
 
[fred] New patch pushed: [http://hg.mozilla.org/mozilla-central/rev/170dc0922c23 remove infix entries for N-ary Union and Intersection]
 
[fred] New patch pushed: [http://hg.mozilla.org/mozilla-central/rev/8ddb819c17fd add entries for vertical and horizontal arrows]
 
[fred] New patch pushed: [http://hg.mozilla.org/mozilla-central/rev/7aee654600f2 add entries for stretchy fences]
 
[fred] New patch pushed: [http://hg.mozilla.org/mozilla-central/rev/4428b9c468cd make operator with a stretchy form use the same direction for all their forms]
 
[fred] New patch pushed: [http://hg.mozilla.org/mozilla-central/rev/8a52e79553b6 add private data "integral"]
 
[fred] New patch pushed: [http://hg.mozilla.org/mozilla-central/rev/77e3880307ea update some entries whose stretchiness has changed]
 
 
See {{bug|534970}} and {{bug|562460}}


==  Embellished operators ==
==  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.


See {{bug|21479}}
See {{bug|21479}}
Confirmed users
226

edits