View source for MathML:OperatorDictionary

The [http://www.w3.org/TR/MathML3/appendixc.html MathML 3 Operator Dictionary] indexes each operator by a character (an unicode code point) in a given form (prefix, infix or postfix). Each operator has the following [http://www.w3.org/TR/MathML3/chapter3.html#presm.mo.attrs attributes]:

* a priority
* leading and trailing spaces (in 1/18th of em). A value between 0 and 7.
* minsize/maxsize
* 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 don't include the "priority" attribute but have the additional attribute:

* 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:

<pre>
operator.\u0028.prefix = direction:vertical stretchy fence symmetric lspace:0 rspace:0 # (
</pre>

Our Operator Dictionary is stored in [https://dxr.mozilla.org/mozilla-central/source/layout/mathml/mathfont.properties mathfont.properties].