##
## The contents of this file are subject to the Mozilla Public           
## License Version 1.1 (the "License"); you may not use this file        
## except in compliance with the License. You may obtain a copy of       
## the License at http://www.mozilla.org/MPL/                            
##                                                                       
## Software distributed under the License is distributed on an "AS       
## IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or            
## implied. See the License for the specific language governing          
## rights and limitations under the License.                             
##                                                                       
## The Original Code is Mozilla MathML Project.                          
##                                                                       
## The Initial Developer of the Original Code is The University Of       
## Queensland.  Portions created by The University Of Queensland are     
## Copyright (C) 2001 The University Of Queensland.  All Rights Reserved.
##                                                                       
## Contributor(s):                                                       
##   Roger B. Sidje <rbs@maths.uq.edu.au>                                
##

#  LOCALIZATION NOTE: FILE
#  Do not translate anything in this file

# Ordered list of fonts with which to attempt to stretch MathML characters.
# See the documentation at the end of this file for details on the setup of
# the property file associated to each font. This order can be overriden
# with CSS (by setting the font-family in ":-moz-math-font-style-stretchy").

mathfont.1 = CMSY10
mathfont.2 = CMEX10
mathfont.3 = MT Extra
mathfont.4 = Math4
mathfont.5 = Symbol

# Stretchy characters that have their preferred extension fonts.
# - The ".variants" represents the font where to look for glyph of larger 
# sizes. Note that if the font specified for a given character is installed
# on the user' system, no other alternate font will be used to attempt to
# stretch that particular character. The declaration is ignored if the font
# is not installed.
# - The ".parts" represents the font that should be used to look for the
# partial glyphs to be used to build up the character. Note that if the specified
# font is installed on the user' system, no other alternate font will be used
# to attempt to stretch that particular character. The declaration is ignored
# if the font is not installed.
# Only one font can be listed per entry, using the Unicode format of
# the character. A character can request different fonts for its variants
# and for its parts.

extension.\u221A.variants = CMEX10
extension.\u221A.parts    = CMEX10

extension.\uF612.parts    = CMEX10
extension.\uF613.parts    = CMEX10

# Operator Dictionary indexed on the "form" (i.e., infix, prefix, or suffix).
# Each entry lists the attributes of the operator, using its Unicode format.

operator.\u0028.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # (
operator.\u0029.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # )
operator.\u005B.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # [
operator.\u005D.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ]
operator.\u007B.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # {
operator.\u007D.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # }
operator.\u201D.postfix = fence:true lspace:0em rspace:0em # &CloseCurlyDoubleQuote;
operator.\u2019.postfix = fence:true lspace:0em rspace:0em # &CloseCurlyQuote;
operator.\u3008.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftAngleBracket;
operator.\uF603.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftBracketingBar;
operator.\u2308.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftCeiling;
operator.\u301A.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftDoubleBracket;
operator.\uF605.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftDoubleBracketingBar;
operator.\u230A.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftFloor;
operator.\u201C.prefix = fence:true lspace:0em rspace:0em # &OpenCurlyDoubleQuote;
operator.\u2018.prefix = fence:true lspace:0em rspace:0em # &OpenCurlyQuote;
operator.\u3009.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightAngleBracket;
operator.\uF604.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightBracketingBar;
operator.\u2309.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightCeiling;
operator.\u301B.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightDoubleBracket;
operator.\uF606.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightDoubleBracketingBar;
operator.\u230B.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightFloor;
operator.\uE850.prefix = fence:true lspace:0em rspace:0em # &LeftSkeleton;
operator.\uE851.postfix = fence:true lspace:0em rspace:0em # &RightSkeleton;
operator.\uE89C.infix = separator:true lspace:0em rspace:0em # &InvisibleComma;
operator.\u002C.infix = separator:true lspace:0em rspace:0.33333em # ,
operator.\uE859.infix = stretchy:horizontal lspace:0em rspace:0em # &HorizontalLine;
operator.\uE85A.infix = stretchy:vertical lspace:0em rspace:0em # &VerticalLine;
operator.\u003B.infix = separator:true lspace:0em rspace:0.27777em # ;
operator.\u003B.postfix = separator:true lspace:0em rspace:0em # ;
operator.\u003A\u003D.infix = lspace:0.27777em rspace:0.27777em # :=
operator.\uE85B.infix = lspace:0.27777em rspace:0.27777em # &Assign;
operator.\u2235.infix = lspace:0.27777em rspace:0.27777em # &Because;
operator.\u2234.infix = lspace:0.27777em rspace:0.27777em # &Therefore;
operator.\uE85C.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &VerticalSeparator;
operator.\u002F\u002F.infix = lspace:0.27777em rspace:0.27777em # //
operator.\u2237.infix = lspace:0.27777em rspace:0.27777em # &Colon; &Proportion;
operator.\u0026.prefix = lspace:0em rspace:0.27777em # &amp;
operator.\u0026.postfix = lspace:0.27777em rspace:0em # &amp;
operator.\u002A\u003D.infix = lspace:0.27777em rspace:0.27777em # *=
operator.\u002D\u003D.infix = lspace:0.27777em rspace:0.27777em # -=
operator.\u002B\u003D.infix = lspace:0.27777em rspace:0.27777em # +=
operator.\u002F\u003D.infix = lspace:0.27777em rspace:0.27777em # /=
operator.\u002D\u003E.infix = lspace:0.27777em rspace:0.27777em # ->
operator.\u003A.infix = lspace:0.27777em rspace:0.27777em # :
operator.\u002E\u002E.postfix = lspace:0.22222em rspace:0em # ..
operator.\u002E\u002E\u002E.postfix = lspace:0.22222em rspace:0em # ...
operator.\u220B.infix = lspace:0.27777em rspace:0.27777em # &SuchThat; &ReverseElement;
operator.\uE30F.infix = lspace:0.27777em rspace:0.27777em # &DoubleLeftTee;
operator.\u22A8.infix = lspace:0.27777em rspace:0.27777em # &DoubleRightTee;
operator.\u22A4.infix = lspace:0.27777em rspace:0.27777em # &DownTee;
operator.\u22A3.infix = lspace:0.27777em rspace:0.27777em # &LeftTee;
operator.\u22A2.infix = lspace:0.27777em rspace:0.27777em # &RightTee;
operator.\u21D2.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &Implies; &DoubleRightArrow;
operator.\uF524.infix = lspace:0.27777em rspace:0.27777em # &RoundImplies;
operator.\u007C.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # |
operator.\u007C\u007C.infix = lspace:0.22222em rspace:0.22222em # ||
operator.\uE375.infix = lspace:0.22222em rspace:0.22222em # &Or;
operator.\u0026\u0026.infix = lspace:0.27777em rspace:0.27777em # &amp;&amp;
operator.\uE374.infix = lspace:0.22222em rspace:0.22222em # &And;
operator.\u0026.infix = lspace:0.27777em rspace:0.27777em # &amp;
operator.\u0021.prefix = lspace:0em rspace:0.27777em # !
operator.\uE3AC.prefix = lspace:0em rspace:0.27777em # &Not;
operator.\u2203.prefix = lspace:0em rspace:0.27777em # &Exists;
operator.\u2200.prefix = lspace:0em rspace:0.27777em # &ForAll;
operator.\u2204.prefix = lspace:0em rspace:0.27777em # &NotExists;
operator.\u2208.infix = lspace:0.27777em rspace:0.27777em # &Element;
operator.\u2209.infix = lspace:0.27777em rspace:0.27777em # &NotElement;
operator.\u220C.infix = lspace:0.27777em rspace:0.27777em # &NotReverseElement;
operator.\uE604.infix = lspace:0.27777em rspace:0.27777em # &NotSquareSubset;
operator.\u22E2.infix = lspace:0.27777em rspace:0.27777em # &NotSquareSubsetEqual;
operator.\uE615.infix = lspace:0.27777em rspace:0.27777em # &NotSquareSuperset;
operator.\u22E3.infix = lspace:0.27777em rspace:0.27777em # &NotSquareSupersetEqual;
operator.\u2284.infix = lspace:0.27777em rspace:0.27777em # &NotSubset;
operator.\u2288.infix = lspace:0.27777em rspace:0.27777em # &NotSubsetEqual;
operator.\u2285.infix = lspace:0.27777em rspace:0.27777em # &NotSuperset;
operator.\u2289.infix = lspace:0.27777em rspace:0.27777em # &NotSupersetEqual;
operator.\u228F.infix = lspace:0.27777em rspace:0.27777em # &SquareSubset;
operator.\u2291.infix = lspace:0.27777em rspace:0.27777em # &SquareSubsetEqual;
operator.\u2290.infix = lspace:0.27777em rspace:0.27777em # &SquareSuperset;
operator.\u2292.infix = lspace:0.27777em rspace:0.27777em # &SquareSupersetEqual;
operator.\u22D0.infix = lspace:0.27777em rspace:0.27777em # &Subset;
operator.\u2286.infix = lspace:0.27777em rspace:0.27777em # &SubsetEqual;
operator.\u2283.infix = lspace:0.27777em rspace:0.27777em # &Superset;
operator.\u2287.infix = lspace:0.27777em rspace:0.27777em # &SupersetEqual;
operator.\u21D0.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &DoubleLeftArrow;
operator.\u21D4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &DoubleLeftRightArrow;
operator.\uF50B.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownLeftRightVector;
operator.\uF50E.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownLeftTeeVector;
operator.\u21BD.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownLeftVector;
operator.\uF50C.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownLeftVectorBar;
operator.\uF50F.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownRightTeeVector;
operator.\u21C1.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownRightVector;
operator.\uF50D.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownRightVectorBar;
operator.\u2190.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftArrow;
operator.\u21E4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftArrowBar;
operator.\u21C6.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftArrowRightArrow;
operator.\u2194.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftRightArrow;
operator.\uF505.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftRightVector;
operator.\u21A4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftTeeArrow;
operator.\uF509.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftTeeVector;
operator.\u21BC.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftVector;
operator.\uF507.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftVectorBar;
operator.\u2199.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LowerLeftArrow;
operator.\u2198.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LowerRightArrow;
operator.\u2192.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightArrow;
operator.\u21E5.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightArrowBar;
operator.\u21C4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightArrowLeftArrow;
operator.\u21A6.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightTeeArrow;
operator.\uF50A.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightTeeVector;
operator.\u21C0.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightVector;
operator.\uF508.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightVectorBar;
operator.\uE233.infix = lspace:0.27777em rspace:0.27777em # &ShortLeftArrow;
operator.\uE232.infix = lspace:0.27777em rspace:0.27777em # &ShortRightArrow;
operator.\u2196.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &UpperLeftArrow;
operator.\u2197.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &UpperRightArrow;
operator.\u003D.infix = lspace:0.27777em rspace:0.27777em # =
operator.\u003C.infix = lspace:0.27777em rspace:0.27777em # &lt;
operator.\u003E.infix = lspace:0.27777em rspace:0.27777em # >
operator.\u0021\u003D.infix = lspace:0.27777em rspace:0.27777em # !=
operator.\u003D\u003D.infix = lspace:0.27777em rspace:0.27777em # ==
operator.\u003C\u003D.infix = lspace:0.27777em rspace:0.27777em # &lt;=
operator.\u003E\u003D.infix = lspace:0.27777em rspace:0.27777em # >=
operator.\u2261.infix = lspace:0.27777em rspace:0.27777em # &Congruent;
operator.\u224D.infix = lspace:0.27777em rspace:0.27777em # &CupCap;
operator.\u2250.infix = lspace:0.27777em rspace:0.27777em # &DotEqual;
operator.\u2225.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DoubleVerticalBar;
operator.\uF431.infix = lspace:0.27777em rspace:0.27777em # &Equal;
operator.\u2242.infix = lspace:0.27777em rspace:0.27777em # &EqualTilde;
operator.\u21CC.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &Equilibrium;
operator.\u2265.infix = lspace:0.27777em rspace:0.27777em # &GreaterEqual;
operator.\u22DB.infix = lspace:0.27777em rspace:0.27777em # &GreaterEqualLess;
operator.\u2267.infix = lspace:0.27777em rspace:0.27777em # &GreaterFullEqual;
operator.\uE2F7.infix = lspace:0.27777em rspace:0.27777em # &GreaterGreater;
operator.\u2277.infix = lspace:0.27777em rspace:0.27777em # &GreaterLess;
operator.\uE2F6.infix = lspace:0.27777em rspace:0.27777em # &GreaterSlantEqual;
operator.\u2273.infix = lspace:0.27777em rspace:0.27777em # &GreaterTilde;
operator.\u224E.infix = lspace:0.27777em rspace:0.27777em # &HumpDownHump;
operator.\u224F.infix = lspace:0.27777em rspace:0.27777em # &HumpEqual;
operator.\u22B2.infix = lspace:0.27777em rspace:0.27777em # &LeftTriangle;
operator.\uF410.infix = lspace:0.27777em rspace:0.27777em # &LeftTriangleBar;
operator.\u22B4.infix = lspace:0.27777em rspace:0.27777em # &LeftTriangleEqual;
operator.\u2264.infix = lspace:0.27777em rspace:0.27777em # &le;
operator.\u22DA.infix = lspace:0.27777em rspace:0.27777em # &LessEqualGreater;
operator.\u2266.infix = lspace:0.27777em rspace:0.27777em # &LessFullEqual;
operator.\u2276.infix = lspace:0.27777em rspace:0.27777em # &LessGreater;
operator.\uE2FB.infix = lspace:0.27777em rspace:0.27777em # &LessLess;
operator.\uE2FA.infix = lspace:0.27777em rspace:0.27777em # &LessSlantEqual;
operator.\u2272.infix = lspace:0.27777em rspace:0.27777em # &LessTilde;
operator.\u226B.infix = lspace:0.27777em rspace:0.27777em # &NestedGreaterGreater;
operator.\u226A.infix = lspace:0.27777em rspace:0.27777em # &NestedLessLess;
operator.\u2262.infix = lspace:0.27777em rspace:0.27777em # &NotCongruent;
operator.\u226D.infix = lspace:0.27777em rspace:0.27777em # &NotCupCap;
operator.\u2226.infix = lspace:0.27777em rspace:0.27777em # &NotDoubleVerticalBar;
operator.\u2260.infix = lspace:0.27777em rspace:0.27777em # &NotEqual;
operator.\uE84E.infix = lspace:0.27777em rspace:0.27777em # &NotEqualTilde;
operator.\u226F.infix = lspace:0.27777em rspace:0.27777em # &NotGreater;
operator.\uE2A6.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterEqual;
operator.\u2270.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterFullEqual; &NotLessSlantEqual;
operator.\uE2CC.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterGreater;
operator.\u2279.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterLess;
operator.\u2271.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterSlantEqual;
operator.\u2275.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterTilde;
operator.\uE616.infix = lspace:0.27777em rspace:0.27777em # &NotHumpDownHump;
operator.\uE84D.infix = lspace:0.27777em rspace:0.27777em # &NotHumpEqual;
operator.\u22EA.infix = lspace:0.27777em rspace:0.27777em # &NotLeftTriangle;
operator.\uF412.infix = lspace:0.27777em rspace:0.27777em # &NotLeftTriangleBar;
operator.\u22EC.infix = lspace:0.27777em rspace:0.27777em # &NotLeftTriangleEqual;
operator.\u226E.infix = lspace:0.27777em rspace:0.27777em # &NotLess;
operator.\uE2A7.infix = lspace:0.27777em rspace:0.27777em # &NotLessEqual;
operator.\u2278.infix = lspace:0.27777em rspace:0.27777em # &NotLessGreater;
operator.\uE2CB.infix = lspace:0.27777em rspace:0.27777em # &NotLessLess;
operator.\u2274.infix = lspace:0.27777em rspace:0.27777em # &NotLessTilde;
operator.\uF428.infix = lspace:0.27777em rspace:0.27777em # &NotNestedGreaterGreater;
operator.\uF423.infix = lspace:0.27777em rspace:0.27777em # &NotNestedLessLess;
operator.\u2280.infix = lspace:0.27777em rspace:0.27777em # &NotPrecedes;
operator.\uE5DC.infix = lspace:0.27777em rspace:0.27777em # &NotPrecedesEqual;
operator.\u22E0.infix = lspace:0.27777em rspace:0.27777em # &NotPrecedesSlantEqual;
operator.\u22EB.infix = lspace:0.27777em rspace:0.27777em # &NotRightTriangle;
operator.\uF413.infix = lspace:0.27777em rspace:0.27777em # &NotRightTriangleBar;
operator.\u22ED.infix = lspace:0.27777em rspace:0.27777em # &NotRightTriangleEqual;
operator.\u2281.infix = lspace:0.27777em rspace:0.27777em # &NotSucceeds;
operator.\uE5F1.infix = lspace:0.27777em rspace:0.27777em # &NotSucceedsEqual;
operator.\u22E1.infix = lspace:0.27777em rspace:0.27777em # &NotSucceedsSlantEqual;
operator.\uE837.infix = lspace:0.27777em rspace:0.27777em # &NotSucceedsTilde;
operator.\u2241.infix = lspace:0.27777em rspace:0.27777em # &NotTilde;
operator.\u2244.infix = lspace:0.27777em rspace:0.27777em # &NotTildeEqual;
operator.\u2247.infix = lspace:0.27777em rspace:0.27777em # &NotTildeFullEqual;
operator.\u2249.infix = lspace:0.27777em rspace:0.27777em # &NotTildeTilde;
operator.\u2224.infix = lspace:0.27777em rspace:0.27777em # &NotVerticalBar;
operator.\u227A.infix = lspace:0.27777em rspace:0.27777em # &Precedes;
operator.\uE2FE.infix = lspace:0.27777em rspace:0.27777em # &PrecedesEqual;
operator.\u227C.infix = lspace:0.27777em rspace:0.27777em # &PrecedesSlantEqual;
operator.\u227E.infix = lspace:0.27777em rspace:0.27777em # &PrecedesTilde;
operator.\u221D.infix = lspace:0.27777em rspace:0.27777em # &Proportional;
operator.\u21CB.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &ReverseEquilibrium;
operator.\u22B3.infix = lspace:0.27777em rspace:0.27777em # &RightTriangle;
operator.\uF411.infix = lspace:0.27777em rspace:0.27777em # &RightTriangleBar;
operator.\u22B5.infix = lspace:0.27777em rspace:0.27777em # &RightTriangleEqual;
operator.\u227B.infix = lspace:0.27777em rspace:0.27777em # &Succeeds;
operator.\u227D.infix = lspace:0.27777em rspace:0.27777em # &SucceedsEqual; &SucceedsSlantEqual;
operator.\u227F.infix = lspace:0.27777em rspace:0.27777em # &SucceedsTilde;
operator.\u223C.infix = lspace:0.27777em rspace:0.27777em # &Tilde;
operator.\u2243.infix = lspace:0.27777em rspace:0.27777em # &TildeEqual;
operator.\u2245.infix = lspace:0.27777em rspace:0.27777em # &TildeFullEqual;
operator.\u2248.infix = lspace:0.27777em rspace:0.27777em # &TildeTilde;
operator.\u22A5.infix = lspace:0.27777em rspace:0.27777em # &UpTee;
operator.\u2223.infix = lspace:0.27777em rspace:0.27777em # &VerticalBar;
operator.\u2294.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &SquareUnion;
operator.\u22C3.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &Union;
operator.\u228E.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &UnionPlus;
operator.\u002D.infix = lspace:0.22222em rspace:0.22222em # -
operator.\u002B.infix = lspace:0.22222em rspace:0.22222em # +
operator.\u22C2.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &Intersection;
operator.\u2213.infix = lspace:0.22222em rspace:0.22222em # &MinusPlus;
operator.\u00B1.infix = lspace:0.22222em rspace:0.22222em # &PlusMinus;
operator.\u2293.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &SquareIntersection;
operator.\u22C1.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Vee;
operator.\u2296.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # &CircleMinus;
operator.\u2295.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # &CirclePlus;
operator.\u2211.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Sum;
operator.\u22C3.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Union;
operator.\u228E.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &UnionPlus;
operator.\u006C\u0069\u006D.prefix = movablelimits:true lspace:0em rspace:0.16666em # lim
operator.\u006D\u0061\u0078.prefix = movablelimits:true lspace:0em rspace:0.16666em # max
operator.\u006D\u0069\u006E.prefix = movablelimits:true lspace:0em rspace:0.16666em # min
operator.\u2296.infix = lspace:0.16666em rspace:0.16666em # &CircleMinus;
operator.\u2295.infix = lspace:0.16666em rspace:0.16666em # &CirclePlus;
operator.\u2232.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &ClockwiseContourIntegral;
operator.\u222E.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &ContourIntegral;
operator.\u2233.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &CounterClockwiseContourIntegral;
operator.\u222F.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &DoubleContourIntegral;
operator.\u222B.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &Integral;
operator.\u22D3.infix = lspace:0.16666em rspace:0.16666em # &Cup;
operator.\u22D2.infix = lspace:0.16666em rspace:0.16666em # &Cap;
operator.\u2240.infix = lspace:0.16666em rspace:0.16666em # &VerticalTilde;
operator.\u22C0.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Wedge;
operator.\u2297.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # &CircleTimes;
operator.\u2210.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Coproduct;
operator.\u220F.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Product;
operator.\u22C2.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Intersection;
operator.\u2210.infix = lspace:0.16666em rspace:0.16666em # &Coproduct;
operator.\u22C6.infix = lspace:0.16666em rspace:0.16666em # &Star;
operator.\u2299.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # &CircleDot;
operator.\u002A.infix = lspace:0.16666em rspace:0.16666em # *
operator.\uE89E.infix = lspace:0em rspace:0em # &InvisibleTimes;
operator.\u00B7.infix = lspace:0.16666em rspace:0.16666em # &CenterDot;
operator.\u2297.infix = lspace:0.16666em rspace:0.16666em # &CircleTimes;
operator.\u22C1.infix = lspace:0.16666em rspace:0.16666em # &Vee;
operator.\u22C0.infix = lspace:0.16666em rspace:0.16666em # &Wedge;
operator.\u22C4.infix = lspace:0.16666em rspace:0.16666em # &Diamond;
operator.\u2216.infix = stretchy:vertical lspace:0.16666em rspace:0.16666em # &Backslash;
operator.\u002F.infix = stretchy:vertical lspace:0.16666em rspace:0.16666em # /
operator.\u002D.prefix = lspace:0em rspace:0.05555em # -
operator.\u002B.prefix = lspace:0em rspace:0.05555em # +
operator.\u2213.prefix = lspace:0em rspace:0.05555em # &MinusPlus;
operator.\u00B1.prefix = lspace:0em rspace:0.05555em # &PlusMinus;
operator.\u002E.infix = lspace:0em rspace:0em # .
operator.\uE619.infix = lspace:0.11111em rspace:0.11111em # &Cross;
operator.\u002A\u002A.infix = lspace:0.11111em rspace:0.11111em # **
operator.\u2299.infix = lspace:0.11111em rspace:0.11111em # &CircleDot;
operator.\u2218.infix = lspace:0.11111em rspace:0.11111em # &SmallCircle;
operator.\u25A1.prefix = lspace:0em rspace:0.11111em # &Square;
operator.\u2207.prefix = lspace:0em rspace:0.11111em # &Del;
operator.\u2202.prefix = lspace:0em rspace:0.11111em # &PartialD;
operator.\uF74B.prefix = lspace:0em rspace:0.11111em # &CapitalDifferentialD;
operator.\uF74C.prefix = lspace:0em rspace:0.11111em # &DifferentialD;
operator.\u221A.prefix = stretchy:vertical lspace:0em rspace:0.11111em # &Sqrt;
operator.\u21D3.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DoubleDownArrow;
operator.\uE200.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &DoubleLongLeftArrow;
operator.\uE202.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &DoubleLongLeftRightArrow;
operator.\uE204.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &DoubleLongRightArrow;
operator.\u21D1.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DoubleUpArrow;
operator.\u21D5.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DoubleUpDownArrow;
operator.\u2193.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DownArrow;
operator.\uF504.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DownArrowBar;
operator.\uE216.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DownArrowUpArrow;
operator.\u21A7.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DownTeeArrow;
operator.\uF519.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftDownTeeVector;
operator.\u21C3.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftDownVector;
operator.\uF517.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftDownVectorBar;
operator.\uF515.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftUpDownVector;
operator.\uF518.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftUpTeeVector;
operator.\u21BF.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftUpVector;
operator.\uF516.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftUpVectorBar;
operator.\uE201.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &LongLeftArrow;
operator.\uE203.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &LongLeftRightArrow;
operator.\uE205.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &LongRightArrow;
operator.\uE217.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &ReverseUpEquilibrium;
operator.\uF514.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightDownTeeVector;
operator.\u21C2.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightDownVector;
operator.\uF512.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightDownVectorBar;
operator.\uF510.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightUpDownVector;
operator.\uF513.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightUpTeeVector;
operator.\u21BE.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightUpVector;
operator.\uF511.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightUpVectorBar;
operator.\uE87F.infix = lspace:0.11111em rspace:0.11111em # &ShortDownArrow;
operator.\uE880.infix = lspace:0.11111em rspace:0.11111em # &ShortUpArrow;
operator.\u2191.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpArrow;
operator.\uF503.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpArrowBar;
operator.\u21C5.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpArrowDownArrow;
operator.\u2195.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpDownArrow;
operator.\uE218.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpEquilibrium;
operator.\u21A5.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpTeeArrow;
operator.\u005E.infix = lspace:0.11111em rspace:0.11111em # ^
operator.\u003C\u003E.infix = lspace:0.11111em rspace:0.11111em # &lt;>
operator.\u0027.postfix = lspace:0.11111em rspace:0em # '
operator.\u0021.postfix = lspace:0.11111em rspace:0em # !
operator.\u0021\u0021.postfix = lspace:0.11111em rspace:0em # !!
operator.\u007E.infix = lspace:0.11111em rspace:0.11111em # ~
operator.\u0040.infix = lspace:0.11111em rspace:0.11111em # @
operator.\u002D\u002D.postfix = lspace:0.11111em rspace:0em # --
operator.\u002D\u002D.prefix = lspace:0em rspace:0.11111em # --
operator.\u002B\u002B.postfix = lspace:0.11111em rspace:0em # ++
operator.\u002B\u002B.prefix = lspace:0em rspace:0.11111em # ++
operator.\uE8A0.infix = lspace:0em rspace:0em # &ApplyFunction;
operator.\u003F.infix = lspace:0.11111em rspace:0.11111em # ?
operator.\u005F.infix = lspace:0.11111em rspace:0.11111em # _
operator.\u02D8.postfix = accent:true lspace:0em rspace:0em # &Breve;
operator.\u00B8.postfix = accent:true lspace:0em rspace:0em # &Cedilla;
operator.\u0060.postfix = accent:true lspace:0em rspace:0em # &DiacriticalGrave;
operator.\u02D9.postfix = accent:true lspace:0em rspace:0em # &DiacriticalDot;
operator.\u02DD.postfix = accent:true lspace:0em rspace:0em # &DiacriticalDoubleAcute;
operator.\u00B4.postfix = accent:true lspace:0em rspace:0em # &DiacriticalAcute;
operator.\u02DC.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalTilde;
operator.\u00A8.postfix = accent:true lspace:0em rspace:0em # &DoubleDot;
operator.\u0311.postfix = accent:true lspace:0em rspace:0em # &DownBreve;
operator.\u02C7.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &Hacek;
operator.\u0302.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &Hat;
operator.\u00AF.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverBar;
operator.\uF612.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverBrace;
operator.\uF614.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverBracket;
operator.\uF610.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverParenthesis;
operator.\u20DB.postfix = accent:true lspace:0em rspace:0em # &TripleDot;
operator.\u0332.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderBar;
operator.\uF613.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderBrace;
operator.\uF615.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderBracket;
operator.\uF611.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderParenthesis;
operator.\u2225.prefix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # &DoubleVerticalBar;
operator.\u2225.postfix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # &DoubleVerticalBar;
operator.\u2223.prefix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # &VerticalBar;
operator.\u2223.postfix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # &VerticalBar;
operator.\u007C.prefix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # |
operator.\u007C.postfix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # |
operator.\u20D7.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20D7;
operator.\u20D6.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20D6;
operator.\u20E1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20E1;
operator.\u20D1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20D1;
operator.\u20D0.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20D0;


##################################################################################
# DOCUMENTATION ON HOW TO SETUP THE PROPERTY FILE ASSOCIATED TO EACH FONT
# More fonts can be supported for stretchy characters by setting up mathfont
# property files as described below.
#
# Each font should have its set of glyph data. For example, the glyph data for
# the "Symbol" font and the "MT Extra" font are in "mathfontSymbol.properties" 
# and "mathfontMTExtra.properties", respectively. The font property file is a
# set of all the stretchy MathML characters that can be rendered with that font
# using larger and/or partial glyphs. Each stretchy character is associated to
# a list in the font property file which gives, in that order, the 4 partial
# glyphs: top (or left), middle, bottom (or right), glue; and the variants of
# bigger sizes (if any). A position that is not relevant to a particular character
# is indicated there with the UNICODE REPLACEMENT CHARACTER 0xFFFD.
#
# Characters that need to be built from other characters are said to be composite.
# For example, characters like over/underbrace in CMEX10 have to be built from two 
# half stretchy chars and joined in the middle (TeXbook, p.225). Several (i.e., 2
# or more) child characters can be composed in order to render another chararacter.
# To specify such characters, their list of glyphs in the property file should be
# given as space-separated segments of glyphs. Each segment gives the 4 partial glyphs
# with which to build the child character that will be joined with its other siblings.
