Confirmed users
729
edits
MathML:OperatorDictionary: Difference between revisions
MXR -> DXR
(operator dictionary) |
(MXR -> DXR) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 2: | Line 2: | ||
* a priority | * a priority | ||
* | * leading and trailing spaces (in 1/18th of em). A value between 0 and 7. | ||
* minsize | * minsize/maxsize | ||
* properties (fence, separator, stretchy, symmetric, largeop, movablelimits, accent). Mentioned iff it is true. | * properties (fence, separator, stretchy, symmetric, largeop, movablelimits, accent, mirrorable). Mentioned iff it is true. | ||
Our implementation uses a [https://developer.mozilla.org/en/XUL_Tutorial/Property_Files property file] with entries similar to what is described above. The property name is <tt>operator.\u[NNNN].[form]</tt> where <tt>[NNNN]</tt> is the unicode code point and <tt>[form]</tt> the operator form. The value of the property is a list of several <tt>AttributeName</tt> or <tt>AttributeName:AttributeValue</tt> (depending whether it is a boolean valued attributes or not) separated by whitespaces. Compared to the MathML3 dictionary, we | Our implementation uses a [https://developer.mozilla.org/en/XUL_Tutorial/Property_Files property file] with entries similar to what is described above. The property name is <tt>operator.\u[NNNN].[form]</tt> where <tt>[NNNN]</tt> is the unicode code point and <tt>[form]</tt> the operator form. The value of the property is a list of several <tt>AttributeName</tt> or <tt>AttributeName:AttributeValue</tt> (depending whether it is a boolean valued attributes or not) separated by whitespaces. Compared to the MathML3 dictionary, we don't include the "priority" attribute but have the additional attribute: | ||
* direction: horizontal, vertical (XXXfred add updiagonal, downdiagonal later?) | * direction: horizontal, vertical (XXXfred add updiagonal, downdiagonal later?) | ||
Finally, the end of the line after a sharp is considered as a comment: we use this to give the glyph or name of the character. Thus, a typical entry is: | Finally, the end of the line after a sharp is considered as a comment: we use this to give the glyph or name of the character. Thus, a typical entry is: | ||
| Line 17: | Line 16: | ||
</pre> | </pre> | ||
Our Operator Dictionary is stored in [ | Our Operator Dictionary is stored in [https://dxr.mozilla.org/mozilla-central/source/layout/mathml/mathfont.properties mathfont.properties]. | ||