Datasets needed for bug 30543,72161. The MathFont Property Files (the metadata that guide the stretching of mutable MathML characters)

git-svn-id: svn://10.0.0.236/trunk@90529 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
rbs%maths.uq.edu.au
2001-03-27 13:22:03 +00:00
parent e5d967a083
commit bac7e0a892
10 changed files with 1232 additions and 404 deletions

View File

@@ -78,8 +78,11 @@ include $(topsrcdir)/config/rules.mk
install::
$(INSTALL) $(srcdir)/mathfont.properties $(DIST)/bin/res/fonts
$(INSTALL) $(srcdir)/mathfontPUA.properties $(DIST)/bin/res/fonts
$(INSTALL) $(srcdir)/mathfontCMSY10.properties $(DIST)/bin/res/fonts
$(INSTALL) $(srcdir)/mathfontCMEX10.properties $(DIST)/bin/res/fonts
$(INSTALL) $(srcdir)/mathfontMTExtra.properties $(DIST)/bin/res/fonts
$(INSTALL) $(srcdir)/mathfontMath1.properties $(DIST)/bin/res/fonts
$(INSTALL) $(srcdir)/mathfontMath2.properties $(DIST)/bin/res/fonts
$(INSTALL) $(srcdir)/mathfontMath4.properties $(DIST)/bin/res/fonts
$(INSTALL) $(srcdir)/mathfontSymbol.properties $(DIST)/bin/res/fonts

View File

@@ -104,17 +104,23 @@ install:: $(LIBRARY)
install::
$(MAKE_INSTALL) mathfont.properties $(DIST)\bin\res\fonts
$(MAKE_INSTALL) mathfontPUA.properties $(DIST)\bin\res\fonts
$(MAKE_INSTALL) mathfontCMSY10.properties $(DIST)\bin\res\fonts
$(MAKE_INSTALL) mathfontCMEX10.properties $(DIST)\bin\res\fonts
$(MAKE_INSTALL) mathfontMTExtra.properties $(DIST)\bin\res\fonts
$(MAKE_INSTALL) mathfontMath1.properties $(DIST)\bin\res\fonts
$(MAKE_INSTALL) mathfontMath2.properties $(DIST)\bin\res\fonts
$(MAKE_INSTALL) mathfontMath4.properties $(DIST)\bin\res\fonts
$(MAKE_INSTALL) mathfontSymbol.properties $(DIST)\bin\res\fonts
clobber::
rm -f $(DIST)\lib\$(LIBRARY_NAME).lib
rm -f $(DIST)\bin\res\fonts\mathfont.properties
rm -f $(DIST)\bin\res\fonts\mathfontPUA.properties
rm -f $(DIST)\bin\res\fonts\mathfontCMSY10.properties
rm -f $(DIST)\bin\res\fonts\mathfontCMEX10.properties
rm -f $(DIST)\bin\res\fonts\mathfontMTExtra.properties
rm -f $(DIST)\bin\res\fonts\mathfontMath1.properties
rm -f $(DIST)\bin\res\fonts\mathfontMath2.properties
rm -f $(DIST)\bin\res\fonts\mathfontMath4.properties
rm -f $(DIST)\bin\res\fonts\mathfontSymbol.properties

View File

@@ -1,22 +1,22 @@
##
## 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
## 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>
##
## Contributor(s):
## Roger B. Sidje <rbs@maths.uq.edu.au>
##
# LOCALIZATION NOTE: FILE
@@ -29,12 +29,14 @@
mathfont.1 = CMSY10
mathfont.2 = CMEX10
mathfont.3 = MT Extra
mathfont.4 = Math4
mathfont.5 = Symbol
mathfont.3 = Math1
mathfont.4 = Math2
mathfont.5 = Math4
mathfont.6 = MT Extra
mathfont.7 = Symbol
# Stretchy characters that have their preferred extension fonts.
# - The ".variants" represents the font where to look for glyph of larger
# - 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
@@ -48,11 +50,13 @@ mathfont.5 = Symbol
# the character. A character can request different fonts for its variants
# and for its parts.
# CMEX10 is preferred for Sqrt
extension.\u221A.variants = CMEX10
extension.\u221A.parts = CMEX10
extension.\uF612.parts = CMEX10
extension.\uF613.parts = CMEX10
# CMEX10 is preferred for OverBrace and UnderBrace
extension.\uFE37.parts = CMEX10
extension.\uFE38.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.
@@ -65,347 +69,358 @@ 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.\u2329.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftAngleBracket;
# UNRESOLVED operator.&LeftBracketingBar;.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;
# UNRESOLVED operator.&LeftDoubleBracketingBar;.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.\u232A.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightAngleBracket;
# UNRESOLVED operator.&RightBracketingBar;.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;
# UNRESOLVED operator.&RightDoubleBracketingBar;.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 # ;
# UNRESOLVED operator.&LeftSkeleton;.prefix = fence:true lspace:0em rspace:0em # &LeftSkeleton;
# UNRESOLVED operator.&RightSkeleton;.postfix = fence:true lspace:0em rspace:0em # &RightSkeleton;
operator.\u200B.infix = separator:true lspace:0em rspace:0em # &InvisibleComma;
operator.\u002C.infix = separator:true lspace:0em rspace:verythickmathspace # ,
operator.\u2500.infix = stretchy:horizontal minsize:0 lspace:0em rspace:0em # &HorizontalLine;
operator.\u007C.infix = stretchy:vertical minsize:0 lspace:0em rspace:0em # &VerticalLine; |
operator.\u003B.infix = separator:true lspace:0em rspace:thickmathspace # ;
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.\u003A\u003D.infix = lspace:thickmathspace rspace:thickmathspace # :=
operator.\u2254.infix = lspace:thickmathspace rspace:thickmathspace # &Assign;
operator.\u2235.infix = lspace:thickmathspace rspace:thickmathspace # &Because;
operator.\u2234.infix = lspace:thickmathspace rspace:thickmathspace # &Therefore;
operator.\u2758.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # &VerticalSeparator;
operator.\u002F\u002F.infix = lspace:thickmathspace rspace:thickmathspace # //
operator.\u2237.infix = lspace:thickmathspace rspace:thickmathspace # &Colon; &Proportion;
operator.\u0026.prefix = lspace:0em rspace:thickmathspace # &amp;
operator.\u0026.postfix = lspace:thickmathspace rspace:0em # &amp;
operator.\u002A\u003D.infix = lspace:thickmathspace rspace:thickmathspace # *=
operator.\u002D\u003D.infix = lspace:thickmathspace rspace:thickmathspace # -=
operator.\u002B\u003D.infix = lspace:thickmathspace rspace:thickmathspace # +=
operator.\u002F\u003D.infix = lspace:thickmathspace rspace:thickmathspace # /=
operator.\u002D\u003E.infix = lspace:thickmathspace rspace:thickmathspace # ->
operator.\u003A.infix = lspace:thickmathspace rspace:thickmathspace # :
operator.\u002E\u002E.postfix = lspace:mediummathspace rspace:0em # ..
operator.\u002E\u002E\u002E.postfix = lspace:mediummathspace rspace:0em # ...
operator.\u220B.infix = lspace:thickmathspace rspace:thickmathspace # &SuchThat; &ReverseElement;
operator.\u2AE4.infix = lspace:thickmathspace rspace:thickmathspace # &DoubleLeftTee;
operator.\u22A8.infix = lspace:thickmathspace rspace:thickmathspace # &DoubleRightTee;
operator.\u22A4.infix = lspace:thickmathspace rspace:thickmathspace # &DownTee;
operator.\u22A3.infix = lspace:thickmathspace rspace:thickmathspace # &LeftTee;
operator.\u22A2.infix = lspace:thickmathspace rspace:thickmathspace # &RightTee;
operator.\u21D2.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &Implies; &DoubleRightArrow;
operator.\u2970.infix = lspace:thickmathspace rspace:thickmathspace # &RoundImplies;
operator.\u007C\u007C.infix = lspace:mediummathspace rspace:mediummathspace # ||
operator.\u2A54.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # &Or;
operator.\u0026\u0026.infix = lspace:thickmathspace rspace:thickmathspace # &amp;&amp;
operator.\u2A53.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # &And;
operator.\u0026.infix = lspace:thickmathspace rspace:thickmathspace # &amp;
operator.\u0021.prefix = lspace:0em rspace:thickmathspace # !
operator.\u2AEC.prefix = lspace:0em rspace:thickmathspace # &Not;
operator.\u2203.prefix = lspace:0em rspace:thickmathspace # &Exists;
operator.\u2200.prefix = lspace:0em rspace:thickmathspace # &ForAll;
operator.\u2204.prefix = lspace:0em rspace:thickmathspace # &NotExists;
operator.\u2208.infix = lspace:thickmathspace rspace:thickmathspace # &Element;
operator.\u2209.infix = lspace:thickmathspace rspace:thickmathspace # &NotElement;
operator.\u220C.infix = lspace:thickmathspace rspace:thickmathspace # &NotReverseElement;
operator.\uEF1C.infix = lspace:thickmathspace rspace:thickmathspace # &NotSquareSubset;
operator.\u22E2.infix = lspace:thickmathspace rspace:thickmathspace # &NotSquareSubsetEqual;
operator.\uEF1D.infix = lspace:thickmathspace rspace:thickmathspace # &NotSquareSuperset;
operator.\u22E3.infix = lspace:thickmathspace rspace:thickmathspace # &NotSquareSupersetEqual;
operator.\u2284.infix = lspace:thickmathspace rspace:thickmathspace # &NotSubset;
operator.\u2288.infix = lspace:thickmathspace rspace:thickmathspace # &NotSubsetEqual;
operator.\u2285.infix = lspace:thickmathspace rspace:thickmathspace # &NotSuperset;
operator.\u2289.infix = lspace:thickmathspace rspace:thickmathspace # &NotSupersetEqual;
operator.\u228F.infix = lspace:thickmathspace rspace:thickmathspace # &SquareSubset;
operator.\u2291.infix = lspace:thickmathspace rspace:thickmathspace # &SquareSubsetEqual;
operator.\u2290.infix = lspace:thickmathspace rspace:thickmathspace # &SquareSuperset;
operator.\u2292.infix = lspace:thickmathspace rspace:thickmathspace # &SquareSupersetEqual;
operator.\u22D0.infix = lspace:thickmathspace rspace:thickmathspace # &Subset;
operator.\u2286.infix = lspace:thickmathspace rspace:thickmathspace # &SubsetEqual;
operator.\u2283.infix = lspace:thickmathspace rspace:thickmathspace # &Superset;
operator.\u2287.infix = lspace:thickmathspace rspace:thickmathspace # &SupersetEqual;
operator.\u21D0.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &DoubleLeftArrow;
operator.\u21D4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &DoubleLeftRightArrow;
operator.\u2950.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &DownLeftRightVector;
operator.\u295E.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &DownLeftTeeVector;
operator.\u21BD.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &DownLeftVector;
operator.\u2956.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &DownLeftVectorBar;
operator.\u295F.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &DownRightTeeVector;
operator.\u21C1.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &DownRightVector;
operator.\u2957.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &DownRightVectorBar;
operator.\u2190.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LeftArrow;
operator.\u21E4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LeftArrowBar;
operator.\u21C6.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LeftArrowRightArrow;
operator.\u2194.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LeftRightArrow;
operator.\u294E.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LeftRightVector;
operator.\u21A4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LeftTeeArrow;
operator.\u295A.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LeftTeeVector;
operator.\u21BC.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LeftVector;
operator.\u2952.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LeftVectorBar;
operator.\u2199.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LowerLeftArrow;
operator.\u2198.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &LowerRightArrow;
operator.\u2192.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &RightArrow;
operator.\u21E5.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &RightArrowBar;
operator.\u21C4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &RightArrowLeftArrow;
operator.\u21A6.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &RightTeeArrow;
operator.\u295B.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &RightTeeVector;
operator.\u21C0.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &RightVector;
operator.\u2953.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &RightVectorBar;
operator.\uEEF7.infix = lspace:thickmathspace rspace:thickmathspace # &ShortLeftArrow;
operator.\uEEF8.infix = lspace:thickmathspace rspace:thickmathspace # &ShortRightArrow;
operator.\u2196.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # &UpperLeftArrow;
operator.\u2197.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # &UpperRightArrow;
operator.\u003D.infix = lspace:thickmathspace rspace:thickmathspace # =
operator.\u003C.infix = lspace:thickmathspace rspace:thickmathspace # &lt;
operator.\u003E.infix = lspace:thickmathspace rspace:thickmathspace # >
operator.\u0021\u003D.infix = lspace:thickmathspace rspace:thickmathspace # !=
operator.\u003D\u003D.infix = lspace:thickmathspace rspace:thickmathspace # ==
operator.\u003C\u003D.infix = lspace:thickmathspace rspace:thickmathspace # &lt;=
operator.\u003E\u003D.infix = lspace:thickmathspace rspace:thickmathspace # >=
operator.\u2261.infix = lspace:thickmathspace rspace:thickmathspace # &Congruent;
operator.\u224D.infix = lspace:thickmathspace rspace:thickmathspace # &CupCap;
operator.\u2250.infix = lspace:thickmathspace rspace:thickmathspace # &DotEqual;
operator.\u2225.infix = lspace:thickmathspace rspace:thickmathspace # &DoubleVerticalBar;
operator.\u2A75.infix = lspace:thickmathspace rspace:thickmathspace # &Equal;
operator.\u2242.infix = lspace:thickmathspace rspace:thickmathspace # &EqualTilde;
operator.\u21CC.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &Equilibrium;
operator.\u2265.infix = lspace:thickmathspace rspace:thickmathspace # &GreaterEqual;
operator.\u22DB.infix = lspace:thickmathspace rspace:thickmathspace # &GreaterEqualLess;
operator.\u2267.infix = lspace:thickmathspace rspace:thickmathspace # &GreaterFullEqual;
operator.\u2AA2.infix = lspace:thickmathspace rspace:thickmathspace # &GreaterGreater;
operator.\u2277.infix = lspace:thickmathspace rspace:thickmathspace # &GreaterLess;
operator.\u2A7E.infix = lspace:thickmathspace rspace:thickmathspace # &GreaterSlantEqual;
operator.\u2273.infix = lspace:thickmathspace rspace:thickmathspace # &GreaterTilde;
operator.\u224E.infix = lspace:thickmathspace rspace:thickmathspace # &HumpDownHump;
operator.\u224F.infix = lspace:thickmathspace rspace:thickmathspace # &HumpEqual;
operator.\u22B2.infix = lspace:thickmathspace rspace:thickmathspace # &LeftTriangle;
operator.\u29CF.infix = lspace:thickmathspace rspace:thickmathspace # &LeftTriangleBar;
operator.\u22B4.infix = lspace:thickmathspace rspace:thickmathspace # &LeftTriangleEqual;
operator.\u2264.infix = lspace:thickmathspace rspace:thickmathspace # &le;
operator.\u22DA.infix = lspace:thickmathspace rspace:thickmathspace # &LessEqualGreater;
operator.\u2266.infix = lspace:thickmathspace rspace:thickmathspace # &LessFullEqual;
operator.\u2276.infix = lspace:thickmathspace rspace:thickmathspace # &LessGreater;
operator.\u2AA1.infix = lspace:thickmathspace rspace:thickmathspace # &LessLess;
operator.\u2A7D.infix = lspace:thickmathspace rspace:thickmathspace # &LessSlantEqual;
operator.\u2272.infix = lspace:thickmathspace rspace:thickmathspace # &LessTilde;
operator.\u226B.infix = lspace:thickmathspace rspace:thickmathspace # &NestedGreaterGreater;
operator.\u226A.infix = lspace:thickmathspace rspace:thickmathspace # &NestedLessLess;
operator.\u2262.infix = lspace:thickmathspace rspace:thickmathspace # &NotCongruent;
operator.\u226D.infix = lspace:thickmathspace rspace:thickmathspace # &NotCupCap;
operator.\u2226.infix = lspace:thickmathspace rspace:thickmathspace # &NotDoubleVerticalBar;
operator.\u2260.infix = lspace:thickmathspace rspace:thickmathspace # &NotEqual;
operator.\uEF08.infix = lspace:thickmathspace rspace:thickmathspace # &NotEqualTilde;
operator.\u226F.infix = lspace:thickmathspace rspace:thickmathspace # &NotGreater;
operator.\uEF17.infix = lspace:thickmathspace rspace:thickmathspace # &NotGreaterEqual;
operator.\u2270.infix = lspace:thickmathspace rspace:thickmathspace # &NotGreaterFullEqual; &NotLessSlantEqual;
operator.\uEF15.infix = lspace:thickmathspace rspace:thickmathspace # &NotGreaterGreater;
operator.\u2279.infix = lspace:thickmathspace rspace:thickmathspace # &NotGreaterLess;
operator.\u2271.infix = lspace:thickmathspace rspace:thickmathspace # &NotGreaterSlantEqual;
operator.\u2275.infix = lspace:thickmathspace rspace:thickmathspace # &NotGreaterTilde;
operator.\uEF0C.infix = lspace:thickmathspace rspace:thickmathspace # &NotHumpDownHump;
operator.\uEF0D.infix = lspace:thickmathspace rspace:thickmathspace # &NotHumpEqual;
operator.\u22EA.infix = lspace:thickmathspace rspace:thickmathspace # &NotLeftTriangle;
operator.\uEF2D.infix = lspace:thickmathspace rspace:thickmathspace # &NotLeftTriangleBar;
operator.\u22EC.infix = lspace:thickmathspace rspace:thickmathspace # &NotLeftTriangleEqual;
operator.\u226E.infix = lspace:thickmathspace rspace:thickmathspace # &NotLess;
operator.\uEF16.infix = lspace:thickmathspace rspace:thickmathspace # &NotLessEqual;
# UNRESOLVED operator.&NotLessFullEqual;.infix = lspace:thickmathspace rspace:thickmathspace # &NotLessFullEqual;
operator.\u2278.infix = lspace:thickmathspace rspace:thickmathspace # &NotLessGreater;
operator.\uEF13.infix = lspace:thickmathspace rspace:thickmathspace # &NotLessLess;
operator.\u2274.infix = lspace:thickmathspace rspace:thickmathspace # &NotLessTilde;
operator.\uEF2A.infix = lspace:thickmathspace rspace:thickmathspace # &NotNestedGreaterGreater;
operator.\uEF29.infix = lspace:thickmathspace rspace:thickmathspace # &NotNestedLessLess;
operator.\u2280.infix = lspace:thickmathspace rspace:thickmathspace # &NotPrecedes;
operator.\uEF33.infix = lspace:thickmathspace rspace:thickmathspace # &NotPrecedesEqual;
operator.\u22E0.infix = lspace:thickmathspace rspace:thickmathspace # &NotPrecedesSlantEqual;
# UNRESOLVED operator.&NotPrecedesTilde;.infix = lspace:thickmathspace rspace:thickmathspace # &NotPrecedesTilde;
operator.\u22EB.infix = lspace:thickmathspace rspace:thickmathspace # &NotRightTriangle;
operator.\uEF2E.infix = lspace:thickmathspace rspace:thickmathspace # &NotRightTriangleBar;
operator.\u22ED.infix = lspace:thickmathspace rspace:thickmathspace # &NotRightTriangleEqual;
operator.\u2281.infix = lspace:thickmathspace rspace:thickmathspace # &NotSucceeds;
operator.\uEF34.infix = lspace:thickmathspace rspace:thickmathspace # &NotSucceedsEqual;
operator.\u22E1.infix = lspace:thickmathspace rspace:thickmathspace # &NotSucceedsSlantEqual;
operator.\uEF18.infix = lspace:thickmathspace rspace:thickmathspace # &NotSucceedsTilde;
operator.\u2241.infix = lspace:thickmathspace rspace:thickmathspace # &NotTilde;
operator.\u2244.infix = lspace:thickmathspace rspace:thickmathspace # &NotTildeEqual;
operator.\u2247.infix = lspace:thickmathspace rspace:thickmathspace # &NotTildeFullEqual;
operator.\u2249.infix = lspace:thickmathspace rspace:thickmathspace # &NotTildeTilde;
operator.\u2224.infix = lspace:thickmathspace rspace:thickmathspace # &NotVerticalBar;
operator.\u227A.infix = lspace:thickmathspace rspace:thickmathspace # &Precedes;
operator.\u2AAF.infix = lspace:thickmathspace rspace:thickmathspace # &PrecedesEqual;
operator.\u227C.infix = lspace:thickmathspace rspace:thickmathspace # &PrecedesSlantEqual;
operator.\u227E.infix = lspace:thickmathspace rspace:thickmathspace # &PrecedesTilde;
operator.\u221D.infix = lspace:thickmathspace rspace:thickmathspace # &Proportional;
operator.\u21CB.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &ReverseEquilibrium;
operator.\u22B3.infix = lspace:thickmathspace rspace:thickmathspace # &RightTriangle;
operator.\u29D0.infix = lspace:thickmathspace rspace:thickmathspace # &RightTriangleBar;
operator.\u22B5.infix = lspace:thickmathspace rspace:thickmathspace # &RightTriangleEqual;
operator.\u227B.infix = lspace:thickmathspace rspace:thickmathspace # &Succeeds;
operator.\u227D.infix = lspace:thickmathspace rspace:thickmathspace # &SucceedsEqual; &SucceedsSlantEqual;
operator.\u227F.infix = lspace:thickmathspace rspace:thickmathspace # &SucceedsTilde;
operator.\u223C.infix = lspace:thickmathspace rspace:thickmathspace # &Tilde;
operator.\u2243.infix = lspace:thickmathspace rspace:thickmathspace # &TildeEqual;
operator.\u2245.infix = lspace:thickmathspace rspace:thickmathspace # &TildeFullEqual;
operator.\u2248.infix = lspace:thickmathspace rspace:thickmathspace # &TildeTilde;
operator.\u22A5.infix = lspace:thickmathspace rspace:thickmathspace # &UpTee;
operator.\u2223.infix = lspace:thickmathspace rspace:thickmathspace # &VerticalBar;
operator.\u2294.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # &SquareUnion;
operator.\u22C3.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # &Union;
operator.\u228E.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # &UnionPlus;
operator.\u002D.infix = lspace:mediummathspace rspace:mediummathspace # -
operator.\u002B.infix = lspace:mediummathspace rspace:mediummathspace # +
operator.\u22C2.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # &Intersection;
operator.\u2213.infix = lspace:mediummathspace rspace:mediummathspace # &MinusPlus;
operator.\u00B1.infix = lspace:mediummathspace rspace:mediummathspace # &PlusMinus;
operator.\u2293.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # &SquareIntersection;
operator.\u22C1.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &Vee;
operator.\u2296.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &CircleMinus;
operator.\u2295.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &CirclePlus;
operator.\u2211.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &Sum;
operator.\u22C3.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &Union;
operator.\u228E.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &UnionPlus;
operator.\u006C\u0069\u006D.prefix = movablelimits:true lspace:0em rspace:thinmathspace # lim
operator.\u006D\u0061\u0078.prefix = movablelimits:true lspace:0em rspace:thinmathspace # max
operator.\u006D\u0069\u006E.prefix = movablelimits:true lspace:0em rspace:thinmathspace # min
operator.\u2296.infix = lspace:thinmathspace rspace:thinmathspace # &CircleMinus;
operator.\u2295.infix = lspace:thinmathspace rspace:thinmathspace # &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.\u22D3.infix = lspace:thinmathspace rspace:thinmathspace # &Cup;
operator.\u22D2.infix = lspace:thinmathspace rspace:thinmathspace # &Cap;
operator.\u2240.infix = lspace:thinmathspace rspace:thinmathspace # &VerticalTilde;
operator.\u22C0.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &Wedge;
operator.\u2297.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &CircleTimes;
operator.\u2210.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &Coproduct;
operator.\u220F.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &Product;
operator.\u22C2.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &Intersection;
operator.\u2210.infix = lspace:thinmathspace rspace:thinmathspace # &Coproduct;
operator.\u22C6.infix = lspace:thinmathspace rspace:thinmathspace # &Star;
operator.\u2299.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # &CircleDot;
operator.\u002A.infix = lspace:thinmathspace rspace:thinmathspace # *
operator.\u2062.infix = lspace:0em rspace:0em # &InvisibleTimes;
operator.\u00B7.infix = lspace:thinmathspace rspace:thinmathspace # &CenterDot;
operator.\u2297.infix = lspace:thinmathspace rspace:thinmathspace # &CircleTimes;
operator.\u22C1.infix = lspace:thinmathspace rspace:thinmathspace # &Vee;
operator.\u22C0.infix = lspace:thinmathspace rspace:thinmathspace # &Wedge;
operator.\u22C4.infix = lspace:thinmathspace rspace:thinmathspace # &Diamond;
operator.\u2216.infix = stretchy:vertical lspace:thinmathspace rspace:thinmathspace # &Backslash;
operator.\u002F.infix = stretchy:vertical lspace:thinmathspace rspace:thinmathspace # /
operator.\u002D.prefix = lspace:0em rspace:veryverythinmathspace # -
operator.\u002B.prefix = lspace:0em rspace:veryverythinmathspace # +
operator.\u2213.prefix = lspace:0em rspace:veryverythinmathspace # &MinusPlus;
operator.\u00B1.prefix = lspace:0em rspace:veryverythinmathspace # &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.\u2A2F.infix = lspace:verythinmathspace rspace:verythinmathspace # &Cross;
operator.\u002A\u002A.infix = lspace:verythinmathspace rspace:verythinmathspace # **
operator.\u2299.infix = lspace:verythinmathspace rspace:verythinmathspace # &CircleDot;
operator.\u2218.infix = lspace:verythinmathspace rspace:verythinmathspace # &SmallCircle;
operator.\u25A1.prefix = lspace:0em rspace:verythinmathspace # &Square;
operator.\u2207.prefix = lspace:0em rspace:verythinmathspace # &Del;
operator.\u2202.prefix = lspace:0em rspace:verythinmathspace # &PartialD;
operator.\u2145.prefix = lspace:0em rspace:verythinmathspace # &CapitalDifferentialD;
operator.\u2146.prefix = lspace:0em rspace:verythinmathspace # &DifferentialD;
operator.\u221A.prefix = stretchy:vertical lspace:0em rspace:verythinmathspace # &Sqrt;
operator.\u21D3.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &DoubleDownArrow;
operator.\uF579.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # &DoubleLongLeftArrow;
operator.\uF57B.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # &DoubleLongLeftRightArrow;
operator.\uF57A.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # &DoubleLongRightArrow;
operator.\u21D1.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &DoubleUpArrow;
operator.\u21D5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &DoubleUpDownArrow;
operator.\u2193.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &DownArrow;
operator.\u2913.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &DownArrowBar;
operator.\u21F5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &DownArrowUpArrow;
operator.\u21A7.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &DownTeeArrow;
operator.\u2961.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &LeftDownTeeVector;
operator.\u21C3.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &LeftDownVector;
operator.\u2959.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &LeftDownVectorBar;
operator.\u2951.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &LeftUpDownVector;
operator.\u2960.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &LeftUpTeeVector;
operator.\u21BF.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &LeftUpVector;
operator.\u2958.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &LeftUpVectorBar;
operator.\uF576.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # &LongLeftArrow;
operator.\uF578.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # &LongLeftRightArrow;
operator.\uF577.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # &LongRightArrow;
operator.\u296F.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &ReverseUpEquilibrium;
operator.\u295D.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &RightDownTeeVector;
operator.\u21C2.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &RightDownVector;
operator.\u2955.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &RightDownVectorBar;
operator.\u294F.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &RightUpDownVector;
operator.\u295C.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &RightUpTeeVector;
operator.\u21BE.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &RightUpVector;
operator.\u2954.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &RightUpVectorBar;
operator.\uEF28.infix = lspace:verythinmathspace rspace:verythinmathspace # &ShortDownArrow;
operator.\uEF27.infix = lspace:verythinmathspace rspace:verythinmathspace # &ShortUpArrow;
operator.\u2191.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &UpArrow;
operator.\u2912.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &UpArrowBar;
operator.\u21C5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &UpArrowDownArrow;
operator.\u2195.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &UpDownArrow;
operator.\u296E.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &UpEquilibrium;
operator.\u21A5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # &UpTeeArrow;
operator.\u005E.infix = lspace:verythinmathspace rspace:verythinmathspace # ^
operator.\u003C\u003E.infix = lspace:verythinmathspace rspace:verythinmathspace # &lt;>
operator.\u0027.postfix = lspace:verythinmathspace rspace:0em # '
operator.\u0021.postfix = lspace:verythinmathspace rspace:0em # !
operator.\u0021\u0021.postfix = lspace:verythinmathspace rspace:0em # !!
operator.\u007E.infix = lspace:verythinmathspace rspace:verythinmathspace # ~
operator.\u0040.infix = lspace:verythinmathspace rspace:verythinmathspace # @
operator.\u002D\u002D.postfix = lspace:verythinmathspace rspace:0em # --
operator.\u002D\u002D.prefix = lspace:0em rspace:verythinmathspace # --
operator.\u002B\u002B.postfix = lspace:verythinmathspace rspace:0em # ++
operator.\u002B\u002B.prefix = lspace:0em rspace:verythinmathspace # ++
operator.\u2061.infix = lspace:0em rspace:0em # &ApplyFunction;
operator.\u003F.infix = lspace:verythinmathspace rspace:verythinmathspace # ?
operator.\u005F.infix = lspace:verythinmathspace rspace:verythinmathspace # _
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;
# UNRESOLVED operator.&DiacriticalLeftArrow;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftArrow;
# UNRESOLVED operator.&DiacriticalLeftRightArrow;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftRightArrow;
# UNRESOLVED operator.&DiacriticalLeftRightVector;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftRightVector;
# UNRESOLVED operator.&DiacriticalLeftVector;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftVector;
operator.\u00B4.postfix = accent:true lspace:0em rspace:0em # &DiacriticalAcute;
# UNRESOLVED operator.&DiacriticalRightArrow;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalRightArrow;
# UNRESOLVED operator.&DiacriticalRightVector;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalRightVector;
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.\uFE37.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverBrace;
operator.\u23B4.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverBracket;
operator.\uFE35.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.\uFE38.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderBrace;
operator.\u23B5.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderBracket;
operator.\uFE36.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderParenthesis;
operator.\u2225.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # &DoubleVerticalBar;
operator.\u2225.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # &DoubleVerticalBar;
operator.\u2223.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # &VerticalBar;
operator.\u2223.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # &VerticalBar;
operator.\u007C.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # |
operator.\u007C.postfix = stretchy:vertical fence:true lspace:.0em rspace:.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;
operator.\u21A9.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &hookleftarrow; &larrhk;
operator.\u21AA.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # &hookrightarrow; &rarrhk;
operator.\u23B0.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &lmoustache; &lmoust;
operator.\u23B1.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &rmoustache; &rmoust;
##################################################################################
@@ -414,7 +429,7 @@ operator.\u20D0.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em
# 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"
# 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
@@ -424,7 +439,7 @@ operator.\u20D0.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em
# 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
# 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

View File

@@ -26,44 +26,61 @@
# can be rendered with the indicated mathfont.
mathfont = CMEX10
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
\u0028 = \uE030\uFFFD\uE040\uE042\u0028\uE07F\uE08F\uE091\uE09F
\u0029 = \uE031\uFFFD\uE041\uE043\u0029\uE080\uE090\uE092\uE021
\u005B = \uE032\uFFFD\uE034\uE036\u005B\uE081\uE093\uE068\uE022
\u005D = \uE033\uFFFD\uE035\uE037\u005D\uE082\uE094\uE069\uE023
\u230A = \uFFFD\uFFFD\uFFFD\uFFFD\u230A\uE083\uE095\uE06A\uE024
\u230B = \uFFFD\uFFFD\uFFFD\uFFFD\u230B\uE084\uE096\uE06B\uE025
\u2308 = \uFFFD\uFFFD\uFFFD\uFFFD\u2308\uE085\uE097\uE06C\uE026
\u2309 = \uFFFD\uFFFD\uFFFD\uFFFD\u2309\uE086\uE098\uE06D\uE027
\u007B = \uE038\uE03C\uE03A\uE03E\u007B\uE087\uE099\uE06E\uE028
\u007D = \uE039\uE03D\uE03B\uE03E\u007D\uE088\uE09A\uE06F\uE029
\u3008 = \uFFFD\uFFFD\uFFFD\uFFFD\u3008\uE089\uE09B\uE044\uE02A
\u3009 = \uFFFD\uFFFD\uFFFD\uFFFD\u3009\uE08A\uE09C\uE045\uE02B
\u2294 = \uFFFD\uFFFD\uFFFD\uFFFD\u2294\uE046\uE047
\u222E = \uFFFD\uFFFD\uFFFD\uFFFD\u222E\uE048\uE049
\u2299 = \uFFFD\uFFFD\uFFFD\uFFFD\u2299\uE04A\uE04B
\u2295 = \uFFFD\uFFFD\uFFFD\uFFFD\u2295\uE04C\uE04D
\u2297 = \uFFFD\uFFFD\uFFFD\uFFFD\u2297\uE04E\uE04F
\u2211 = \uFFFD\uFFFD\uFFFD\uFFFD\u2211\uE050\uE058
\u220F = \uFFFD\uFFFD\uFFFD\uFFFD\u220F\uE051\uE059
\u002F = \uFFFD\uFFFD\uFFFD\uFFFD\u002F\uE02E\uE09D\uE08D\uE02C
\u22C3 = \uFFFD\uFFFD\uFFFD\uFFFD\u22C3\uE053\uE05B
\u22C2 = \uFFFD\uFFFD\uFFFD\uFFFD\u22C2\uE054\uE05C
\u228E = \uFFFD\uFFFD\uFFFD\uFFFD\u228E\uE055\uE05D
\u2227 = \uFFFD\uFFFD\uFFFD\uFFFD\u2227\uE056\uE05E
\u2228 = \uFFFD\uFFFD\uFFFD\uFFFD\u2228\uE057\uE05F
\u2210 = \uFFFD\uFFFD\uFFFD\uFFFD\u2210\uE060\uE061
\u0302 = \uFFFD\uFFFD\uFFFD\uFFFD\u0302\uE062\uE063\uE064
\u223C = \uFFFD\uFFFD\uFFFD\uFFFD\u223C\uE065\uE066\uE067
\u221A = \uE076\uFFFD\uE074\uE075\u221A\uE070\uE071\uE072\uE073
\u2191 = \uE078\uFFFD\uFFFD\uE03F\u2191
\u2193 = \uFFFD\uFFFD\uE079\uE03F\u2193
\u2195 = \uE078\uFFFD\uE079\uE03F\u2195
\u21D1 = \uE07E\uFFFD\uFFFD\uE077\u21D1
\u21D3 = \uFFFD\uFFFD\uE0A0\uE077\u21D3
\u21D5 = \uE07E\uFFFD\uE0A0\uE077\u21D5
\u222B = \uFFFD\uFFFD\uFFFD\uFFFD\u222B\uE052\uE05A
# There is a nebulous entanglement between the parts of stretchy chars in
# TeX fonts. The convention used here is to enlist horizontal stretchy chars
# in the property file of cmsy, and enlist vertical stretchy chars in the
# property file of cmex. Exception: composite chars like under/over brace
# are all enlisted in cmex.
# Support for under/over brace from composite pieces, note null glue and bottom
\uF613 = \uE07C\uFFFD\uE07B\uFFFD \uE07A\uFFFD\uE07D\uFFFD
\uF612 = \uE07A\uFFFD\uE07D\uFFFD \uE07C\uFFFD\uE07B\uFFFD
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
\u0028 = \uF8FF\uFFFD\uF8FF\uF8FF\u0028\uF8FF\uF8FF\uF8FF\uF8FF # (
\u0029 = \uF8FF\uFFFD\uF8FF\uF8FF\u0029\uF8FF\uF8FF\uF8FF\uF8FF # )
\u002F = \uFFFD\uFFFD\uFFFD\uFFFD\u002F\uF8FF\uF8FF\uF8FF\uF8FF # /
\u005B = \uF8FF\uFFFD\uF8FF\uF8FF\u005B\uF8FF\uF8FF\uF8FF\uF8FF # [
\u005D = \uF8FF\uFFFD\uF8FF\uF8FF\u005D\uF8FF\uF8FF\uF8FF\uF8FF # ]
\u007B = \uF8FF\uF8FF\uF8FF\uF8FF\u007B\uF8FF\uF8FF\uF8FF\uF8FF # {
\u007D = \uF8FF\uF8FF\uF8FF\uFFFD\u007D\uF8FF\uF8FF\uF8FF\uF8FF # }
\u02DC = \uFFFD\uFFFD\uFFFD\uFFFD\u02DC\uF8FF\uF8FF\uF8FF # DiacriticalTilde, tilde
\u0302 = \uFFFD\uFFFD\uFFFD\uFFFD\u0302\uF8FF\uF8FF\uF8FF # Hat
\u2191 = \uF8FF\uFFFD\uFFFD\uF8FF\u2191 # UpArrow, uarr, uparrow
\u2193 = \uFFFD\uFFFD\uF8FF\uF8FF\u2193 # DownArrow, darr, downarrow
\u2195 = \uF8FF\uFFFD\uF8FF\uF8FF\u2195 # UpDownArrow, updownarrow, varr
\u21D1 = \uF8FF\uFFFD\uFFFD\uF8FF\u21D1 # DoubleUpArrow, Uparrow, uArr
\u21D3 = \uFFFD\uFFFD\uF8FF\uF8FF\u21D3 # DoubleDownArrow, Downarrow, dArr
\u21D5 = \uF8FF\uFFFD\uF8FF\uF8FF\u21D5 # DoubleUpDownArrow, Updownarrow, vArr
\u220F = \uFFFD\uFFFD\uFFFD\uFFFD\u220F\uF8FF\uF8FF # Product, prod
\u2210 = \uFFFD\uFFFD\uFFFD\uFFFD\u2210\uF8FF\uF8FF # Coproduct, coprod
\u2211 = \uFFFD\uFFFD\uFFFD\uFFFD\u2211\uF8FF\uF8FF # Sum, sum
\u2216 = \uFFFD\uFFFD\uFFFD\uFFFD\u2216\uF8FF\uF8FF\uF8FF\uF8FF # Backslash, setminus, setmn
\u221A = \uF8FF\uFFFD\uF8FF\uF8FF\u221A\uF8FF\uF8FF\uF8FF\uF8FF # Sqrt, radic
\u2223 = \uFFFD\uFFFD\uFFFD\uF8FF\u2223 # VerticalBar, mid
\u2225 = \uFFFD\uFFFD\uFFFD\uF8FF\u2225 # DoubleVerticalBar, par, parallel
\u2227 = \uFFFD\uFFFD\uFFFD\uFFFD\u2227\uF8FF\uF8FF # and, wedge
\u2228 = \uFFFD\uFFFD\uFFFD\uFFFD\u2228\uF8FF\uF8FF # or, vee
\u222B = \uFFFD\uFFFD\uFFFD\uFFFD\u222B\uF8FF\uF8FF # Integral, int
\u222E = \uFFFD\uFFFD\uFFFD\uFFFD\u222E\uF8FF\uF8FF # ContourIntegral, conint, oint
\u228E = \uFFFD\uFFFD\uFFFD\uFFFD\u228E\uF8FF\uF8FF # UnionPlus, biguplus, uplus, xuplus
\u2294 = \uFFFD\uFFFD\uFFFD\uFFFD\u2294\uF8FF\uF8FF # SquareUnion, bigsqcup, sqcup, xsqcup
\u2295 = \uFFFD\uFFFD\uFFFD\uFFFD\u2295\uF8FF\uF8FF # CirclePlus, bigoplus, oplus, xoplus
\u2297 = \uFFFD\uFFFD\uFFFD\uFFFD\u2297\uF8FF\uF8FF # CircleTimes, bigotimes, otimes, xotime
\u2299 = \uFFFD\uFFFD\uFFFD\uFFFD\u2299\uF8FF\uF8FF # CircleDot, bigodot, odot, xodot
\u22C2 = \uFFFD\uFFFD\uFFFD\uFFFD\u22C2\uF8FF\uF8FF # Intersection, bigcap, xcap
\u22C3 = \uFFFD\uFFFD\uFFFD\uFFFD\u22C3\uF8FF\uF8FF # Union, bigcup, xcup
\u2308 = \u005B.T\uFFFD\uFFFD\u005B.G\u2308\uF8FF\uF8FF\uF8FF\uF8FF # LeftCeiling, lceil
\u2309 = \u005D.T\uFFFD\uFFFD\u005D.G\u2309\uF8FF\uF8FF\uF8FF\uF8FF # RightCeiling, rceil
\u230A = \uFFFD\uFFFD\u005B.B\u005B.G\u230A\uF8FF\uF8FF\uF8FF\uF8FF # LeftFloor, lfloor
\u230B = \uFFFD\uFFFD\u005D.B\u005D.G\u230B\uF8FF\uF8FF\uF8FF\uF8FF # RightFloor, rfloor
\u2329 = \uFFFD\uFFFD\uFFFD\uFFFD\u2329\uF8FF\uF8FF\uF8FF\uF8FF # LeftAngleBracket, lang, langle
\u232A = \uFFFD\uFFFD\uFFFD\uFFFD\u232A\uF8FF\uF8FF\uF8FF\uF8FF # RightAngleBracket, rang, rangle
# Support for under/over brace from space-separated composite pieces, note null glue and middle.
# Use slightly different definitions -- their purpose is to illustrate possible annotations.
\uFE37 = \uFE37.L\uFFFD\uFE38.R\uFFFD \uFE38.L\uFFFD\uFE37.R\uFFFD # OverBrace
\uFE38 = \uF8FF\uFFFD\uFE37.R\uFFFD \uFE37.L\uFFFD\uF8FF\uFFFD # UnderBrace
# Support for l/r moustache from the parts of lbrace { and rbrace }
\u23B0 = \u007B.T\uFFFD\u007D.B\u007B.G\u23B0 # lmoustache, lmoust
\u23B1 = \u007D.T\uFFFD\u007B.B\u007D.G\u23B1 # rmoustache, rmoust
# Make | behave like VerticalBar because most people use | for fences
\u007C = \uFFFD\uFFFD\uFFFD\u2223.G\u007C # |

View File

@@ -26,12 +26,37 @@
# can be rendered with the indicated mathfont.
mathfont = CMSY10
# There is a nebulous entanglement between the parts of stretchy chars in
# TeX fonts. The convention used here is to enlist horizontal stretchy chars
# in the property file of cmsy, and enlist vertical stretchy chars in the
# property file of cmex. Exception: composite chars like under/over brace
# are all enlisted in cmex.
external.1 = CMR10
external.2 = CMMI10
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
\u21D0 = \u21D0\uFFFD\uFFFD\u003D\u21D0
\u21D2 = \uFFFD\uFFFD\u21D2\u003D\u21D2
\u21D4 = \u21D0\uFFFD\u21D2\u003D\u21D4
\uE200 = \u21D0\uFFFD\uFFFD\u003D\uE200
\uE204 = \uFFFD\uFFFD\u21D2\u003D\uE204
\uE202 = \u21D0\uFFFD\u21D2\u003D\uE202
\u2223 = \uFFFD\uFFFD\uFFFD\u2223\u2223
\u2225 = \uFFFD\uFFFD\uFFFD\u2225\u2225
\u2190 = \u2190\uFFFD\uFFFD\u2212\u2190 # LeftArrow, larr, leftarrow
\u2192 = \uFFFD\uFFFD\u2192\u2212\u2192 # RightArrow, rarr, rightarrow
\u2194 = \u2190\uFFFD\u2192\u2212\u2194 # LeftRightArrow, harr, leftrightarrow
\u21A9 = \u2190\uFFFD\uF8FF@2\u2212\u21A9 # hookleftarrow, larrhk
\u21AA = \uF8FF@2\uFFFD\u2192\u2212\u21AA # hookrightarrow, rarrhk
\u21A6 = \uF8FF\uFFFD\u2192\u2212\u21A6 # RightTeeArrow, map, mapsto
\u21C0 = \uFFFD\uFFFD\u21C0@2\u2212\u21C0 # RightVector, rharu, rightharpoonup
\u21C1 = \uFFFD\uFFFD\u21C1@2\u2212\u21C1 # DownRightVector, rhard, rightharpoondown
\u21BC = \u21BC@2\uFFFD\uFFFD\u2212\u21BC # LeftVector, leftharpoonup, lharu
\u21BD = \u21BD@2\uFFFD\uFFFD\u2212\u21BD # DownLeftVector, leftharpoondown, lhard
\u295B = \uF8FF\uFFFD\u21C0@2\u2212\u295B #RIGHTWARDS HARPOON WITH BARB UP FROM BAR, RightTeeVector
\u295F = \uF8FF\uFFFD\u21C1@2\u2212\u295F #RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR, DownRightTeeVector
\u294E = \u21BC@2\uFFFD\u21C0@2\u2212\u294E #LEFT BARB UP RIGHT BARB UP HARPOON, LeftRightVector
\u2950 = \u21BD@2\uFFFD\u21C1@2\u2212\u2950 #LEFT BARB DOWN RIGHT BARB DOWN HARPOON , DownLeftRightVector
\u21D0 = \u21D0\uFFFD\uFFFD\u003D@1\u21D0 # DoubleLeftArrow, Leftarrow, lArr
\u21D4 = \u21D0\uFFFD\u21D2\u003D@1\u21D4 # DoubleLeftRightArrow, Leftrightarrow, hArr, iff
\u21D2 = \uFFFD\uFFFD\u21D2\u003D@1\u21D2 # DoubleRightArrow, Implies, Rightarrow, rArr
\uF576 = \u2190\uFFFD\uFFFD\u2212\uF576 # LongLeftArrow
\uF577 = \uFFFD\uFFFD\u2192\u2212\uF577 # LongRightArrow
\uF578 = \u2190\uFFFD\u2192\u2212\uF578 # LongLeftRightArrow
\uF579 = \u21D0\uFFFD\uFFFD\u003D@1\uF579 # DoubleLongLeftArrow
\uF57A = \uFFFD\uFFFD\u21D2\u003D@1\uF57A # DoubleLongRightArrow
\uF57B = \u21D0\uFFFD\u21D2\u003D@1\uF57B # DoubleLongLeftRightArrow

View File

@@ -0,0 +1,51 @@
##
## 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
# This file contains the list of all stretchy MathML chars that
# can be rendered with the indicated mathfont.
mathfont = Math1
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
\u0028 = \uF8FF\uFFFD\uF8FF\uF8FF\u0028 # (
\u0029 = \uF8FF\uFFFD\uF8FF\uF8FF\u0029 # )
\u005B = \uF8FF\uFFFD\uF8FF\uF8FF\u005B # [
\u005D = \uF8FF\uFFFD\uF8FF\uF8FF\u005D # ]
\u007B = \uF8FF\uF8FF\uF8FF\uF8FF\u007B # {
\u007D = \uF8FF\uF8FF\uF8FF\uF8FF\u007D # }
\u007C = \uFFFD\uFFFD\uFFFD\u007C\u007C # |
\u2190 = \uFFFD\uFFFD\uFFFD\uF8FF\u2190 # LeftArrow, larr, leftarrow
\u2191 = \uFFFD\uFFFD\uFFFD\uF8FF\u2191 # UpArrow, uarr, uparrow
\u2192 = \uFFFD\uFFFD\uFFFD\uF8FF\u2192 # RightArrow, rarr, rightarrow
\u2193 = \uFFFD\uFFFD\uFFFD\uF8FF\u2193 # DownArrow, darr, downarrow
\u2194 = \uFFFD\uFFFD\uFFFD\uF8FF\u2194 # LeftRightArrow, harr, leftrightarrow
\u2195 = \uFFFD\uFFFD\uFFFD\uF8FF\u2195 # UpDownArrow, updownarrow, varr
\u21D0 = \uFFFD\uFFFD\uFFFD\uF8FF\u21D0 # DoubleLeftArrow, Leftarrow, lArr
\u21D1 = \uFFFD\uFFFD\uFFFD\uF8FF\u21D1 # DoubleUpArrow, Uparrow, uArr
\u21D2 = \uFFFD\uFFFD\uFFFD\uF8FF\u21D2 # DoubleRightArrow, Implies, Rightarrow, rArr
\u21D3 = \uFFFD\uFFFD\uFFFD\uF8FF\u21D3 # DoubleDownArrow, Downarrow, dArr
\u21D4 = \uFFFD\uFFFD\uFFFD\uF8FF\u21D4 # DoubleLeftRightArrow, Leftrightarrow, hArr, iff
\u21D5 = \uFFFD\uFFFD\uFFFD\uF8FF\u21D5 # DoubleUpDownArrow, Updownarrow, vArr
\u222B = \u2320\uFFFD\u2321\uF8FF\u222B # Integral, int
\u230A = \uFFFD\uFFFD\u005B.B\u005B.G\u230A # LeftFloor, lfloor
\u230B = \uFFFD\uFFFD\u005D.B\u005D.G\u230B # RightFloor, rfloor

View File

@@ -0,0 +1,73 @@
##
## 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
# This file contains the list of all stretchy MathML chars that
# can be rendered with the indicated mathfont.
mathfont = Math2
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
\u0028 = \uF8FF\uFFFD\uF8FF\uF8FF\u0028\uF8FF\uF8FF\uF8FF # (
\u0029 = \uF8FF\uFFFD\uF8FF\uF8FF\u0029\uF8FF\uF8FF\uF8FF # )
\u002F = \uFFFD\uFFFD\uFFFD\uFFFD\u002F\uF8FF\uF8FF\uF8FF # /
\u005B = \uF8FF\uFFFD\uF8FF\uF8FF\u005B\uF8FF\uF8FF\uF8FF # [
\u005D = \uF8FF\uFFFD\uF8FF\uF8FF\u005D\uF8FF\uF8FF\uF8FF # ]
\u007B = \uF8FF\uF8FF\uF8FF\uF8FF\u007B\uF8FF\uF8FF\uF8FF # {
\u007D = \uF8FF\uF8FF\uF8FF\uF8FF\u007D\uF8FF\uF8FF\uF8FF # }
\u02DC = \uFFFD\uFFFD\uFFFD\uFFFD\u02DC\uF8FF\uF8FF\uF8FF # DiacriticalTilde, tilde
\u21BC = \u21BC\uFFFD\uFFFD\uF8FF\u21BC # LeftVector, leftharpoonup, lharu
\u21C0 = \uFFFD\uFFFD\u21C0\uF8FF\u21C0 # RightVector, rharu, rightharpoonup
\u220F = \uFFFD\uFFFD\uFFFD\uFFFD\u220F\uF8FF\uF8FF # Product, prod
\u2211 = \uFFFD\uFFFD\uFFFD\uFFFD\u2211\uF8FF\uF8FF # Sum, sum
\u2216 = \uFFFD\uFFFD\uFFFD\uFFFD\u2216\uF8FF\uF8FF\uF8FF # Backslash, setminus, setmn
\u2223 = \uFFFD\uFFFD\uFFFD\uF8FF\u2223\uF8FF\uF8FF\uF8FF # VerticalBar, mid
\u2225 = \uFFFD\uFFFD\uFFFD\uF8FF\u2225\uF8FF\uF8FF\uF8FF # DoubleVerticalBar, par, parallel
\u222B = \uFFFD\uFFFD\uFFFD\uFFFD\u222B\uF8FF\uF8FF # Integral, int
\u222E = \uFFFD\uFFFD\uFFFD\uFFFD\u222E\uF8FF\uF8FF # ContourIntegral, conint, oint
\u222F = \uFFFD\uFFFD\uFFFD\uFFFD\u222F\uF8FF\uF8FF # Conint, DoubleContourIntegral
\u2232 = \uFFFD\uFFFD\uFFFD\uFFFD\u2232\uF8FF\uF8FF # ClockwiseContourIntegral, cwconint
\u2233 = \uFFFD\uFFFD\uFFFD\uFFFD\u2233\uF8FF\uF8FF # CounterClockwiseContourIntegral, awconint
\u228E = \uFFFD\uFFFD\uFFFD\uFFFD\u228E\uF8FF\uF8FF # UnionPlus, biguplus, uplus, xuplus
\u2293 = \uFFFD\uFFFD\uFFFD\uFFFD\u2293\uF8FF\uF8FF # SquareIntersection, sqcap
\u2294 = \uFFFD\uFFFD\uFFFD\uFFFD\u2294\uF8FF\uF8FF # SquareUnion, bigsqcup, sqcup, xsqcup
\u22C0 = \uFFFD\uFFFD\uFFFD\uFFFD\u22C0\uF8FF\uF8FF # Wedge, bigwedge, xwedge
\u22C1 = \uFFFD\uFFFD\uFFFD\uFFFD\u22C1\uF8FF\uF8FF # Vee, bigvee, xvee
\u22C2 = \uFFFD\uFFFD\uFFFD\uFFFD\u22C2\uF8FF\uF8FF # Intersection, bigcap, xcap
\u22C3 = \uFFFD\uFFFD\uFFFD\uFFFD\u22C3\uF8FF\uF8FF # Union, bigcup, xcup
\u2329 = \uFFFD\uFFFD\uFFFD\uFFFD\u2329\uF8FF\uF8FF\uF8FF # LeftAngleBracket, lang, langle
\u232A = \uFFFD\uFFFD\uFFFD\uFFFD\u232A\uF8FF\uF8FF\uF8FF # RightAngleBracket, rang, rangle
\u294E = \u21BC\uFFFD\u21C0\uF8FF\u294E # LeftRightVector
\u2A0D = \uFFFD\uFFFD\uFFFD\uFFFD\u2A0D\uF8FF\uF8FF # fpartint
\u2A16 = \uFFFD\uFFFD\uFFFD\uFFFD\u2A16\uF8FF\uF8FF # quatint
\u301A = \uF8FF\uFFFD\uF8FF\uF8FF\u301A\uF8FF\uF8FF\uF8FF # LeftDoubleBracket, lobrk
\u301B = \uF8FF\uFFFD\uF8FF\uF8FF\u301B\uF8FF\uF8FF\uF8FF # RightDoubleBracket, robrk
\u2758 = \uFFFD\uFFFD\uFFFD\u2758\u2758\uF8FF\uF8FF\uF8FF # VerticalSeparator
\u2308 = \u005B.T\uFFFD\uFFFD\u005B.G\u2308\uF8FF\uF8FF\uF8FF # LeftCeiling, lceil
\u2309 = \u005D.T\uFFFD\uFFFD\u005D.G\u2309\uF8FF\uF8FF\uF8FF # RightCeiling, rceil
\u230A = \uFFFD\uFFFD\u005B.B\u005B.G\u230A\uF8FF\uF8FF\uF8FF # LeftFloor, lfloor
\u230B = \uFFFD\uFFFD\u005D.B\u005D.G\u230B\uF8FF\uF8FF\uF8FF # RightFloor, rfloor
\u20D6 = \u20D6\uFFFD\uFFFD\uF8FF\u20D6
\u20D7 = \uFFFD\uFFFD\u20D7\uF8FF\u20D7
\u20E1 = \u20D6\uFFFD\u20D7\uF8FF\u20E1

View File

@@ -27,9 +27,69 @@
mathfont = Math4
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
\uF613 = \uEC00\uEC01\uEC02\uEC03\uF613\uEC29\uEC2A\uEC2B
\uF612 = \uEC04\uEC05\uEC06\uEC07\uF612\uEC25\uEC26\uEC27
\uF615 = \uEC08\uFFFD\uEC0A\uEC09\uF615\uEC19\uEC1A\uEC1B
\uF614 = \uEC0B\uFFFD\uEC0D\uEC0C\uF614\uEC15\uEC16\uEC17
\uF611 = \uEC0E\uFFFD\uEC10\uEC0F\uF611\uEC21\uEC22\uEC23
\uF610 = \uEC11\uFFFD\uEC13\uEC12\uF610\uEC1D\uEC1E\uEC1F
\u002F = \uFFFD\uFFFD\uFFFD\uFFFD\u002F\uF8FF\uF8FF\uF8FF\uF8FF # /
\u02C7 = \uFFFD\uFFFD\uFFFD\uFFFD\u02C7\uF8FF\uF8FF\uF8FF # Hacek, caron
\u0302 = \uFFFD\uFFFD\uFFFD\uFFFD\u0302\uF8FF\uF8FF\uF8FF # Hat
\u2190 = \u2190\uFFFD\uFFFD\uF8FF\u2190 # LeftArrow, larr, leftarrow
\u2192 = \uFFFD\uFFFD\u2192\uF8FF\u2192 # RightArrow, rarr, rightarrow
\u2194 = \u2190\uFFFD\u2192\uF8FF\u2194 # LeftRightArrow, harr, leftrightarrow
\u2191 = \u2191\uFFFD\uFFFD\uF8FF\u2191 # UpArrow, uarr, uparrow
\u2193 = \uFFFD\uFFFD\u2193\uFFFD\u2193 # DownArrow, darr, downarrow
\u2196 = \uFFFD\uFFFD\uFFFD\uFFFD\u2196\uF8FF # UpperLeftArrow, nwarr, nwarrow
\u2197 = \uFFFD\uFFFD\uFFFD\uFFFD\u2197\uF8FF # UpperRightArrow, nearr, nearrow
\u2198 = \uFFFD\uFFFD\uFFFD\uFFFD\u2198\uF8FF # LowerRightArrow, searr, searrow
\u2199 = \uFFFD\uFFFD\uFFFD\uFFFD\u2199\uF8FF # LowerLeftArrow, swarr, swarrow
\u21A4 = \u2190.G\uFFFD\uF8FF\uF8FF\u21A4 # LeftTeeArrow, mapstoleft
\u21A5 = \u2191\uFFFD\uF8FF\u2191.G\u21A5 # UpTeeArrow, mapstoup
\u21A6 = \uF8FF\uFFFD\uFFFD\uF8FF\u21A6 # RightTeeArrow, map, mapsto
\u21A7 = \uF8FF\uFFFD\u2193\u2193.G\u21A7 # DownTeeArrow, mapstodown
\u21A9 = \u2190\uFFFD\uF8FF\u2212\u21A9 # hookleftarrow, larrhk
\u21AA = \uF8FF\uFFFD\u2192\u2212\u21AA # hookrightarrow, rarrhk
\u21C4 = \uF8FF\uFFFD\uF8FF\uF8FF\u21C4 # RightArrowLeftArrow, rightleftarrows, rlarr
\u21C5 = \uF8FF\uFFFD\uF8FF\uF8FF\u21C5 # UpArrowDownArrow, udarr
\u21C6 = \uF8FF\uFFFD\uF8FF\uF8FF\u21C6 # LeftArrowRightArrow, leftrightarrows, lrarr
\u21CB = \uF8FF\uFFFD\uF8FF\uF8FF\u21CB # ReverseEquilibrium, leftrightharpoons, lrhar
\u21CC = \uF8FF\uFFFD\uF8FF\uF8FF\u21CC # Equilibrium, rightleftharpoons, rlhar
\u21F5 = \uF8FF\uFFFD\uF8FF\uF8FF\u21F5 # DownArrowUpArrow, duarr
\u23B4 = \uF8FF\uFFFD\uF8FF\uF8FF\u23B4\uF8FF\uF8FF\uF8FF # OverBracket, tbrk
\u23B5 = \uF8FF\uFFFD\uF8FF\uF8FF\u23B5\uF8FF\uF8FF\uF8FF # UnderBracket, bbrk
\u295C = \u2191\uFFFD\u21A5.B\u2191.G\u295C # RightUpTeeVector
\u295D = \u21A7.T\uFFFD\u21C2\u2193.G\u295D # RightDownTeeVector
\u2960 = \u21BF\uFFFD\u21A5.B\u2191.G\u2960 # LeftUpTeeVector
\u2961 = \u21A7.T\uFFFD\u21C3\u2191.G\u2961 # LeftDownTeeVector
\u21C3 = \uFFFD\uFFFD\u21C3\u2191.G\u21C3 # LeftDownVector
\u2959 = \uFFFD\uFFFD\u2959\u2191.G\u2959 # LeftDownVectorBar
\u21BF = \u21BF\uFFFD\uFFFD\u2191.G\u21BF # LeftUpVector
\u2958 = \u2958\uFFFD\uFFFD\u2191.G\u2958 # LeftUpVectorBar
\u2951 = \u21BF\uFFFD\u21C3\u2191.G\u21BE # LeftUpDownVector
\u21BE = \u21BE\uFFFD\uFFFD\u2191.G\u21BE # RightUpVector
\u2954 = \u2954\uFFFD\uFFFD\u2191.G\u2954 # RightUpVectorBar
\u21C2 = \uFFFD\uFFFD\u21C2\u2191.G\u21C2 # RightDownVector
\u2955 = \uFFFD\uFFFD\u2955\u2191.G\u2955 # RightDownVectorBar
\u294F = \u21BE\uFFFD\u21C2\u2191.G\u294F # RightUpDownVector
\u21BC = \u21BC\uFFFD\uFFFD\uF8FF\u21BC # LeftVector, leftharpoonup, lharu
\u21C0 = \uFFFD\uFFFD\u21C0\uF8FF\u21C0 # RightVector, rharu, rightharpoonup
\u2912 = \u2912\uFFFD\uFFFD\u2191.G\u2912 # UpArrowBar
\u21E4 = \u21E4\uFFFD\uFFFD\u2190.G\u21E4 # LeftArrowBar
\u21E5 = \uFFFD\uFFFD\u21E5\u2192.G\u21E5 # RightArrowBar
\u2913 = \uFFFD\uFFFD\u2913\u2193.G\u2913 # DownArrowBar
\u2953 = \uFFFD\uFFFD\u2953\u2192.G\u2953 # RightVectorBar
\u295E = \u21BD\uFFFD\u21A4.R\u21A4.G\u295E # DownLeftTeeVector
\u2956 = \u2956\uFFFD\uFFFD\u2190.G\u2956 # DownLeftVectorBar
\u2957 = \uFFFD\uFFFD\u2957\u2192.G\u2957 # DownRightVectorBar
\u295A = \u21BC\uFFFD\u21A4.R\u21A4.G\u295A # LeftTeeVector
\uFE35 = \uF8FF\uFFFD\uF8FF\uF8FF\uFE35\uF8FF\uF8FF\uF8FF # OverParenthesis
\uFE36 = \uF8FF\uFFFD\uF8FF\uF8FF\uFE36\uF8FF\uF8FF\uF8FF # UnderParenthesis
\uFE37 = \uF8FF\uF8FF\uF8FF\uF8FF\uFE37\uF8FF\uF8FF\uF8FF # OverBrace
\uFE38 = \uF8FF\uF8FF\uF8FF\uF8FF\uFE38\uF8FF\uF8FF\uF8FF # UnderBrace
\uF576 = \u2190\uFFFD\uFFFD\u2190.G\uF576 # LongLeftArrow
\uF577 = \uFFFD\uFFFD\u2192\u2190.G\uF577 # LongRightArrow
\uF578 = \u2190\uFFFD\u2192\u2190.G\uF578 # LongLeftRightArrow
\uF579 = \u21D0\uFFFD\uFFFD\u21D0.G\uF579 # DoubleLongLeftArrow
\uF57A = \uFFFD\uFFFD\u21D2\u21D0.G\uF57A # DoubleLongRightArrow
\uF57B = \u21D0\uFFFD\u21D2\u21D0.G\uF57B # DoubleLongLeftRightArrow
#Disabled - they don't align properly
#\u296E = \uF8FF\uFFFD\uF8FF\uF8FF\u296E # UpEquilibrium, udhar
#\u296F = \uF8FF\uFFFD\uF8FF\uF8FF\u296F # ReverseUpEquilibrium, duhar

View File

@@ -0,0 +1,571 @@
##
## 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
# This file contains the list of all MathML assignments to the PUA (the
# Unicode's Private Use Area 0xE000-0xF8FF). The file is automatically
# updated by the Perl script encode.pl when processing new MathFont
# Encoding Tables. Other additions can be made by hand editing.
# The comments with '>' are *significant*. They guide the Perl
# script in its automatic processing.
# See also http://www.mozilla.org/projects/mathml/fonts/encoding/
#>StartSection1#####################################################
# Assignments for variants and parts of stretchy characters.
#
# This list is active during MathML processing, i.e., it is loaded
# and used to resolve the indirect references made in the the
# MathFont Property Files for glyphs of stretchy characters.
############
##Predefined (hand-edited) mappings
# Halves of the integral. Although they are not in the PUA, they are
# placed here so that no assignments are made in the PUA for them
\u222B.T = \u2320
\u222B.B = \u2321
# Mappings from the Adobe' Symbol font that have become defacto
# standards and are inherited for compatibility
\u2191.G = \uF8E6
\u2193.G = \uF8E6
\u2195.G = \uF8E6
\u2190.G = \uF8E7
\u2192.G = \uF8E7
\u2194.G = \uF8E7
\u0028.T = \uF8EB
\u0028.G = \uF8EC
\u0028.B = \uF8ED
\u005B.T = \uF8EE
\u005B.G = \uF8EF
\u005B.B = \uF8F0
\u007B.T = \uF8F1
\u007B.M = \uF8F2
\u007B.B = \uF8F3
\u007B.G = \uF8F4
\u007D.G = \uF8F4
\u222B.G = \uF8F5
\u0029.T = \uF8F6
\u0029.G = \uF8F7
\u0029.B = \uF8F8
\u005D.T = \uF8F9
\u005D.G = \uF8FA
\u005D.B = \uF8FB
\u007D.T = \uF8FC
\u007D.M = \uF8FD
\u007D.B = \uF8FE
###########
##Generated mappings
\u21A6.L = \uEFB9
\u295B.L = \uEFB9
\u295F.L = \uEFB9
\u21AA.L = \uEFBA
\u21A9.R = \uEFBB
\u0029.4 = \uEFBC
\u005B.4 = \uEFBD
\u005D.4 = \uEFBE
\u230A.4 = \uEFBF
\u230B.4 = \uEFC0
\u2308.4 = \uEFC1
\u2309.4 = \uEFC2
\u007B.4 = \uEFC3
\u007D.4 = \uEFC4
\u3008.4 = \uEFC5
\u3009.4 = \uEFC6
\u002F.4 = \uEFC7
\u2216.4 = \uEFC8
\u002F.2 = \uEFC9
\u2216.2 = \uEFCA
\u3008.2 = \uEFCB
\u3009.2 = \uEFCC
\u2294.1 = \uEFCD
\u2294.2 = \uEFCE
\u222E.1 = \uEFCF
\u222E.2 = \uEFD0
\u2299.1 = \uEFD1
\u2299.2 = \uEFD2
\u2295.1 = \uEFD3
\u2295.2 = \uEFD4
\u2297.1 = \uEFD5
\u2297.2 = \uEFD6
\u2211.1 = \uEFD7
\u220F.1 = \uEFD8
\u222B.1 = \uEFD9
\u22C3.1 = \uEFDA
\u22C2.1 = \uEFDB
\u228E.1 = \uEFDC
\u2227.1 = \uEFDD
\u2228.1 = \uEFDE
\u2211.2 = \uEFDF
\u220F.2 = \uEFE0
\u222B.2 = \uEFE1
\u22C3.2 = \uEFE2
\u22C2.2 = \uEFE3
\u228E.2 = \uEFE4
\u2227.2 = \uEFE5
\u2228.2 = \uEFE6
\u2210.1 = \uEFE7
\u2210.2 = \uEFE8
\u0302.1 = \uEFE9
\u0302.2 = \uEFEA
\u0302.3 = \uEFEB
\u02DC.1 = \uEFEC
\u02DC.2 = \uEFED
\u02DC.3 = \uEFEE
\u005B.2 = \uEFEF
\u005D.2 = \uEFF0
\u230A.2 = \uEFF1
\u230B.2 = \uEFF2
\u2308.2 = \uEFF3
\u2309.2 = \uEFF4
\u007B.2 = \uEFF5
\u007D.2 = \uEFF6
\u221A.1 = \uEFF7
\u221A.2 = \uEFF8
\u221A.3 = \uEFF9
\u221A.4 = \uEFFA
\u221A.B = \uEFFB
\u221A.G = \uEFFC
\u221A.T = \uEFFD
\u21D1.G = \uEFFE
\u21D3.G = \uEFFE
\u21D5.G = \uEFFE
\u2191.T = \uEFFF
\u2195.T = \uEFFF
\u2193.B = \uF000
\u2195.B = \uF000
\uFE37.L = \uF001
\uFE37.R = \uF002
\uFE38.L = \uF003
\uFE38.R = \uF004
\u21D1.T = \uF005
\u21D5.T = \uF005
\u0028.1 = \uF006
\u0029.1 = \uF007
\u005B.1 = \uF008
\u005D.1 = \uF009
\u230A.1 = \uF00A
\u230B.1 = \uF00B
\u2308.1 = \uF00C
\u2309.1 = \uF00D
\u007B.1 = \uF00E
\u007D.1 = \uF00F
\u3008.1 = \uF010
\u3009.1 = \uF011
\u2223.G = \uF012
\u2225.G = \uF013
\u002F.1 = \uF014
\u2216.1 = \uF015
\u0028.2 = \uF016
\u0029.2 = \uF017
\u0028.3 = \uF018
\u0029.3 = \uF019
\u005B.3 = \uF01A
\u005D.3 = \uF01B
\u230A.3 = \uF01C
\u230B.3 = \uF01D
\u2308.3 = \uF01E
\u2309.3 = \uF01F
\u007B.3 = \uF020
\u007D.3 = \uF021
\u3008.3 = \uF022
\u3009.3 = \uF023
\u002F.3 = \uF024
\u2216.3 = \uF025
\u0028.4 = \uF026
\u21D3.B = \uF027
\u21D5.B = \uF027
\u2329.4 = \uF028
\u232A.4 = \uF029
\u2329.2 = \uF02A
\u232A.2 = \uF02B
\u2329.1 = \uF02C
\u232A.1 = \uF02D
\u2329.3 = \uF02E
\u232A.3 = \uF02F
\u21D0.G = \uF030
\u21D2.G = \uF030
\u21D4.G = \uF030
#27/03/2001 7:40AM
\u21CC.L = \uF031
\u21CC.R = \uF032
\u21CB.L = \uF033
\u21CB.R = \uF034
\u21A4.R = \uF035
\u21C4.L = \uF036
\u21C4.R = \uF037
\u21C6.R = \uF038
\u21C6.L = \uF039
\u21A5.B = \uF03A
\u21A7.T = \uF03B
\u296E.B = \uF03C
\u296F.T = \uF03E
\u296E.T = \uF03F
\u296F.B = \uF041
\u21C5.B = \uF042
\u21F5.T = \uF043
\u21C5.T = \uF044
\u21F5.B = \uF045
\u21CC.G = \uF046
\u21CB.G = \uF046
\u21C4.G = \uF046
\u21C6.G = \uF046
\u23B4.1 = \uF047
\u23B4.2 = \uF048
\u23B4.3 = \uF049
\u23B4.L = \uF04A
\u23B4.G = \uF04B
\u23B4.R = \uF04C
\u23B5.1 = \uF04D
\u23B5.2 = \uF04E
\u23B5.3 = \uF04F
\u23B5.L = \uF050
\u23B5.G = \uF051
\u23B5.R = \uF052
\u2199.1 = \uF053
\u2196.1 = \uF054
\u2197.1 = \uF055
\u2198.1 = \uF056
\uFE35.1 = \uF057
\uFE35.2 = \uF058
\uFE35.3 = \uF059
\uFE35.L = \uF05A
\uFE35.G = \uF05B
\uFE35.R = \uF05C
\uFE37.1 = \uF05D
\uFE37.2 = \uF05E
\uFE37.3 = \uF05F
\uFE37.G = \uF060
\uFE37.M = \uF061
\uFE36.1 = \uF062
\uFE36.2 = \uF063
\uFE36.3 = \uF064
\uFE36.L = \uF065
\uFE36.G = \uF066
\uFE36.R = \uF067
\uFE38.1 = \uF068
\uFE38.2 = \uF069
\uFE38.3 = \uF06A
\uFE38.G = \uF06B
\uFE38.M = \uF06C
\u02C7.1 = \uF06D
\u02C7.2 = \uF06E
\u02C7.3 = \uF06F
\u21A4.G = \uF8E7
\u21A6.G = \uF8E7
\u301A.1 = \uF070
\u301A.2 = \uF071
\u301A.3 = \uF072
\u301B.1 = \uF073
\u301B.2 = \uF074
\u301B.3 = \uF075
\u2308.G = \uF076
\u230A.G = \uF076
\u2309.G = \uF077
\u230B.G = \uF077
\u301A.B = \uF078
\u301A.G = \uF079
\u301A.T = \uF07A
\u301B.B = \uF07B
\u301B.G = \uF07C
\u301B.T = \uF07D
\u2223.1 = \uF07E
\u2223.2 = \uF07F
\u2223.3 = \uF080
\u222F.1 = \uF081
\u2233.1 = \uF082
\u2232.1 = \uF083
\u2A16.1 = \uF084
\u2293.1 = \uF085
\u222F.2 = \uF086
\u2233.2 = \uF087
\u2232.2 = \uF088
\u2A16.2 = \uF089
\u2293.2 = \uF08A
\u2225.1 = \uF08B
\u2225.2 = \uF08C
\u2225.3 = \uF08D
\u2A0D.1 = \uF08E
\u2A0D.2 = \uF08F
\u20D6.G = \uF090
\u20D7.G = \uF090
\u20E1.G = \uF090
\u21BC.G = \uF090
\u21C0.G = \uF090
\u294E.G = \uF090
\u22C1.1 = \uF091
\u22C1.2 = \uF092
\u22C0.1 = \uF093
\u22C0.2 = \uF094
\u2758.1 = \uF095
\u2758.2 = \uF096
\u2758.3 = \uF097
\u21C5.G = \uF03D
\u21F5.G = \uF03D
\u296E.G = \uF040
\u296F.G = \uF040
#>EndSection1#######################################################
#>StartSection2#####################################################
# Assignments for entity references.
#
# This list is in a commented format so that it doesn't get loaded
# during MathML rendering. This list is parsed by encode.pl to
# determine if an entity has already been assigned to the PUA. If
# so, the PUA code is simply re-used. Otherwise, encode.pl assigns
# a new PUA code to the entity and updates this list to include the
# new assignment. In other words, whenever an entity is encountered,
# while processing a MathFont Encoding Table, it will be attempted
# to be resolved here, and if the resolution fails, a new assignment
# to the PUA is made for the entity. The list is subsequently used to
# customize the MathML DTD used by Mozilla.
##Predefined (hand-edited) mappings
#
##From Adobe' Symbol font
#>\uF8E8 = #Registered sign sans serif, from Symbol [?unknown entity]
#>\uF8E9 = #Copyright sign sans serif, from Symbol [?unknown entity]
#>\uF8EA = #Trade mark sign sans serif, from Symbol [?unknown entity]
#
##From the MathML REC
#>\uF558 = loang #LEFT WHITE ANGULAR BRACKET
#>\uF559 = roang #RIGHT WHITE ANGULAR BRACKET
#>\uF576 = xlarr, longleftarrow, LongLeftArrow #LONG LEFTWARDS ARROW
#>\uF577 = xrarr, longrightarrow, LongRightArrow #LONG RIGHTWARDS ARROW
#>\uF578 = xharr, longleftrightarrow, LongLeftRightArrow #LONG LEFT RIGHT ARROW
#>\uF579 = xlArr, Longleftarrow, DoubleLongLeftArrow #LONG LEFTWARDS DOUBLE ARROW
#>\uF57A = xrArr, Longrightarrow, DoubleLongRightArrow #LONG RIGHTWARDS DOUBLE ARROW
#>\uF57B = xhArr, Longleftrightarrow, DoubleLongLeftRightArrow #LONG LEFT RIGHT DOUBLE ARROW
#>\uF57D = xmap, longmapsto #LONG RIGHTWARDS ARROW FROM BAR
#>\uF59B = FilledVerySmallSquare #BLACK VERY SMALL SQUARE
#>\uF59C = EmptyVerySmallSquare #WHITE VERY SMALL SQUARE
#>\uF5A2 = dzigrarr #RIGHTWARDS LONG ZIG-ZAG ARROW
##Generated mappings
#>\uEF06 = thksim, thicksim # 223C-FE00
#>\uEF07 = nvsim # 2241-0338
#>\uEF08 = NotEqualTilde, nesim # 2242-0338
#>\uEF09 = thkap, thickapprox # 2248-FE00
#>\uEF80 = ofr # 1D52C
#>\uEF81 = pfr # 1D52D
#>\uEF82 = qfr # 1D52E
#>\uEF0A = nvap # 2249-0338
#>\uEF83 = rfr # 1D52F
#>\uEF0B = napid # 224B-0338
#>\uEF84 = sfr # 1D530
#>\uEF0C = NotHumpDownHump, nbump # 224E-0338
#>\uEF0D = nbumpe, NotHumpEqual # 224F-0338
#>\uEF85 = tfr # 1D531
#>\uEF0E = nedot # 2260-FE00
#>\uEF86 = ufr # 1D532
#>\uEF0F = bnequiv # 2261-20E5
#>\uEF87 = vfr # 1D533
#>\uEF88 = wfr # 1D534
#>\uEF89 = xfr # 1D535
#>\uEF8A = yfr # 1D536
#>\uEF10 = lvnE, lvertneqq # 2268-FE00
#>\uEF8B = zfr # 1D537
#>\uEF11 = gvnE, gvertneqq # 2269-FE00
#>\uEF8C = Aopf # 1D538
#>\uEF12 = nLt # 226A-0338
#>\uEF8D = Bopf # 1D539
#>\uEF13 = nLtv, NotLessLess # 226A-0338-FE00
#>\uEF8E = Dopf # 1D53B
#>\uEF14 = nGt # 226B-0338
#>\uEF8F = Eopf # 1D53C
#>\uEF15 = nGtv, NotGreaterGreater # 226B-0338-FE00
#>\uEF16 = nle, nleq, NotLessEqual # 2270-20E5
#>\uEF17 = nge, ngeq, NotGreaterEqual # 2271-20E5
#>\uEF18 = NotSucceedsTilde # 227F-0338
#>\uEF19 = suphsol # 2283-002F
#>\uEF90 = Fopf # 1D53D
#>\uEF91 = Gopf # 1D53E
#>\uEF92 = Iopf # 1D540
#>\uEF1A = vsubne, vsubnE, varsubsetneq, varsubsetneqq # 228A-FE00
#>\uEF93 = Jopf # 1D541
#>\uEF1B = vsupne, vsupnE, varsupsetneq, varsupsetneqq # 228B-FE00
#>\uEF1C = NotSquareSubset # 228F-0338
#>\uEF94 = Kopf # 1D542
#>\uEF1D = NotSquareSuperset # 2290-0338
#>\uEF95 = Lopf, imped # 1D543
#>\uEF1E = sqcaps # 2293-FE00
#>\uEF96 = Mopf # 1D544
#>\uEF1F = sqcups # 2294-FE00
#>\uEF97 = Oopf # 1D546
#>\uEF98 = Sopf # 1D54A
#>\uEF99 = Topf # 1D54B
#>\uEFA0 = bopf # 1D553
#>\uEFA1 = copf # 1D554
#>\uEF9A = Uopf # 1D54C
#>\uEF20 = nLl # 22D8-0338
#>\uEFA2 = dopf # 1D555
#>\uEF9B = Vopf # 1D54D
#>\uEF21 = nGg # 22D9-0338
#>\uEFA3 = eopf # 1D556
#>\uEF9C = Wopf # 1D54E
#>\uEF22 = lesg # 22DA-FE00
#>\uEFA4 = fopf # 1D557
#>\uEF9D = Xopf # 1D54F
#>\uEF23 = gesl # 22DB-FE00
#>\uEFA5 = gopf # 1D558
#>\uEF9E = Yopf # 1D550
#>\uEF24 = nvltrie # 22EC-0338
#>\uEFA6 = hopf # 1D559
#>\uEF9F = aopf # 1D552
#>\uEF25 = nvrtrie # 22ED-0338
#>\uEFA7 = iopf # 1D55A
#>\uEF26 = notindot # 22F6-FE00
#>\uEFA8 = jopf # 1D55B
#>\uEF27 = ShortUpArrow # 2303-FE00
#>\uEFA9 = kopf # 1D55C
#>\uEF28 = ShortDownArrow # 2304-FE00
#>\uEF29 = NotNestedLessLess # 24A1-0338
#>\uEFAA = lopf # 1D55D
#>\uEFAB = mopf # 1D55E
#>\uEFAC = nopf # 1D55F
#>\uEF2A = NotNestedGreaterGreater # 24A2-0338
#>\uEFAD = oopf # 1D560
#>\uEF2B = nrarrc # 2933-0338
#>\uEFAE = popf # 1D561
#>\uEF2C = angrtvb # 299D-FE00
#>\uEFAF = qopf # 1D562
#>\uEF2D = NotLeftTriangleBar # 29CF-0338
#>\uEF2E = NotRightTriangleBar # 29D0-0338
#>\uEF2F = ncongdot # 2A6D-0338
#>\uEFB0 = ropf # 1D563
#>\uEFB1 = sopf # 1D564
#>\uEF30 = napE # 2A70-0338
#>\uEFB2 = topf # 1D565
#>\uEF31 = smtes # 2AAC-FE00
#>\uEFB3 = uopf # 1D566
#>\uEF32 = lates # 2AAD-FE00
#>\uEFB4 = vopf # 1D567
#>\uEF33 = npre, NotPrecedesEqual, npreceq # 2AAF-0338
#>\uEFB5 = wopf # 1D568
#>\uEF34 = nsce, NotSucceedsEqual, nsucceq # 2AB0-0338
#>\uEFB6 = xopf # 1D569
#>\uEF35 = Ascr # 1D49C
#>\uEFB7 = yopf # 1D56A
#>\uEF36 = Cscr # 1D49E
#>\uEFB8 = zopf # 1D56B
#>\uEF37 = Dscr # 1D49F
#>\uEF38 = Gscr # 1D4A2
#>\uEF39 = Jscr # 1D4A5
#>\uEF3A = Kscr # 1D4A6
#>\uEF3B = Nscr # 1D4A9
#>\uEF3C = Oscr # 1D4AA
#>\uEF3D = Pscr # 1D4AB
#>\uEF3E = Qscr # 1D4AC
#>\uEF3F = Sscr # 1D4AE
#>\uEEEE = bne # 003D-20E5
#>\uEEEF = bsolhsub # 005C-2282
#>\uEF40 = Tscr # 1D4AF
#>\uEF41 = Uscr # 1D4B0
#>\uEEF0 = jmath # 006A-FE00
#>\uEF42 = Vscr # 1D4B1
#>\uEEF1 = NegativeThickSpace # 2005-FE00
#>\uEF43 = Wscr # 1D4B2
#>\uEEF2 = ThickSpace # 2009-200A-200A
#>\uEF44 = Xscr # 1D4B3
#>\uEEF3 = NegativeThinSpace # 2009-FE00
#>\uEF45 = Yscr # 1D4B4
#>\uEEF4 = NegativeVeryThinSpace # 200A-FE00
#>\uEF46 = Zscr # 1D4B5
#>\uEEF5 = NegativeMediumSpace # 205F-FE00
#>\uEF47 = ascr # 1D4B6
#>\uEEF6 = planck, hbar # 210F-FE00
#>\uEF48 = bscr # 1D4B7
#>\uEEF7 = slarr, ShortLeftArrow # 2190-FE00
#>\uEEF8 = srarr, ShortRightArrow # 2192-FE00
#>\uEF49 = cscr # 1D4B8
#>\uEEF9 = nrarrw # 219D-0338
#>\uEF4A = dscr # 1D4B9
#>\uEF4B = fscr # 1D4BB
#>\uEEFA = npart # 2202-0338
#>\uEF4C = hscr # 1D4BD
#>\uEEFB = empty, emptyset # 2205-FE00
#>\uEF4D = iscr # 1D4BE
#>\uEEFC = notinva # 2209-0338
#>\uEF4E = jscr # 1D4BF
#>\uEEFD = ssetmn, smallsetminus # 2216-FE00
#>\uEF4F = kscr # 1D4C0
#>\uEEFE = nang # 2220-0338
#>\uEEFF = smid, shortmid # 2223-FE00
#>\uEF50 = mscr # 1D4C2
#>\uEF51 = nscr # 1D4C3
#>\uEF52 = pscr # 1D4C5
#>\uEF53 = qscr # 1D4C6
#>\uEF54 = rscr # 1D4C7
#>\uEF55 = sscr # 1D4C8
#>\uEF56 = tscr # 1D4C9
#>\uEF57 = uscr # 1D4CA
#>\uEF58 = vscr # 1D4CB
#>\uEF59 = wscr # 1D4CC
#>\uEF5A = xscr # 1D4CD
#>\uEF5B = yscr # 1D4CE
#>\uEF5C = zscr # 1D4CF
#>\uEF5D = Afr # 1D504
#>\uEF5E = Bfr # 1D505
#>\uEF5F = Dfr # 1D507
#>\uEF60 = Efr # 1D508
#>\uEF61 = Ffr # 1D509
#>\uEF62 = Gfr # 1D50A
#>\uEF63 = Jfr # 1D50D
#>\uEF64 = Kfr # 1D50E
#>\uEF65 = Lfr # 1D50F
#>\uEF66 = Mfr # 1D510
#>\uEF67 = Nfr # 1D511
#>\uEF68 = Ofr # 1D512
#>\uEF69 = Pfr # 1D513
#>\uEF6A = Qfr # 1D514
#>\uEF6B = Sfr # 1D516
#>\uEF6C = Tfr # 1D517
#>\uEF6D = Ufr # 1D518
#>\uEF6E = Vfr # 1D519
#>\uEF6F = Wfr # 1D51A
#>\uEF70 = Xfr # 1D51B
#>\uEF71 = Yfr # 1D51C
#>\uEF72 = afr # 1D51E
#>\uEF73 = bfr # 1D51F
#>\uEF74 = cfr # 1D520
#>\uEF75 = dfr # 1D521
#>\uEF76 = efr # 1D522
#>\uEF77 = ffr # 1D523
#>\uEF78 = gfr # 1D524
#>\uEF79 = hfr # 1D525
#>\uEF7A = ifr # 1D526
#>\uEF00 = nsmid, nshortmid # 2224-FE00
#>\uEF7B = jfr # 1D527
#>\uEF01 = spar, parsl, shortparallel # 2225-FE00
#>\uEF7C = kfr # 1D528
#>\uEF02 = nparsl # 2225-FE00-20E5
#>\uEF7D = lfr # 1D529
#>\uEF03 = nspar, nshortparallel # 2226-FE00
#>\uEF7E = mfr # 1D52A
#>\uEF04 = caps # 2229-FE00
#>\uEF7F = nfr # 1D52B
#>\uEF05 = cups # 222A-FE00
#27/03/2001 7:41AM
#>EndSection2#######################################################

View File

@@ -27,24 +27,31 @@
mathfont = Symbol
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
\u0028 = \uF8EB\uFFFD\uF8ED\uF8EC\u0028
\u0029 = \uF8F6\uFFFD\uF8F8\uF8F7\u0029
\u005B = \uF8EE\uF8EF\uF8F0\uF8EF\u005B
\u005D = \uF8F9\uF8FA\uF8FB\uF8FA\u005D
\u007B = \uF8F1\uF8F2\uF8F3\uF8F4\u007B
\u007D = \uF8FC\uF8FD\uF8FE\uF8F4\u007D
\u2191 = \u2191\uFFFD\uFFFD\uF8E6\u2191
\u2193 = \uFFFD\uFFFD\u2193\uF8E6\u2193
\u2195 = \u2191\uFFFD\u2193\uF8E6\u2195
\u2190 = \u2190\uFFFD\uFFFD\uF8E7\u2190
\u2192 = \uFFFD\uFFFD\u2192\uF8E7\u2192
\u2194 = \u2190\uFFFD\u2192\uF8E7\u2194
\u00AF = \uFFFD\uFFFD\uFFFD\u00AF\u00AF
\u007C = \uFFFD\uFFFD\uFFFD\u007C\u007C
\u0028 = \uF8FF\uFFFD\uF8FF\uF8FF\u0028 # (
\u0029 = \uF8FF\uFFFD\uF8FF\uF8FF\u0029 # )
\u005B = \uF8FF\uFFFD\uF8FF\uF8FF\u005B # [
\u005D = \uF8FF\uFFFD\uF8FF\uF8FF\u005D # ]
\u007B = \uF8FF\uF8FF\uF8FF\uF8FF\u007B # {
\u007C = \uFFFD\uFFFD\uFFFD\u007C\u007C # |
\u007D = \uF8FF\uF8FF\uF8FF\uF8FF\u007D # }
\u2190 = \u2190\uFFFD\uFFFD\uF8FF\u2190 # LeftArrow, larr, leftarrow
\u2191 = \u2191\uFFFD\uFFFD\uF8FF\u2191 # UpArrow, uarr, uparrow
\u2192 = \uFFFD\uFFFD\u2192\uF8FF\u2192 # RightArrow, rarr, rightarrow
\u2193 = \uFFFD\uFFFD\u2193\uF8FF\u2193 # DownArrow, darr, downarrow
\u2194 = \u2190\uFFFD\u2192\uF8FF\u2194 # LeftRightArrow, harr, leftrightarrow
\u2195 = \u2191\uFFFD\u2193\uF8FF\u2195 # UpDownArrow, updownarrow, varr
\u2308 = \u005B.T\uFFFD\uFFFD\u005B.G\u2308 # LeftCeiling, lceil
\u2309 = \u005D.T\uFFFD\uFFFD\u005D.G\u2309 # RightCeiling, rceil
\u230A = \uFFFD\uFFFD\u005B.B\u005B.G\u230A # LeftFloor, lfloor
\u230B = \uFFFD\uFFFD\u005D.B\u005D.G\u230B # RightFloor, rfloor
\u005F = \uFFFD\uFFFD\uFFFD\u005F\u0332 # ad-hock: UnderBar (0x0332) is stretched with underscore
\u00AF = \uFFFD\uFFFD\uFFFD\uF8E5\u00AF # ad-hoc: overbar is stretched with the radical extender
#For Windows
#\u222B = \u2320\uFFFD\u2321\uF8F5\u222B
#\u222B = \u2320\uFFFD\u2321\uF8FF\u222B # Integral, int
# For linux, we want use a rule as glue for the integral
# to avoid problems with the font' supplied glue
\u222B = \u2320\uFFFD\u2321\uFFFD\u222B
# For Linux, we want to use a rule as glue for the
# integral to avoid problems with the font' supplied glue
# (this is okay for Windows too)
\u222B = \u2320\uFFFD\u2321\uFFFD\u222B # Integral, int