diff --git a/mozilla/layout/mathml/base/src/Makefile.in b/mozilla/layout/mathml/base/src/Makefile.in index 7f48ecc9ad8..90610006d06 100644 --- a/mozilla/layout/mathml/base/src/Makefile.in +++ b/mozilla/layout/mathml/base/src/Makefile.in @@ -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 diff --git a/mozilla/layout/mathml/base/src/makefile.win b/mozilla/layout/mathml/base/src/makefile.win index c07ece83ce8..8e4dd541d7c 100644 --- a/mozilla/layout/mathml/base/src/makefile.win +++ b/mozilla/layout/mathml/base/src/makefile.win @@ -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 diff --git a/mozilla/layout/mathml/base/src/mathfont.properties b/mozilla/layout/mathml/base/src/mathfont.properties index 20854626eef..8d2c4e02c58 100644 --- a/mozilla/layout/mathml/base/src/mathfont.properties +++ b/mozilla/layout/mathml/base/src/mathfont.properties @@ -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 +## +## Contributor(s): +## Roger B. Sidje ## # 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 # ” operator.\u2019.postfix = fence:true lspace:0em rspace:0em # ’ -operator.\u3008.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟨ -operator.\uF603.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftBracketingBar; +operator.\u2329.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟨ +# UNRESOLVED operator.&LeftBracketingBar;.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftBracketingBar; operator.\u2308.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⌈ operator.\u301A.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟦ -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 # ⌊ operator.\u201C.prefix = fence:true lspace:0em rspace:0em # “ operator.\u2018.prefix = fence:true lspace:0em rspace:0em # ‘ -operator.\u3009.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟩ -operator.\uF604.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightBracketingBar; +operator.\u232A.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟩ +# UNRESOLVED operator.&RightBracketingBar;.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightBracketingBar; operator.\u2309.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⌉ operator.\u301B.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⟧ -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 # ⌋ -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 # ⁣ -operator.\u002C.infix = separator:true lspace:0em rspace:0.33333em # , -operator.\uE859.infix = stretchy:horizontal lspace:0em rspace:0em # ─ -operator.\uE85A.infix = stretchy:vertical lspace:0em rspace:0em # | -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 # ⁣ +operator.\u002C.infix = separator:true lspace:0em rspace:verythickmathspace # , +operator.\u2500.infix = stretchy:horizontal minsize:0 lspace:0em rspace:0em # ─ +operator.\u007C.infix = stretchy:vertical minsize:0 lspace:0em rspace:0em # | | +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 # ≔ -operator.\u2235.infix = lspace:0.27777em rspace:0.27777em # ∵ -operator.\u2234.infix = lspace:0.27777em rspace:0.27777em # ∴ -operator.\uE85C.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ❘ -operator.\u002F\u002F.infix = lspace:0.27777em rspace:0.27777em # // -operator.\u2237.infix = lspace:0.27777em rspace:0.27777em # ∷ ∷ -operator.\u0026.prefix = lspace:0em rspace:0.27777em # & -operator.\u0026.postfix = lspace:0.27777em rspace:0em # & -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 # ∋ ∋ -operator.\uE30F.infix = lspace:0.27777em rspace:0.27777em # ⫤ -operator.\u22A8.infix = lspace:0.27777em rspace:0.27777em # ⊨ -operator.\u22A4.infix = lspace:0.27777em rspace:0.27777em # ⊤ -operator.\u22A3.infix = lspace:0.27777em rspace:0.27777em # ⊣ -operator.\u22A2.infix = lspace:0.27777em rspace:0.27777em # ⊢ -operator.\u21D2.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇒ ⇒ -operator.\uF524.infix = lspace:0.27777em rspace:0.27777em # ⥰ -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 # ⩔ -operator.\u0026\u0026.infix = lspace:0.27777em rspace:0.27777em # && -operator.\uE374.infix = lspace:0.22222em rspace:0.22222em # ⩓ -operator.\u0026.infix = lspace:0.27777em rspace:0.27777em # & -operator.\u0021.prefix = lspace:0em rspace:0.27777em # ! -operator.\uE3AC.prefix = lspace:0em rspace:0.27777em # ⫬ -operator.\u2203.prefix = lspace:0em rspace:0.27777em # ∃ -operator.\u2200.prefix = lspace:0em rspace:0.27777em # ∀ -operator.\u2204.prefix = lspace:0em rspace:0.27777em # ∄ -operator.\u2208.infix = lspace:0.27777em rspace:0.27777em # ∈ -operator.\u2209.infix = lspace:0.27777em rspace:0.27777em # ∉ -operator.\u220C.infix = lspace:0.27777em rspace:0.27777em # ∌ -operator.\uE604.infix = lspace:0.27777em rspace:0.27777em # ⊏̸ -operator.\u22E2.infix = lspace:0.27777em rspace:0.27777em # ⋢ -operator.\uE615.infix = lspace:0.27777em rspace:0.27777em # ⊐̸ -operator.\u22E3.infix = lspace:0.27777em rspace:0.27777em # ⋣ -operator.\u2284.infix = lspace:0.27777em rspace:0.27777em # ⊂⃒ -operator.\u2288.infix = lspace:0.27777em rspace:0.27777em # ⊈ -operator.\u2285.infix = lspace:0.27777em rspace:0.27777em # ⊃⃒ -operator.\u2289.infix = lspace:0.27777em rspace:0.27777em # ⊉ -operator.\u228F.infix = lspace:0.27777em rspace:0.27777em # ⊏ -operator.\u2291.infix = lspace:0.27777em rspace:0.27777em # ⊑ -operator.\u2290.infix = lspace:0.27777em rspace:0.27777em # ⊐ -operator.\u2292.infix = lspace:0.27777em rspace:0.27777em # ⊒ -operator.\u22D0.infix = lspace:0.27777em rspace:0.27777em # ⋐ -operator.\u2286.infix = lspace:0.27777em rspace:0.27777em # ⊆ -operator.\u2283.infix = lspace:0.27777em rspace:0.27777em # ⊃ -operator.\u2287.infix = lspace:0.27777em rspace:0.27777em # ⊇ -operator.\u21D0.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇐ -operator.\u21D4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇔ -operator.\uF50B.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ⥐ -operator.\uF50E.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ⥞ -operator.\u21BD.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ↽ -operator.\uF50C.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ⥖ -operator.\uF50F.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ⥟ -operator.\u21C1.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ⇁ -operator.\uF50D.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ⥗ -operator.\u2190.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ← -operator.\u21E4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇤ -operator.\u21C6.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇆ -operator.\u2194.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ↔ -operator.\uF505.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⥎ -operator.\u21A4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ↤ -operator.\uF509.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⥚ -operator.\u21BC.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ↼ -operator.\uF507.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⥒ -operator.\u2199.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ↙ -operator.\u2198.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ↘ -operator.\u2192.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # → -operator.\u21E5.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇥ -operator.\u21C4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇄ -operator.\u21A6.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ↦ -operator.\uF50A.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⥛ -operator.\u21C0.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇀ -operator.\uF508.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⥓ -operator.\uE233.infix = lspace:0.27777em rspace:0.27777em # ← -operator.\uE232.infix = lspace:0.27777em rspace:0.27777em # → -operator.\u2196.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ↖ -operator.\u2197.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ↗ -operator.\u003D.infix = lspace:0.27777em rspace:0.27777em # = -operator.\u003C.infix = lspace:0.27777em rspace:0.27777em # < -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 # <= -operator.\u003E\u003D.infix = lspace:0.27777em rspace:0.27777em # >= -operator.\u2261.infix = lspace:0.27777em rspace:0.27777em # ≡ -operator.\u224D.infix = lspace:0.27777em rspace:0.27777em # ≍ -operator.\u2250.infix = lspace:0.27777em rspace:0.27777em # ≐ -operator.\u2225.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # ∥ -operator.\uF431.infix = lspace:0.27777em rspace:0.27777em # ⩵ -operator.\u2242.infix = lspace:0.27777em rspace:0.27777em # ≂ -operator.\u21CC.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇌ -operator.\u2265.infix = lspace:0.27777em rspace:0.27777em # ≥ -operator.\u22DB.infix = lspace:0.27777em rspace:0.27777em # ⋛ -operator.\u2267.infix = lspace:0.27777em rspace:0.27777em # ≧ -operator.\uE2F7.infix = lspace:0.27777em rspace:0.27777em # ⪢ -operator.\u2277.infix = lspace:0.27777em rspace:0.27777em # ≷ -operator.\uE2F6.infix = lspace:0.27777em rspace:0.27777em # ⩾ -operator.\u2273.infix = lspace:0.27777em rspace:0.27777em # ≳ -operator.\u224E.infix = lspace:0.27777em rspace:0.27777em # ≎ -operator.\u224F.infix = lspace:0.27777em rspace:0.27777em # ≏ -operator.\u22B2.infix = lspace:0.27777em rspace:0.27777em # ⊲ -operator.\uF410.infix = lspace:0.27777em rspace:0.27777em # ⧏ -operator.\u22B4.infix = lspace:0.27777em rspace:0.27777em # ⊴ -operator.\u2264.infix = lspace:0.27777em rspace:0.27777em # ≤ -operator.\u22DA.infix = lspace:0.27777em rspace:0.27777em # ⋚ -operator.\u2266.infix = lspace:0.27777em rspace:0.27777em # ≦ -operator.\u2276.infix = lspace:0.27777em rspace:0.27777em # ≶ -operator.\uE2FB.infix = lspace:0.27777em rspace:0.27777em # ⪡ -operator.\uE2FA.infix = lspace:0.27777em rspace:0.27777em # ⩽ -operator.\u2272.infix = lspace:0.27777em rspace:0.27777em # ≲ -operator.\u226B.infix = lspace:0.27777em rspace:0.27777em # ≫ -operator.\u226A.infix = lspace:0.27777em rspace:0.27777em # ≪ -operator.\u2262.infix = lspace:0.27777em rspace:0.27777em # ≢ -operator.\u226D.infix = lspace:0.27777em rspace:0.27777em # ≭ -operator.\u2226.infix = lspace:0.27777em rspace:0.27777em # ∦ -operator.\u2260.infix = lspace:0.27777em rspace:0.27777em # ≠ -operator.\uE84E.infix = lspace:0.27777em rspace:0.27777em # ≂̸ -operator.\u226F.infix = lspace:0.27777em rspace:0.27777em # ≯ -operator.\uE2A6.infix = lspace:0.27777em rspace:0.27777em # ≱ -operator.\u2270.infix = lspace:0.27777em rspace:0.27777em # ≧̸ ⩽̸ -operator.\uE2CC.infix = lspace:0.27777em rspace:0.27777em # ≫̸ -operator.\u2279.infix = lspace:0.27777em rspace:0.27777em # ≹ -operator.\u2271.infix = lspace:0.27777em rspace:0.27777em # ⩾̸ -operator.\u2275.infix = lspace:0.27777em rspace:0.27777em # ≵ -operator.\uE616.infix = lspace:0.27777em rspace:0.27777em # ≎̸ -operator.\uE84D.infix = lspace:0.27777em rspace:0.27777em # ≏̸ -operator.\u22EA.infix = lspace:0.27777em rspace:0.27777em # ⋪ -operator.\uF412.infix = lspace:0.27777em rspace:0.27777em # ⧏̸ -operator.\u22EC.infix = lspace:0.27777em rspace:0.27777em # ⋬ -operator.\u226E.infix = lspace:0.27777em rspace:0.27777em # ≮ -operator.\uE2A7.infix = lspace:0.27777em rspace:0.27777em # ≰ -operator.\u2278.infix = lspace:0.27777em rspace:0.27777em # ≸ -operator.\uE2CB.infix = lspace:0.27777em rspace:0.27777em # ≪̸ -operator.\u2274.infix = lspace:0.27777em rspace:0.27777em # ≴ -operator.\uF428.infix = lspace:0.27777em rspace:0.27777em # ⪢̸ -operator.\uF423.infix = lspace:0.27777em rspace:0.27777em # ⪡̸ -operator.\u2280.infix = lspace:0.27777em rspace:0.27777em # ⊀ -operator.\uE5DC.infix = lspace:0.27777em rspace:0.27777em # ⪯̸ -operator.\u22E0.infix = lspace:0.27777em rspace:0.27777em # ⋠ -operator.\u22EB.infix = lspace:0.27777em rspace:0.27777em # ⋫ -operator.\uF413.infix = lspace:0.27777em rspace:0.27777em # ⧐̸ -operator.\u22ED.infix = lspace:0.27777em rspace:0.27777em # ⋭ -operator.\u2281.infix = lspace:0.27777em rspace:0.27777em # ⊁ -operator.\uE5F1.infix = lspace:0.27777em rspace:0.27777em # ⪰̸ -operator.\u22E1.infix = lspace:0.27777em rspace:0.27777em # ⋡ -operator.\uE837.infix = lspace:0.27777em rspace:0.27777em # ≿̸ -operator.\u2241.infix = lspace:0.27777em rspace:0.27777em # ≁ -operator.\u2244.infix = lspace:0.27777em rspace:0.27777em # ≄ -operator.\u2247.infix = lspace:0.27777em rspace:0.27777em # ≇ -operator.\u2249.infix = lspace:0.27777em rspace:0.27777em # ≉ -operator.\u2224.infix = lspace:0.27777em rspace:0.27777em # ∤ -operator.\u227A.infix = lspace:0.27777em rspace:0.27777em # ≺ -operator.\uE2FE.infix = lspace:0.27777em rspace:0.27777em # ⪯ -operator.\u227C.infix = lspace:0.27777em rspace:0.27777em # ≼ -operator.\u227E.infix = lspace:0.27777em rspace:0.27777em # ≾ -operator.\u221D.infix = lspace:0.27777em rspace:0.27777em # ∝ -operator.\u21CB.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # ⇋ -operator.\u22B3.infix = lspace:0.27777em rspace:0.27777em # ⊳ -operator.\uF411.infix = lspace:0.27777em rspace:0.27777em # ⧐ -operator.\u22B5.infix = lspace:0.27777em rspace:0.27777em # ⊵ -operator.\u227B.infix = lspace:0.27777em rspace:0.27777em # ≻ -operator.\u227D.infix = lspace:0.27777em rspace:0.27777em # ⪰ ≽ -operator.\u227F.infix = lspace:0.27777em rspace:0.27777em # ≿ -operator.\u223C.infix = lspace:0.27777em rspace:0.27777em # ∼ -operator.\u2243.infix = lspace:0.27777em rspace:0.27777em # ≃ -operator.\u2245.infix = lspace:0.27777em rspace:0.27777em # ≅ -operator.\u2248.infix = lspace:0.27777em rspace:0.27777em # ≈ -operator.\u22A5.infix = lspace:0.27777em rspace:0.27777em # ⊥ -operator.\u2223.infix = lspace:0.27777em rspace:0.27777em # ∣ -operator.\u2294.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # ⊔ -operator.\u22C3.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # ⋃ -operator.\u228E.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # ⊎ -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 # ⋂ -operator.\u2213.infix = lspace:0.22222em rspace:0.22222em # ∓ -operator.\u00B1.infix = lspace:0.22222em rspace:0.22222em # ± -operator.\u2293.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # ⊓ -operator.\u22C1.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # ⋁ -operator.\u2296.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # ⊖ -operator.\u2295.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # ⊕ -operator.\u2211.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # ∑ -operator.\u22C3.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # ⋃ -operator.\u228E.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # ⊎ -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 # ⊖ -operator.\u2295.infix = lspace:0.16666em rspace:0.16666em # ⊕ +operator.\u003A\u003D.infix = lspace:thickmathspace rspace:thickmathspace # := +operator.\u2254.infix = lspace:thickmathspace rspace:thickmathspace # ≔ +operator.\u2235.infix = lspace:thickmathspace rspace:thickmathspace # ∵ +operator.\u2234.infix = lspace:thickmathspace rspace:thickmathspace # ∴ +operator.\u2758.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ❘ +operator.\u002F\u002F.infix = lspace:thickmathspace rspace:thickmathspace # // +operator.\u2237.infix = lspace:thickmathspace rspace:thickmathspace # ∷ ∷ +operator.\u0026.prefix = lspace:0em rspace:thickmathspace # & +operator.\u0026.postfix = lspace:thickmathspace rspace:0em # & +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 # ∋ ∋ +operator.\u2AE4.infix = lspace:thickmathspace rspace:thickmathspace # ⫤ +operator.\u22A8.infix = lspace:thickmathspace rspace:thickmathspace # ⊨ +operator.\u22A4.infix = lspace:thickmathspace rspace:thickmathspace # ⊤ +operator.\u22A3.infix = lspace:thickmathspace rspace:thickmathspace # ⊣ +operator.\u22A2.infix = lspace:thickmathspace rspace:thickmathspace # ⊢ +operator.\u21D2.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇒ ⇒ +operator.\u2970.infix = lspace:thickmathspace rspace:thickmathspace # ⥰ +operator.\u007C\u007C.infix = lspace:mediummathspace rspace:mediummathspace # || +operator.\u2A54.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⩔ +operator.\u0026\u0026.infix = lspace:thickmathspace rspace:thickmathspace # && +operator.\u2A53.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⩓ +operator.\u0026.infix = lspace:thickmathspace rspace:thickmathspace # & +operator.\u0021.prefix = lspace:0em rspace:thickmathspace # ! +operator.\u2AEC.prefix = lspace:0em rspace:thickmathspace # ⫬ +operator.\u2203.prefix = lspace:0em rspace:thickmathspace # ∃ +operator.\u2200.prefix = lspace:0em rspace:thickmathspace # ∀ +operator.\u2204.prefix = lspace:0em rspace:thickmathspace # ∄ +operator.\u2208.infix = lspace:thickmathspace rspace:thickmathspace # ∈ +operator.\u2209.infix = lspace:thickmathspace rspace:thickmathspace # ∉ +operator.\u220C.infix = lspace:thickmathspace rspace:thickmathspace # ∌ +operator.\uEF1C.infix = lspace:thickmathspace rspace:thickmathspace # ⊏̸ +operator.\u22E2.infix = lspace:thickmathspace rspace:thickmathspace # ⋢ +operator.\uEF1D.infix = lspace:thickmathspace rspace:thickmathspace # ⊐̸ +operator.\u22E3.infix = lspace:thickmathspace rspace:thickmathspace # ⋣ +operator.\u2284.infix = lspace:thickmathspace rspace:thickmathspace # ⊂⃒ +operator.\u2288.infix = lspace:thickmathspace rspace:thickmathspace # ⊈ +operator.\u2285.infix = lspace:thickmathspace rspace:thickmathspace # ⊃⃒ +operator.\u2289.infix = lspace:thickmathspace rspace:thickmathspace # ⊉ +operator.\u228F.infix = lspace:thickmathspace rspace:thickmathspace # ⊏ +operator.\u2291.infix = lspace:thickmathspace rspace:thickmathspace # ⊑ +operator.\u2290.infix = lspace:thickmathspace rspace:thickmathspace # ⊐ +operator.\u2292.infix = lspace:thickmathspace rspace:thickmathspace # ⊒ +operator.\u22D0.infix = lspace:thickmathspace rspace:thickmathspace # ⋐ +operator.\u2286.infix = lspace:thickmathspace rspace:thickmathspace # ⊆ +operator.\u2283.infix = lspace:thickmathspace rspace:thickmathspace # ⊃ +operator.\u2287.infix = lspace:thickmathspace rspace:thickmathspace # ⊇ +operator.\u21D0.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇐ +operator.\u21D4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇔ +operator.\u2950.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥐ +operator.\u295E.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥞ +operator.\u21BD.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↽ +operator.\u2956.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥖ +operator.\u295F.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥟ +operator.\u21C1.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇁ +operator.\u2957.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥗ +operator.\u2190.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ← +operator.\u21E4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇤ +operator.\u21C6.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇆ +operator.\u2194.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↔ +operator.\u294E.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥎ +operator.\u21A4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↤ +operator.\u295A.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥚ +operator.\u21BC.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↼ +operator.\u2952.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥒ +operator.\u2199.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↙ +operator.\u2198.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↘ +operator.\u2192.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # → +operator.\u21E5.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇥ +operator.\u21C4.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇄ +operator.\u21A6.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↦ +operator.\u295B.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥛ +operator.\u21C0.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇀ +operator.\u2953.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⥓ +operator.\uEEF7.infix = lspace:thickmathspace rspace:thickmathspace # ← +operator.\uEEF8.infix = lspace:thickmathspace rspace:thickmathspace # → +operator.\u2196.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ↖ +operator.\u2197.infix = stretchy:vertical lspace:thickmathspace rspace:thickmathspace # ↗ +operator.\u003D.infix = lspace:thickmathspace rspace:thickmathspace # = +operator.\u003C.infix = lspace:thickmathspace rspace:thickmathspace # < +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 # <= +operator.\u003E\u003D.infix = lspace:thickmathspace rspace:thickmathspace # >= +operator.\u2261.infix = lspace:thickmathspace rspace:thickmathspace # ≡ +operator.\u224D.infix = lspace:thickmathspace rspace:thickmathspace # ≍ +operator.\u2250.infix = lspace:thickmathspace rspace:thickmathspace # ≐ +operator.\u2225.infix = lspace:thickmathspace rspace:thickmathspace # ∥ +operator.\u2A75.infix = lspace:thickmathspace rspace:thickmathspace # ⩵ +operator.\u2242.infix = lspace:thickmathspace rspace:thickmathspace # ≂ +operator.\u21CC.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇌ +operator.\u2265.infix = lspace:thickmathspace rspace:thickmathspace # ≥ +operator.\u22DB.infix = lspace:thickmathspace rspace:thickmathspace # ⋛ +operator.\u2267.infix = lspace:thickmathspace rspace:thickmathspace # ≧ +operator.\u2AA2.infix = lspace:thickmathspace rspace:thickmathspace # ⪢ +operator.\u2277.infix = lspace:thickmathspace rspace:thickmathspace # ≷ +operator.\u2A7E.infix = lspace:thickmathspace rspace:thickmathspace # ⩾ +operator.\u2273.infix = lspace:thickmathspace rspace:thickmathspace # ≳ +operator.\u224E.infix = lspace:thickmathspace rspace:thickmathspace # ≎ +operator.\u224F.infix = lspace:thickmathspace rspace:thickmathspace # ≏ +operator.\u22B2.infix = lspace:thickmathspace rspace:thickmathspace # ⊲ +operator.\u29CF.infix = lspace:thickmathspace rspace:thickmathspace # ⧏ +operator.\u22B4.infix = lspace:thickmathspace rspace:thickmathspace # ⊴ +operator.\u2264.infix = lspace:thickmathspace rspace:thickmathspace # ≤ +operator.\u22DA.infix = lspace:thickmathspace rspace:thickmathspace # ⋚ +operator.\u2266.infix = lspace:thickmathspace rspace:thickmathspace # ≦ +operator.\u2276.infix = lspace:thickmathspace rspace:thickmathspace # ≶ +operator.\u2AA1.infix = lspace:thickmathspace rspace:thickmathspace # ⪡ +operator.\u2A7D.infix = lspace:thickmathspace rspace:thickmathspace # ⩽ +operator.\u2272.infix = lspace:thickmathspace rspace:thickmathspace # ≲ +operator.\u226B.infix = lspace:thickmathspace rspace:thickmathspace # ≫ +operator.\u226A.infix = lspace:thickmathspace rspace:thickmathspace # ≪ +operator.\u2262.infix = lspace:thickmathspace rspace:thickmathspace # ≢ +operator.\u226D.infix = lspace:thickmathspace rspace:thickmathspace # ≭ +operator.\u2226.infix = lspace:thickmathspace rspace:thickmathspace # ∦ +operator.\u2260.infix = lspace:thickmathspace rspace:thickmathspace # ≠ +operator.\uEF08.infix = lspace:thickmathspace rspace:thickmathspace # ≂̸ +operator.\u226F.infix = lspace:thickmathspace rspace:thickmathspace # ≯ +operator.\uEF17.infix = lspace:thickmathspace rspace:thickmathspace # ≱ +operator.\u2270.infix = lspace:thickmathspace rspace:thickmathspace # ≧̸ ⩽̸ +operator.\uEF15.infix = lspace:thickmathspace rspace:thickmathspace # ≫̸ +operator.\u2279.infix = lspace:thickmathspace rspace:thickmathspace # ≹ +operator.\u2271.infix = lspace:thickmathspace rspace:thickmathspace # ⩾̸ +operator.\u2275.infix = lspace:thickmathspace rspace:thickmathspace # ≵ +operator.\uEF0C.infix = lspace:thickmathspace rspace:thickmathspace # ≎̸ +operator.\uEF0D.infix = lspace:thickmathspace rspace:thickmathspace # ≏̸ +operator.\u22EA.infix = lspace:thickmathspace rspace:thickmathspace # ⋪ +operator.\uEF2D.infix = lspace:thickmathspace rspace:thickmathspace # ⧏̸ +operator.\u22EC.infix = lspace:thickmathspace rspace:thickmathspace # ⋬ +operator.\u226E.infix = lspace:thickmathspace rspace:thickmathspace # ≮ +operator.\uEF16.infix = lspace:thickmathspace rspace:thickmathspace # ≰ +# UNRESOLVED operator.&NotLessFullEqual;.infix = lspace:thickmathspace rspace:thickmathspace # &NotLessFullEqual; +operator.\u2278.infix = lspace:thickmathspace rspace:thickmathspace # ≸ +operator.\uEF13.infix = lspace:thickmathspace rspace:thickmathspace # ≪̸ +operator.\u2274.infix = lspace:thickmathspace rspace:thickmathspace # ≴ +operator.\uEF2A.infix = lspace:thickmathspace rspace:thickmathspace # ⪢̸ +operator.\uEF29.infix = lspace:thickmathspace rspace:thickmathspace # ⪡̸ +operator.\u2280.infix = lspace:thickmathspace rspace:thickmathspace # ⊀ +operator.\uEF33.infix = lspace:thickmathspace rspace:thickmathspace # ⪯̸ +operator.\u22E0.infix = lspace:thickmathspace rspace:thickmathspace # ⋠ +# UNRESOLVED operator.&NotPrecedesTilde;.infix = lspace:thickmathspace rspace:thickmathspace # &NotPrecedesTilde; +operator.\u22EB.infix = lspace:thickmathspace rspace:thickmathspace # ⋫ +operator.\uEF2E.infix = lspace:thickmathspace rspace:thickmathspace # ⧐̸ +operator.\u22ED.infix = lspace:thickmathspace rspace:thickmathspace # ⋭ +operator.\u2281.infix = lspace:thickmathspace rspace:thickmathspace # ⊁ +operator.\uEF34.infix = lspace:thickmathspace rspace:thickmathspace # ⪰̸ +operator.\u22E1.infix = lspace:thickmathspace rspace:thickmathspace # ⋡ +operator.\uEF18.infix = lspace:thickmathspace rspace:thickmathspace # ≿̸ +operator.\u2241.infix = lspace:thickmathspace rspace:thickmathspace # ≁ +operator.\u2244.infix = lspace:thickmathspace rspace:thickmathspace # ≄ +operator.\u2247.infix = lspace:thickmathspace rspace:thickmathspace # ≇ +operator.\u2249.infix = lspace:thickmathspace rspace:thickmathspace # ≉ +operator.\u2224.infix = lspace:thickmathspace rspace:thickmathspace # ∤ +operator.\u227A.infix = lspace:thickmathspace rspace:thickmathspace # ≺ +operator.\u2AAF.infix = lspace:thickmathspace rspace:thickmathspace # ⪯ +operator.\u227C.infix = lspace:thickmathspace rspace:thickmathspace # ≼ +operator.\u227E.infix = lspace:thickmathspace rspace:thickmathspace # ≾ +operator.\u221D.infix = lspace:thickmathspace rspace:thickmathspace # ∝ +operator.\u21CB.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ⇋ +operator.\u22B3.infix = lspace:thickmathspace rspace:thickmathspace # ⊳ +operator.\u29D0.infix = lspace:thickmathspace rspace:thickmathspace # ⧐ +operator.\u22B5.infix = lspace:thickmathspace rspace:thickmathspace # ⊵ +operator.\u227B.infix = lspace:thickmathspace rspace:thickmathspace # ≻ +operator.\u227D.infix = lspace:thickmathspace rspace:thickmathspace # ⪰ ≽ +operator.\u227F.infix = lspace:thickmathspace rspace:thickmathspace # ≿ +operator.\u223C.infix = lspace:thickmathspace rspace:thickmathspace # ∼ +operator.\u2243.infix = lspace:thickmathspace rspace:thickmathspace # ≃ +operator.\u2245.infix = lspace:thickmathspace rspace:thickmathspace # ≅ +operator.\u2248.infix = lspace:thickmathspace rspace:thickmathspace # ≈ +operator.\u22A5.infix = lspace:thickmathspace rspace:thickmathspace # ⊥ +operator.\u2223.infix = lspace:thickmathspace rspace:thickmathspace # ∣ +operator.\u2294.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⊔ +operator.\u22C3.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⋃ +operator.\u228E.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⊎ +operator.\u002D.infix = lspace:mediummathspace rspace:mediummathspace # - +operator.\u002B.infix = lspace:mediummathspace rspace:mediummathspace # + +operator.\u22C2.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⋂ +operator.\u2213.infix = lspace:mediummathspace rspace:mediummathspace # ∓ +operator.\u00B1.infix = lspace:mediummathspace rspace:mediummathspace # ± +operator.\u2293.infix = stretchy:vertical lspace:mediummathspace rspace:mediummathspace # ⊓ +operator.\u22C1.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋁ +operator.\u2296.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊖ +operator.\u2295.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊕ +operator.\u2211.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ∑ +operator.\u22C3.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋃ +operator.\u228E.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊎ +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 # ⊖ +operator.\u2295.infix = lspace:thinmathspace rspace:thinmathspace # ⊕ operator.\u2232.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∲ operator.\u222E.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∮ operator.\u2233.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∳ operator.\u222F.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∯ operator.\u222B.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∫ -operator.\u22D3.infix = lspace:0.16666em rspace:0.16666em # ⋓ -operator.\u22D2.infix = lspace:0.16666em rspace:0.16666em # ⋒ -operator.\u2240.infix = lspace:0.16666em rspace:0.16666em # ≀ -operator.\u22C0.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # ⋀ -operator.\u2297.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # ⊗ -operator.\u2210.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # ∐ -operator.\u220F.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # ∏ -operator.\u22C2.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # ⋂ -operator.\u2210.infix = lspace:0.16666em rspace:0.16666em # ∐ -operator.\u22C6.infix = lspace:0.16666em rspace:0.16666em # ⋆ -operator.\u2299.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # ⊙ -operator.\u002A.infix = lspace:0.16666em rspace:0.16666em # * -operator.\uE89E.infix = lspace:0em rspace:0em # ⁢ -operator.\u00B7.infix = lspace:0.16666em rspace:0.16666em # · -operator.\u2297.infix = lspace:0.16666em rspace:0.16666em # ⊗ -operator.\u22C1.infix = lspace:0.16666em rspace:0.16666em # ⋁ -operator.\u22C0.infix = lspace:0.16666em rspace:0.16666em # ⋀ -operator.\u22C4.infix = lspace:0.16666em rspace:0.16666em # ⋄ -operator.\u2216.infix = stretchy:vertical lspace:0.16666em rspace:0.16666em # ∖ -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 # ∓ -operator.\u00B1.prefix = lspace:0em rspace:0.05555em # ± +operator.\u22D3.infix = lspace:thinmathspace rspace:thinmathspace # ⋓ +operator.\u22D2.infix = lspace:thinmathspace rspace:thinmathspace # ⋒ +operator.\u2240.infix = lspace:thinmathspace rspace:thinmathspace # ≀ +operator.\u22C0.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋀ +operator.\u2297.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊗ +operator.\u2210.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ∐ +operator.\u220F.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ∏ +operator.\u22C2.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋂ +operator.\u2210.infix = lspace:thinmathspace rspace:thinmathspace # ∐ +operator.\u22C6.infix = lspace:thinmathspace rspace:thinmathspace # ⋆ +operator.\u2299.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊙ +operator.\u002A.infix = lspace:thinmathspace rspace:thinmathspace # * +operator.\u2062.infix = lspace:0em rspace:0em # ⁢ +operator.\u00B7.infix = lspace:thinmathspace rspace:thinmathspace # · +operator.\u2297.infix = lspace:thinmathspace rspace:thinmathspace # ⊗ +operator.\u22C1.infix = lspace:thinmathspace rspace:thinmathspace # ⋁ +operator.\u22C0.infix = lspace:thinmathspace rspace:thinmathspace # ⋀ +operator.\u22C4.infix = lspace:thinmathspace rspace:thinmathspace # ⋄ +operator.\u2216.infix = stretchy:vertical lspace:thinmathspace rspace:thinmathspace # ∖ +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 # ∓ +operator.\u00B1.prefix = lspace:0em rspace:veryverythinmathspace # ± operator.\u002E.infix = lspace:0em rspace:0em # . -operator.\uE619.infix = lspace:0.11111em rspace:0.11111em # ⨯ -operator.\u002A\u002A.infix = lspace:0.11111em rspace:0.11111em # ** -operator.\u2299.infix = lspace:0.11111em rspace:0.11111em # ⊙ -operator.\u2218.infix = lspace:0.11111em rspace:0.11111em # ∘ -operator.\u25A1.prefix = lspace:0em rspace:0.11111em # □ -operator.\u2207.prefix = lspace:0em rspace:0.11111em # ∇ -operator.\u2202.prefix = lspace:0em rspace:0.11111em # ∂ -operator.\uF74B.prefix = lspace:0em rspace:0.11111em # ⅅ -operator.\uF74C.prefix = lspace:0em rspace:0.11111em # ⅆ -operator.\u221A.prefix = stretchy:vertical lspace:0em rspace:0.11111em # √ -operator.\u21D3.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⇓ -operator.\uE200.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # ⟸ -operator.\uE202.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # ⟺ -operator.\uE204.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # ⟹ -operator.\u21D1.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⇑ -operator.\u21D5.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⇕ -operator.\u2193.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ↓ -operator.\uF504.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⤓ -operator.\uE216.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⇵ -operator.\u21A7.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ↧ -operator.\uF519.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥡ -operator.\u21C3.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⇃ -operator.\uF517.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥙ -operator.\uF515.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥑ -operator.\uF518.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥠ -operator.\u21BF.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ↿ -operator.\uF516.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥘ -operator.\uE201.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # ⟵ -operator.\uE203.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # ⟷ -operator.\uE205.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # ⟶ -operator.\uE217.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥯ -operator.\uF514.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥝ -operator.\u21C2.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⇂ -operator.\uF512.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥕ -operator.\uF510.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥏ -operator.\uF513.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥜ -operator.\u21BE.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ↾ -operator.\uF511.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥔ -operator.\uE87F.infix = lspace:0.11111em rspace:0.11111em # ↓ -operator.\uE880.infix = lspace:0.11111em rspace:0.11111em # ↑ -operator.\u2191.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ↑ -operator.\uF503.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⤒ -operator.\u21C5.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⇅ -operator.\u2195.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ↕ -operator.\uE218.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ⥮ -operator.\u21A5.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # ↥ -operator.\u005E.infix = lspace:0.11111em rspace:0.11111em # ^ -operator.\u003C\u003E.infix = lspace:0.11111em rspace:0.11111em # <> -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 # ⁡ -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 # ⨯ +operator.\u002A\u002A.infix = lspace:verythinmathspace rspace:verythinmathspace # ** +operator.\u2299.infix = lspace:verythinmathspace rspace:verythinmathspace # ⊙ +operator.\u2218.infix = lspace:verythinmathspace rspace:verythinmathspace # ∘ +operator.\u25A1.prefix = lspace:0em rspace:verythinmathspace # □ +operator.\u2207.prefix = lspace:0em rspace:verythinmathspace # ∇ +operator.\u2202.prefix = lspace:0em rspace:verythinmathspace # ∂ +operator.\u2145.prefix = lspace:0em rspace:verythinmathspace # ⅅ +operator.\u2146.prefix = lspace:0em rspace:verythinmathspace # ⅆ +operator.\u221A.prefix = stretchy:vertical lspace:0em rspace:verythinmathspace # √ +operator.\u21D3.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇓ +operator.\uF579.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟸ +operator.\uF57B.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟺ +operator.\uF57A.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟹ +operator.\u21D1.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇑ +operator.\u21D5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇕ +operator.\u2193.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↓ +operator.\u2913.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⤓ +operator.\u21F5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇵ +operator.\u21A7.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↧ +operator.\u2961.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥡ +operator.\u21C3.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇃ +operator.\u2959.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥙ +operator.\u2951.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥑ +operator.\u2960.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥠ +operator.\u21BF.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↿ +operator.\u2958.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥘ +operator.\uF576.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟵ +operator.\uF578.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟷ +operator.\uF577.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟶ +operator.\u296F.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥯ +operator.\u295D.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥝ +operator.\u21C2.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇂ +operator.\u2955.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥕ +operator.\u294F.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥏ +operator.\u295C.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥜ +operator.\u21BE.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↾ +operator.\u2954.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥔ +operator.\uEF28.infix = lspace:verythinmathspace rspace:verythinmathspace # ↓ +operator.\uEF27.infix = lspace:verythinmathspace rspace:verythinmathspace # ↑ +operator.\u2191.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↑ +operator.\u2912.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⤒ +operator.\u21C5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇅ +operator.\u2195.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↕ +operator.\u296E.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥮ +operator.\u21A5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↥ +operator.\u005E.infix = lspace:verythinmathspace rspace:verythinmathspace # ^ +operator.\u003C\u003E.infix = lspace:verythinmathspace rspace:verythinmathspace # <> +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 # ⁡ +operator.\u003F.infix = lspace:verythinmathspace rspace:verythinmathspace # ? +operator.\u005F.infix = lspace:verythinmathspace rspace:verythinmathspace # _ operator.\u02D8.postfix = accent:true lspace:0em rspace:0em # ˘ operator.\u00B8.postfix = accent:true lspace:0em rspace:0em # ¸ operator.\u0060.postfix = accent:true lspace:0em rspace:0em # ` operator.\u02D9.postfix = accent:true lspace:0em rspace:0em # ˙ operator.\u02DD.postfix = accent:true lspace:0em rspace:0em # ˝ +# 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 # ´ +# 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 # ˜ operator.\u00A8.postfix = accent:true lspace:0em rspace:0em # ¨ operator.\u0311.postfix = accent:true lspace:0em rspace:0em # ̑ operator.\u02C7.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ˇ operator.\u0302.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ^ operator.\u00AF.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ‾ -operator.\uF612.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏞ -operator.\uF614.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⎴ -operator.\uF610.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏜ +operator.\uFE37.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏞ +operator.\u23B4.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⎴ +operator.\uFE35.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏜ operator.\u20DB.postfix = accent:true lspace:0em rspace:0em # ⃛ operator.\u0332.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # _ -operator.\uF613.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏟ -operator.\uF615.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⎵ -operator.\uF611.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏝ -operator.\u2225.prefix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # ∥ -operator.\u2225.postfix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # ∥ -operator.\u2223.prefix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # ∣ -operator.\u2223.postfix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # ∣ -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 # ⏟ +operator.\u23B5.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⎵ +operator.\uFE36.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏝ +operator.\u2225.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∥ +operator.\u2225.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∥ +operator.\u2223.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∣ +operator.\u2223.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∣ +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 # ⃗ operator.\u20D6.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃖ operator.\u20E1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃡ operator.\u20D1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃑ operator.\u20D0.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃐ +operator.\u21A9.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↩ ↩ +operator.\u21AA.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↪ ↪ +operator.\u23B0.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⎰ ⎰ +operator.\u23B1.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⎱ ⎱ ################################################################################## @@ -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 diff --git a/mozilla/layout/mathml/base/src/mathfontCMEX10.properties b/mozilla/layout/mathml/base/src/mathfontCMEX10.properties index d36b1a7216d..722820cb2f8 100644 --- a/mozilla/layout/mathml/base/src/mathfontCMEX10.properties +++ b/mozilla/layout/mathml/base/src/mathfontCMEX10.properties @@ -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 # | diff --git a/mozilla/layout/mathml/base/src/mathfontCMSY10.properties b/mozilla/layout/mathml/base/src/mathfontCMSY10.properties index 6f1ab806cdb..9fba4c3698a 100644 --- a/mozilla/layout/mathml/base/src/mathfontCMSY10.properties +++ b/mozilla/layout/mathml/base/src/mathfontCMSY10.properties @@ -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 diff --git a/mozilla/layout/mathml/base/src/mathfontMath1.properties b/mozilla/layout/mathml/base/src/mathfontMath1.properties new file mode 100644 index 00000000000..cda74f6003d --- /dev/null +++ b/mozilla/layout/mathml/base/src/mathfontMath1.properties @@ -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 +## + +# 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 diff --git a/mozilla/layout/mathml/base/src/mathfontMath2.properties b/mozilla/layout/mathml/base/src/mathfontMath2.properties new file mode 100644 index 00000000000..3b380606ce5 --- /dev/null +++ b/mozilla/layout/mathml/base/src/mathfontMath2.properties @@ -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 +## + +# 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 diff --git a/mozilla/layout/mathml/base/src/mathfontMath4.properties b/mozilla/layout/mathml/base/src/mathfontMath4.properties index 33b27a673fc..bab079540ab 100644 --- a/mozilla/layout/mathml/base/src/mathfontMath4.properties +++ b/mozilla/layout/mathml/base/src/mathfontMath4.properties @@ -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 diff --git a/mozilla/layout/mathml/base/src/mathfontPUA.properties b/mozilla/layout/mathml/base/src/mathfontPUA.properties new file mode 100644 index 00000000000..ce0174d01d8 --- /dev/null +++ b/mozilla/layout/mathml/base/src/mathfontPUA.properties @@ -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 +## + +# 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####################################################### diff --git a/mozilla/layout/mathml/base/src/mathfontSymbol.properties b/mozilla/layout/mathml/base/src/mathfontSymbol.properties index 8fd5668162a..f54aaeb9a6c 100644 --- a/mozilla/layout/mathml/base/src/mathfontSymbol.properties +++ b/mozilla/layout/mathml/base/src/mathfontSymbol.properties @@ -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