MathML:Stretchy: Difference between revisions

m
Line 12: Line 12:
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}}
See {{bug|562460}}


[fred] The operator dictionary uses [http://hg.mozilla.org/mozilla-central/rev/4f08c0415dad the new syntax of MathML3]
Most entries have been upgraded in {{bug|534970}}. The [https://bugzilla.mozilla.org/show_bug.cgi?id=534970#c66 remaining differences] are for some diagonal arrows and bars.
 
[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]


==  [DONE] Embellished operators ==
==  [DONE] Embellished operators ==
Confirmed users
226

edits