mozilla
/
gecko-dev
зеркало из https://github.com/mozilla/gecko-dev.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

[not part of default build] MathFont Property Files. The Operator Dictionary and stretchy characters can now be described in external extensible lists - Another pass will be needed to remove the PUA codes and switch to the recently approved Unicode points of MathML characters

This commit is contained in:
rbs%maths.uq.edu.au 2001-02-02 09:41:27 +00:00
Родитель 24f525c998
Коммит f07af5116f
8 изменённых файлов: 681 добавлений и 0 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

7
layout/mathml/base/src/Makefile.in
Просмотреть файл

@ -75,3 +75,10 @@ override NO_STATIC_LIB=
include $(topsrcdir)/config/rules.mk
install::
$(INSTALL) mathfont.properties $(DIST)\bin\res\fonts
$(INSTALL) mathfontCMSY10.properties $(DIST)\bin\res\fonts
$(INSTALL) mathfontCMEX10.properties $(DIST)\bin\res\fonts
$(INSTALL) mathfontMTExtra.properties $(DIST)\bin\res\fonts
$(INSTALL) mathfontMath4.properties $(DIST)\bin\res\fonts
$(INSTALL) mathfontSymbol.properties $(DIST)\bin\res\fonts

14
layout/mathml/base/src/makefile.win
Просмотреть файл

@ -100,5 +100,19 @@ include <$(DEPTH)\config\rules.mak>
install:: $(LIBRARY)
$(MAKE_INSTALL) $(LIBRARY) $(DIST)\lib
install::
$(MAKE_INSTALL) mathfont.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) 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\mathfontCMSY10.properties
rm -f $(DIST)\bin\res\fonts\mathfontCMEX10.properties
rm -f $(DIST)\bin\res\fonts\mathfontMTExtra.properties
rm -f $(DIST)\bin\res\fonts\mathfontMath4.properties
rm -f $(DIST)\bin\res\fonts\mathfontSymbol.properties

432
layout/mathml/base/src/mathfont.properties Normal file
Просмотреть файл

@ -0,0 +1,432 @@
##
## The contents of this file are subject to the Mozilla Public
## License Version 1.1 (the "License"); you may not use this file
## except in compliance with the License. You may obtain a copy of
## the License at http://www.mozilla.org/MPL/
##
## Software distributed under the License is distributed on an "AS
## IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
## implied. See the License for the specific language governing
## rights and limitations under the License.
##
## The Original Code is Mozilla MathML Project.
##
## The Initial Developer of the Original Code is The University Of
## Queensland. Portions created by The University Of Queensland are
## Copyright (C) 2001 The University Of Queensland. All Rights Reserved.
##
## Contributor(s):
## Roger B. Sidje <rbs@maths.uq.edu.au>
##
# LOCALIZATION NOTE: FILE
# Do not translate anything in this file
# Ordered list of fonts with which to attempt to stretch MathML characters.
# See the documentation at the end of this file for details on the setup of
# the property file associated to each font. This order can be overriden
# with CSS (by setting the font-family in ":-moz-math-font-style-stretchy").
mathfont.1 = CMSY10
mathfont.2 = CMEX10
mathfont.3 = MT Extra
mathfont.4 = Math4
mathfont.5 = Symbol
# Stretchy characters that have their preferred extension fonts.
# - The ".variants" represents the font where to look for glyph of larger
# sizes. Note that if the font specified for a given character is installed
# on the user' system, no other alternate font will be used to attempt to
# stretch that particular character. The declaration is ignored if the font
# is not installed.
# - The ".parts" represents the font that should be used to look for the
# partial glyphs to be used to build up the character. Note that if the specified
# font is installed on the user' system, no other alternate font will be used
# to attempt to stretch that particular character. The declaration is ignored
# if the font is not installed.
# Only one font can be listed per entry, using the Unicode format of
# the character. A character can request different fonts for its variants
# and for its parts.
extension.\u221A.variants = CMEX10
extension.\u221A.parts = CMEX10
extension.\uF612.parts = CMEX10
extension.\uF613.parts = CMEX10
# Operator Dictionary indexed on the "form" (i.e., infix, prefix, or suffix).
# Each entry lists the attributes of the operator, using its Unicode format.
operator.\u0028.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # (
operator.\u0029.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # )
operator.\u005B.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # [
operator.\u005D.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ]
operator.\u007B.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # {
operator.\u007D.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # }
operator.\u201D.postfix = fence:true lspace:0em rspace:0em # &CloseCurlyDoubleQuote;
operator.\u2019.postfix = fence:true lspace:0em rspace:0em # &CloseCurlyQuote;
operator.\u3008.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftAngleBracket;
operator.\uF603.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftBracketingBar;
operator.\u2308.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftCeiling;
operator.\u301A.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftDoubleBracket;
operator.\uF605.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftDoubleBracketingBar;
operator.\u230A.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # &LeftFloor;
operator.\u201C.prefix = fence:true lspace:0em rspace:0em # &OpenCurlyDoubleQuote;
operator.\u2018.prefix = fence:true lspace:0em rspace:0em # &OpenCurlyQuote;
operator.\u3009.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightAngleBracket;
operator.\uF604.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightBracketingBar;
operator.\u2309.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightCeiling;
operator.\u301B.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightDoubleBracket;
operator.\uF606.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightDoubleBracketingBar;
operator.\u230B.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # &RightFloor;
operator.\uE850.prefix = fence:true lspace:0em rspace:0em # &LeftSkeleton;
operator.\uE851.postfix = fence:true lspace:0em rspace:0em # &RightSkeleton;
operator.\uE89C.infix = separator:true lspace:0em rspace:0em # &InvisibleComma;
operator.\u002C.infix = separator:true lspace:0em rspace:0.33333em # ,
operator.\uE859.infix = stretchy:horizontal lspace:0em rspace:0em # &HorizontalLine;
operator.\uE85A.infix = stretchy:vertical lspace:0em rspace:0em # &VerticalLine;
operator.\u003B.infix = separator:true lspace:0em rspace:0.27777em # ;
operator.\u003B.postfix = separator:true lspace:0em rspace:0em # ;
operator.\u003A\u003D.infix = lspace:0.27777em rspace:0.27777em # :=
operator.\uE85B.infix = lspace:0.27777em rspace:0.27777em # &Assign;
operator.\u2235.infix = lspace:0.27777em rspace:0.27777em # &Because;
operator.\u2234.infix = lspace:0.27777em rspace:0.27777em # &Therefore;
operator.\uE85C.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &VerticalSeparator;
operator.\u002F\u002F.infix = lspace:0.27777em rspace:0.27777em # //
operator.\u2237.infix = lspace:0.27777em rspace:0.27777em # &Colon; &Proportion;
operator.\u0026.prefix = lspace:0em rspace:0.27777em # &amp;
operator.\u0026.postfix = lspace:0.27777em rspace:0em # &amp;
operator.\u002A\u003D.infix = lspace:0.27777em rspace:0.27777em # *=
operator.\u002D\u003D.infix = lspace:0.27777em rspace:0.27777em # -=
operator.\u002B\u003D.infix = lspace:0.27777em rspace:0.27777em # +=
operator.\u002F\u003D.infix = lspace:0.27777em rspace:0.27777em # /=
operator.\u002D\u003E.infix = lspace:0.27777em rspace:0.27777em # ->
operator.\u003A.infix = lspace:0.27777em rspace:0.27777em # :
operator.\u002E\u002E.postfix = lspace:0.22222em rspace:0em # ..
operator.\u002E\u002E\u002E.postfix = lspace:0.22222em rspace:0em # ...
operator.\u220B.infix = lspace:0.27777em rspace:0.27777em # &SuchThat; &ReverseElement;
operator.\uE30F.infix = lspace:0.27777em rspace:0.27777em # &DoubleLeftTee;
operator.\u22A8.infix = lspace:0.27777em rspace:0.27777em # &DoubleRightTee;
operator.\u22A4.infix = lspace:0.27777em rspace:0.27777em # &DownTee;
operator.\u22A3.infix = lspace:0.27777em rspace:0.27777em # &LeftTee;
operator.\u22A2.infix = lspace:0.27777em rspace:0.27777em # &RightTee;
operator.\u21D2.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &Implies; &DoubleRightArrow;
operator.\uF524.infix = lspace:0.27777em rspace:0.27777em # &RoundImplies;
operator.\u007C.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # |
operator.\u007C\u007C.infix = lspace:0.22222em rspace:0.22222em # ||
operator.\uE375.infix = lspace:0.22222em rspace:0.22222em # &Or;
operator.\u0026\u0026.infix = lspace:0.27777em rspace:0.27777em # &amp;&amp;
operator.\uE374.infix = lspace:0.22222em rspace:0.22222em # &And;
operator.\u0026.infix = lspace:0.27777em rspace:0.27777em # &amp;
operator.\u0021.prefix = lspace:0em rspace:0.27777em # !
operator.\uE3AC.prefix = lspace:0em rspace:0.27777em # &Not;
operator.\u2203.prefix = lspace:0em rspace:0.27777em # &Exists;
operator.\u2200.prefix = lspace:0em rspace:0.27777em # &ForAll;
operator.\u2204.prefix = lspace:0em rspace:0.27777em # &NotExists;
operator.\u2208.infix = lspace:0.27777em rspace:0.27777em # &Element;
operator.\u2209.infix = lspace:0.27777em rspace:0.27777em # &NotElement;
operator.\u220C.infix = lspace:0.27777em rspace:0.27777em # &NotReverseElement;
operator.\uE604.infix = lspace:0.27777em rspace:0.27777em # &NotSquareSubset;
operator.\u22E2.infix = lspace:0.27777em rspace:0.27777em # &NotSquareSubsetEqual;
operator.\uE615.infix = lspace:0.27777em rspace:0.27777em # &NotSquareSuperset;
operator.\u22E3.infix = lspace:0.27777em rspace:0.27777em # &NotSquareSupersetEqual;
operator.\u2284.infix = lspace:0.27777em rspace:0.27777em # &NotSubset;
operator.\u2288.infix = lspace:0.27777em rspace:0.27777em # &NotSubsetEqual;
operator.\u2285.infix = lspace:0.27777em rspace:0.27777em # &NotSuperset;
operator.\u2289.infix = lspace:0.27777em rspace:0.27777em # &NotSupersetEqual;
operator.\u228F.infix = lspace:0.27777em rspace:0.27777em # &SquareSubset;
operator.\u2291.infix = lspace:0.27777em rspace:0.27777em # &SquareSubsetEqual;
operator.\u2290.infix = lspace:0.27777em rspace:0.27777em # &SquareSuperset;
operator.\u2292.infix = lspace:0.27777em rspace:0.27777em # &SquareSupersetEqual;
operator.\u22D0.infix = lspace:0.27777em rspace:0.27777em # &Subset;
operator.\u2286.infix = lspace:0.27777em rspace:0.27777em # &SubsetEqual;
operator.\u2283.infix = lspace:0.27777em rspace:0.27777em # &Superset;
operator.\u2287.infix = lspace:0.27777em rspace:0.27777em # &SupersetEqual;
operator.\u21D0.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &DoubleLeftArrow;
operator.\u21D4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &DoubleLeftRightArrow;
operator.\uF50B.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownLeftRightVector;
operator.\uF50E.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownLeftTeeVector;
operator.\u21BD.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownLeftVector;
operator.\uF50C.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownLeftVectorBar;
operator.\uF50F.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownRightTeeVector;
operator.\u21C1.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownRightVector;
operator.\uF50D.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DownRightVectorBar;
operator.\u2190.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftArrow;
operator.\u21E4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftArrowBar;
operator.\u21C6.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftArrowRightArrow;
operator.\u2194.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftRightArrow;
operator.\uF505.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftRightVector;
operator.\u21A4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftTeeArrow;
operator.\uF509.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftTeeVector;
operator.\u21BC.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftVector;
operator.\uF507.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LeftVectorBar;
operator.\u2199.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LowerLeftArrow;
operator.\u2198.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &LowerRightArrow;
operator.\u2192.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightArrow;
operator.\u21E5.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightArrowBar;
operator.\u21C4.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightArrowLeftArrow;
operator.\u21A6.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightTeeArrow;
operator.\uF50A.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightTeeVector;
operator.\u21C0.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightVector;
operator.\uF508.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &RightVectorBar;
operator.\uE233.infix = lspace:0.27777em rspace:0.27777em # &ShortLeftArrow;
operator.\uE232.infix = lspace:0.27777em rspace:0.27777em # &ShortRightArrow;
operator.\u2196.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &UpperLeftArrow;
operator.\u2197.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &UpperRightArrow;
operator.\u003D.infix = lspace:0.27777em rspace:0.27777em # =
operator.\u003C.infix = lspace:0.27777em rspace:0.27777em # &lt;
operator.\u003E.infix = lspace:0.27777em rspace:0.27777em # >
operator.\u0021\u003D.infix = lspace:0.27777em rspace:0.27777em # !=
operator.\u003D\u003D.infix = lspace:0.27777em rspace:0.27777em # ==
operator.\u003C\u003D.infix = lspace:0.27777em rspace:0.27777em # &lt;=
operator.\u003E\u003D.infix = lspace:0.27777em rspace:0.27777em # >=
operator.\u2261.infix = lspace:0.27777em rspace:0.27777em # &Congruent;
operator.\u224D.infix = lspace:0.27777em rspace:0.27777em # &CupCap;
operator.\u2250.infix = lspace:0.27777em rspace:0.27777em # &DotEqual;
operator.\u2225.infix = stretchy:vertical lspace:0.27777em rspace:0.27777em # &DoubleVerticalBar;
operator.\uF431.infix = lspace:0.27777em rspace:0.27777em # &Equal;
operator.\u2242.infix = lspace:0.27777em rspace:0.27777em # &EqualTilde;
operator.\u21CC.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &Equilibrium;
operator.\u2265.infix = lspace:0.27777em rspace:0.27777em # &GreaterEqual;
operator.\u22DB.infix = lspace:0.27777em rspace:0.27777em # &GreaterEqualLess;
operator.\u2267.infix = lspace:0.27777em rspace:0.27777em # &GreaterFullEqual;
operator.\uE2F7.infix = lspace:0.27777em rspace:0.27777em # &GreaterGreater;
operator.\u2277.infix = lspace:0.27777em rspace:0.27777em # &GreaterLess;
operator.\uE2F6.infix = lspace:0.27777em rspace:0.27777em # &GreaterSlantEqual;
operator.\u2273.infix = lspace:0.27777em rspace:0.27777em # &GreaterTilde;
operator.\u224E.infix = lspace:0.27777em rspace:0.27777em # &HumpDownHump;
operator.\u224F.infix = lspace:0.27777em rspace:0.27777em # &HumpEqual;
operator.\u22B2.infix = lspace:0.27777em rspace:0.27777em # &LeftTriangle;
operator.\uF410.infix = lspace:0.27777em rspace:0.27777em # &LeftTriangleBar;
operator.\u22B4.infix = lspace:0.27777em rspace:0.27777em # &LeftTriangleEqual;
operator.\u2264.infix = lspace:0.27777em rspace:0.27777em # &le;
operator.\u22DA.infix = lspace:0.27777em rspace:0.27777em # &LessEqualGreater;
operator.\u2266.infix = lspace:0.27777em rspace:0.27777em # &LessFullEqual;
operator.\u2276.infix = lspace:0.27777em rspace:0.27777em # &LessGreater;
operator.\uE2FB.infix = lspace:0.27777em rspace:0.27777em # &LessLess;
operator.\uE2FA.infix = lspace:0.27777em rspace:0.27777em # &LessSlantEqual;
operator.\u2272.infix = lspace:0.27777em rspace:0.27777em # &LessTilde;
operator.\u226B.infix = lspace:0.27777em rspace:0.27777em # &NestedGreaterGreater;
operator.\u226A.infix = lspace:0.27777em rspace:0.27777em # &NestedLessLess;
operator.\u2262.infix = lspace:0.27777em rspace:0.27777em # &NotCongruent;
operator.\u226D.infix = lspace:0.27777em rspace:0.27777em # &NotCupCap;
operator.\u2226.infix = lspace:0.27777em rspace:0.27777em # &NotDoubleVerticalBar;
operator.\u2260.infix = lspace:0.27777em rspace:0.27777em # &NotEqual;
operator.\uE84E.infix = lspace:0.27777em rspace:0.27777em # &NotEqualTilde;
operator.\u226F.infix = lspace:0.27777em rspace:0.27777em # &NotGreater;
operator.\uE2A6.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterEqual;
operator.\u2270.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterFullEqual; &NotLessSlantEqual;
operator.\uE2CC.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterGreater;
operator.\u2279.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterLess;
operator.\u2271.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterSlantEqual;
operator.\u2275.infix = lspace:0.27777em rspace:0.27777em # &NotGreaterTilde;
operator.\uE616.infix = lspace:0.27777em rspace:0.27777em # &NotHumpDownHump;
operator.\uE84D.infix = lspace:0.27777em rspace:0.27777em # &NotHumpEqual;
operator.\u22EA.infix = lspace:0.27777em rspace:0.27777em # &NotLeftTriangle;
operator.\uF412.infix = lspace:0.27777em rspace:0.27777em # &NotLeftTriangleBar;
operator.\u22EC.infix = lspace:0.27777em rspace:0.27777em # &NotLeftTriangleEqual;
operator.\u226E.infix = lspace:0.27777em rspace:0.27777em # &NotLess;
operator.\uE2A7.infix = lspace:0.27777em rspace:0.27777em # &NotLessEqual;
operator.\u2278.infix = lspace:0.27777em rspace:0.27777em # &NotLessGreater;
operator.\uE2CB.infix = lspace:0.27777em rspace:0.27777em # &NotLessLess;
operator.\u2274.infix = lspace:0.27777em rspace:0.27777em # &NotLessTilde;
operator.\uF428.infix = lspace:0.27777em rspace:0.27777em # &NotNestedGreaterGreater;
operator.\uF423.infix = lspace:0.27777em rspace:0.27777em # &NotNestedLessLess;
operator.\u2280.infix = lspace:0.27777em rspace:0.27777em # &NotPrecedes;
operator.\uE5DC.infix = lspace:0.27777em rspace:0.27777em # &NotPrecedesEqual;
operator.\u22E0.infix = lspace:0.27777em rspace:0.27777em # &NotPrecedesSlantEqual;
operator.\u22EB.infix = lspace:0.27777em rspace:0.27777em # &NotRightTriangle;
operator.\uF413.infix = lspace:0.27777em rspace:0.27777em # &NotRightTriangleBar;
operator.\u22ED.infix = lspace:0.27777em rspace:0.27777em # &NotRightTriangleEqual;
operator.\u2281.infix = lspace:0.27777em rspace:0.27777em # &NotSucceeds;
operator.\uE5F1.infix = lspace:0.27777em rspace:0.27777em # &NotSucceedsEqual;
operator.\u22E1.infix = lspace:0.27777em rspace:0.27777em # &NotSucceedsSlantEqual;
operator.\uE837.infix = lspace:0.27777em rspace:0.27777em # &NotSucceedsTilde;
operator.\u2241.infix = lspace:0.27777em rspace:0.27777em # &NotTilde;
operator.\u2244.infix = lspace:0.27777em rspace:0.27777em # &NotTildeEqual;
operator.\u2247.infix = lspace:0.27777em rspace:0.27777em # &NotTildeFullEqual;
operator.\u2249.infix = lspace:0.27777em rspace:0.27777em # &NotTildeTilde;
operator.\u2224.infix = lspace:0.27777em rspace:0.27777em # &NotVerticalBar;
operator.\u227A.infix = lspace:0.27777em rspace:0.27777em # &Precedes;
operator.\uE2FE.infix = lspace:0.27777em rspace:0.27777em # &PrecedesEqual;
operator.\u227C.infix = lspace:0.27777em rspace:0.27777em # &PrecedesSlantEqual;
operator.\u227E.infix = lspace:0.27777em rspace:0.27777em # &PrecedesTilde;
operator.\u221D.infix = lspace:0.27777em rspace:0.27777em # &Proportional;
operator.\u21CB.infix = stretchy:horizontal lspace:0.27777em rspace:0.27777em # &ReverseEquilibrium;
operator.\u22B3.infix = lspace:0.27777em rspace:0.27777em # &RightTriangle;
operator.\uF411.infix = lspace:0.27777em rspace:0.27777em # &RightTriangleBar;
operator.\u22B5.infix = lspace:0.27777em rspace:0.27777em # &RightTriangleEqual;
operator.\u227B.infix = lspace:0.27777em rspace:0.27777em # &Succeeds;
operator.\u227D.infix = lspace:0.27777em rspace:0.27777em # &SucceedsEqual; &SucceedsSlantEqual;
operator.\u227F.infix = lspace:0.27777em rspace:0.27777em # &SucceedsTilde;
operator.\u223C.infix = lspace:0.27777em rspace:0.27777em # &Tilde;
operator.\u2243.infix = lspace:0.27777em rspace:0.27777em # &TildeEqual;
operator.\u2245.infix = lspace:0.27777em rspace:0.27777em # &TildeFullEqual;
operator.\u2248.infix = lspace:0.27777em rspace:0.27777em # &TildeTilde;
operator.\u22A5.infix = lspace:0.27777em rspace:0.27777em # &UpTee;
operator.\u2223.infix = lspace:0.27777em rspace:0.27777em # &VerticalBar;
operator.\u2294.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &SquareUnion;
operator.\u22C3.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &Union;
operator.\u228E.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &UnionPlus;
operator.\u002D.infix = lspace:0.22222em rspace:0.22222em # -
operator.\u002B.infix = lspace:0.22222em rspace:0.22222em # +
operator.\u22C2.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &Intersection;
operator.\u2213.infix = lspace:0.22222em rspace:0.22222em # &MinusPlus;
operator.\u00B1.infix = lspace:0.22222em rspace:0.22222em # &PlusMinus;
operator.\u2293.infix = stretchy:vertical lspace:0.22222em rspace:0.22222em # &SquareIntersection;
operator.\u22C1.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Vee;
operator.\u2296.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # &CircleMinus;
operator.\u2295.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # &CirclePlus;
operator.\u2211.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Sum;
operator.\u22C3.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Union;
operator.\u228E.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &UnionPlus;
operator.\u006C\u0069\u006D.prefix = movablelimits:true lspace:0em rspace:0.16666em # lim
operator.\u006D\u0061\u0078.prefix = movablelimits:true lspace:0em rspace:0.16666em # max
operator.\u006D\u0069\u006E.prefix = movablelimits:true lspace:0em rspace:0.16666em # min
operator.\u2296.infix = lspace:0.16666em rspace:0.16666em # &CircleMinus;
operator.\u2295.infix = lspace:0.16666em rspace:0.16666em # &CirclePlus;
operator.\u2232.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &ClockwiseContourIntegral;
operator.\u222E.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &ContourIntegral;
operator.\u2233.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &CounterClockwiseContourIntegral;
operator.\u222F.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &DoubleContourIntegral;
operator.\u222B.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &Integral;
operator.\u22D3.infix = lspace:0.16666em rspace:0.16666em # &Cup;
operator.\u22D2.infix = lspace:0.16666em rspace:0.16666em # &Cap;
operator.\u2240.infix = lspace:0.16666em rspace:0.16666em # &VerticalTilde;
operator.\u22C0.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Wedge;
operator.\u2297.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # &CircleTimes;
operator.\u2210.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Coproduct;
operator.\u220F.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Product;
operator.\u22C2.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:0.16666em # &Intersection;
operator.\u2210.infix = lspace:0.16666em rspace:0.16666em # &Coproduct;
operator.\u22C6.infix = lspace:0.16666em rspace:0.16666em # &Star;
operator.\u2299.prefix = largeop:true movablelimits:true lspace:0em rspace:0.16666em # &CircleDot;
operator.\u002A.infix = lspace:0.16666em rspace:0.16666em # *
operator.\uE89E.infix = lspace:0em rspace:0em # &InvisibleTimes;
operator.\u00B7.infix = lspace:0.16666em rspace:0.16666em # &CenterDot;
operator.\u2297.infix = lspace:0.16666em rspace:0.16666em # &CircleTimes;
operator.\u22C1.infix = lspace:0.16666em rspace:0.16666em # &Vee;
operator.\u22C0.infix = lspace:0.16666em rspace:0.16666em # &Wedge;
operator.\u22C4.infix = lspace:0.16666em rspace:0.16666em # &Diamond;
operator.\u2216.infix = stretchy:vertical lspace:0.16666em rspace:0.16666em # &Backslash;
operator.\u002F.infix = stretchy:vertical lspace:0.16666em rspace:0.16666em # /
operator.\u002D.prefix = lspace:0em rspace:0.05555em # -
operator.\u002B.prefix = lspace:0em rspace:0.05555em # +
operator.\u2213.prefix = lspace:0em rspace:0.05555em # &MinusPlus;
operator.\u00B1.prefix = lspace:0em rspace:0.05555em # &PlusMinus;
operator.\u002E.infix = lspace:0em rspace:0em # .
operator.\uE619.infix = lspace:0.11111em rspace:0.11111em # &Cross;
operator.\u002A\u002A.infix = lspace:0.11111em rspace:0.11111em # **
operator.\u2299.infix = lspace:0.11111em rspace:0.11111em # &CircleDot;
operator.\u2218.infix = lspace:0.11111em rspace:0.11111em # &SmallCircle;
operator.\u25A1.prefix = lspace:0em rspace:0.11111em # &Square;
operator.\u2207.prefix = lspace:0em rspace:0.11111em # &Del;
operator.\u2202.prefix = lspace:0em rspace:0.11111em # &PartialD;
operator.\uF74B.prefix = lspace:0em rspace:0.11111em # &CapitalDifferentialD;
operator.\uF74C.prefix = lspace:0em rspace:0.11111em # &DifferentialD;
operator.\u221A.prefix = stretchy:vertical lspace:0em rspace:0.11111em # &Sqrt;
operator.\u21D3.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DoubleDownArrow;
operator.\uE200.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &DoubleLongLeftArrow;
operator.\uE202.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &DoubleLongLeftRightArrow;
operator.\uE204.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &DoubleLongRightArrow;
operator.\u21D1.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DoubleUpArrow;
operator.\u21D5.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DoubleUpDownArrow;
operator.\u2193.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DownArrow;
operator.\uF504.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DownArrowBar;
operator.\uE216.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DownArrowUpArrow;
operator.\u21A7.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &DownTeeArrow;
operator.\uF519.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftDownTeeVector;
operator.\u21C3.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftDownVector;
operator.\uF517.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftDownVectorBar;
operator.\uF515.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftUpDownVector;
operator.\uF518.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftUpTeeVector;
operator.\u21BF.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftUpVector;
operator.\uF516.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &LeftUpVectorBar;
operator.\uE201.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &LongLeftArrow;
operator.\uE203.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &LongLeftRightArrow;
operator.\uE205.infix = stretchy:horizontal lspace:0.11111em rspace:0.11111em # &LongRightArrow;
operator.\uE217.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &ReverseUpEquilibrium;
operator.\uF514.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightDownTeeVector;
operator.\u21C2.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightDownVector;
operator.\uF512.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightDownVectorBar;
operator.\uF510.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightUpDownVector;
operator.\uF513.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightUpTeeVector;
operator.\u21BE.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightUpVector;
operator.\uF511.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &RightUpVectorBar;
operator.\uE87F.infix = lspace:0.11111em rspace:0.11111em # &ShortDownArrow;
operator.\uE880.infix = lspace:0.11111em rspace:0.11111em # &ShortUpArrow;
operator.\u2191.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpArrow;
operator.\uF503.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpArrowBar;
operator.\u21C5.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpArrowDownArrow;
operator.\u2195.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpDownArrow;
operator.\uE218.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpEquilibrium;
operator.\u21A5.infix = stretchy:vertical lspace:0.11111em rspace:0.11111em # &UpTeeArrow;
operator.\u005E.infix = lspace:0.11111em rspace:0.11111em # ^
operator.\u003C\u003E.infix = lspace:0.11111em rspace:0.11111em # &lt;>
operator.\u0027.postfix = lspace:0.11111em rspace:0em # '
operator.\u0021.postfix = lspace:0.11111em rspace:0em # !
operator.\u0021\u0021.postfix = lspace:0.11111em rspace:0em # !!
operator.\u007E.infix = lspace:0.11111em rspace:0.11111em # ~
operator.\u0040.infix = lspace:0.11111em rspace:0.11111em # @
operator.\u002D\u002D.postfix = lspace:0.11111em rspace:0em # --
operator.\u002D\u002D.prefix = lspace:0em rspace:0.11111em # --
operator.\u002B\u002B.postfix = lspace:0.11111em rspace:0em # ++
operator.\u002B\u002B.prefix = lspace:0em rspace:0.11111em # ++
operator.\uE8A0.infix = lspace:0em rspace:0em # &ApplyFunction;
operator.\u003F.infix = lspace:0.11111em rspace:0.11111em # ?
operator.\u005F.infix = lspace:0.11111em rspace:0.11111em # _
operator.\u02D8.postfix = accent:true lspace:0em rspace:0em # &Breve;
operator.\u00B8.postfix = accent:true lspace:0em rspace:0em # &Cedilla;
operator.\u0060.postfix = accent:true lspace:0em rspace:0em # &DiacriticalGrave;
operator.\u02D9.postfix = accent:true lspace:0em rspace:0em # &DiacriticalDot;
operator.\u02DD.postfix = accent:true lspace:0em rspace:0em # &DiacriticalDoubleAcute;
operator.\u00B4.postfix = accent:true lspace:0em rspace:0em # &DiacriticalAcute;
operator.\u02DC.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalTilde;
operator.\u00A8.postfix = accent:true lspace:0em rspace:0em # &DoubleDot;
operator.\u0311.postfix = accent:true lspace:0em rspace:0em # &DownBreve;
operator.\u02C7.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &Hacek;
operator.\u0302.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &Hat;
operator.\u00AF.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverBar;
operator.\uF612.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverBrace;
operator.\uF614.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverBracket;
operator.\uF610.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &OverParenthesis;
operator.\u20DB.postfix = accent:true lspace:0em rspace:0em # &TripleDot;
operator.\u0332.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderBar;
operator.\uF613.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderBrace;
operator.\uF615.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderBracket;
operator.\uF611.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &UnderParenthesis;
operator.\u2225.prefix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # &DoubleVerticalBar;
operator.\u2225.postfix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # &DoubleVerticalBar;
operator.\u2223.prefix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # &VerticalBar;
operator.\u2223.postfix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # &VerticalBar;
operator.\u007C.prefix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # |
operator.\u007C.postfix = stretchy:vertical fence:true lspace:0.0em rspace:0.0em # |
operator.\u20D7.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20D7;
operator.\u20D6.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20D6;
operator.\u20E1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20E1;
operator.\u20D1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20D1;
operator.\u20D0.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &#x20D0;
##################################################################################
# DOCUMENTATION ON HOW TO SETUP THE PROPERTY FILE ASSOCIATED TO EACH FONT
# More fonts can be supported for stretchy characters by setting up mathfont
# property files as described below.
#
# Each font should have its set of glyph data. For example, the glyph data for
# the "Symbol" font and the "MT Extra" font are in "mathfontSymbol.properties"
# and "mathfontMTExtra.properties", respectively. The font property file is a
# set of all the stretchy MathML characters that can be rendered with that font
# using larger and/or partial glyphs. Each stretchy character is associated to
# a list in the font property file which gives, in that order, the 4 partial
# glyphs: top (or left), middle, bottom (or right), glue; and the variants of
# bigger sizes (if any). A position that is not relevant to a particular character
# is indicated there with the UNICODE REPLACEMENT CHARACTER 0xFFFD.
#
# Characters that need to be built from other characters are said to be composite.
# For example, characters like over/underbrace in CMEX10 have to be built from two
# half stretchy chars and joined in the middle (TeXbook, p.225). Several (i.e., 2
# or more) child characters can be composed in order to render another chararacter.
# To specify such characters, their list of glyphs in the property file should be
# given as space-separated segments of glyphs. Each segment gives the 4 partial glyphs
# with which to build the child character that will be joined with its other siblings.

69
layout/mathml/base/src/mathfontCMEX10.properties Normal file
Просмотреть файл

@ -0,0 +1,69 @@
##
## The contents of this file are subject to the Mozilla Public
## License Version 1.1 (the "License"); you may not use this file
## except in compliance with the License. You may obtain a copy of
## the License at http://www.mozilla.org/MPL/
##
## Software distributed under the License is distributed on an "AS
## IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
## implied. See the License for the specific language governing
## rights and limitations under the License.
##
## The Original Code is Mozilla MathML Project.
##
## The Initial Developer of the Original Code is The University Of
## Queensland. Portions created by The University Of Queensland are
## Copyright (C) 2001 The University Of Queensland. All Rights Reserved.
##
## Contributor(s):
## Roger B. Sidje <rbs@maths.uq.edu.au>
##
# LOCALIZATION NOTE: FILE
# Do not translate anything in this file
# This file contains the list of all stretchy MathML chars that
# can be rendered with the indicated mathfont.
mathfont = 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
# 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

37
layout/mathml/base/src/mathfontCMSY10.properties Normal file
Просмотреть файл

@ -0,0 +1,37 @@
##
## The contents of this file are subject to the Mozilla Public
## License Version 1.1 (the "License"); you may not use this file
## except in compliance with the License. You may obtain a copy of
## the License at http://www.mozilla.org/MPL/
##
## Software distributed under the License is distributed on an "AS
## IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
## implied. See the License for the specific language governing
## rights and limitations under the License.
##
## The Original Code is Mozilla MathML Project.
##
## The Initial Developer of the Original Code is The University Of
## Queensland. Portions created by The University Of Queensland are
## Copyright (C) 2001 The University Of Queensland. All Rights Reserved.
##
## Contributor(s):
## Roger B. Sidje <rbs@maths.uq.edu.au>
##
# LOCALIZATION NOTE: FILE
# Do not translate anything in this file
# This file contains the list of all stretchy MathML chars that
# can be rendered with the indicated mathfont.
mathfont = CMSY10
# [ 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

37
layout/mathml/base/src/mathfontMTExtra.properties Normal file
Просмотреть файл

@ -0,0 +1,37 @@
##
## The contents of this file are subject to the Mozilla Public
## License Version 1.1 (the "License"); you may not use this file
## except in compliance with the License. You may obtain a copy of
## the License at http://www.mozilla.org/MPL/
##
## Software distributed under the License is distributed on an "AS
## IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
## implied. See the License for the specific language governing
## rights and limitations under the License.
##
## The Original Code is Mozilla MathML Project.
##
## The Initial Developer of the Original Code is The University Of
## Queensland. Portions created by The University Of Queensland are
## Copyright (C) 2001 The University Of Queensland. All Rights Reserved.
##
## Contributor(s):
## Roger B. Sidje <rbs@maths.uq.edu.au>
##
# LOCALIZATION NOTE: FILE
# Do not translate anything in this file
# This file contains the list of all stretchy MathML chars that
# can be rendered with the indicated mathfont.
mathfont = MT Extra
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
\uF613 = \uEC00\uEC01\uEC02\uEC03\uF613
\uF612 = \uEC04\uEC05\uEC06\uEC03\uF612
#disable for now as they appear too small and don't align properly at default font-size
#\u20D6 = \u20D6\uFFFD\uFFFD\uEB00\u20D6
#\u20D7 = \uFFFD\uFFFD\u20D7\uEB00\u20D7
#\u20E1 = \u20D6\uFFFD\u20D7\uEB00\u20E1
#\u20D0 = \u20D0\uFFFD\uFFFD\uEB00\u20D0
#\u20D1 = \uFFFD\uFFFD\u20D1\uEB00\u20D1

35
layout/mathml/base/src/mathfontMath4.properties Normal file
Просмотреть файл

@ -0,0 +1,35 @@
##
## The contents of this file are subject to the Mozilla Public
## License Version 1.1 (the "License"); you may not use this file
## except in compliance with the License. You may obtain a copy of
## the License at http://www.mozilla.org/MPL/
##
## Software distributed under the License is distributed on an "AS
## IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
## implied. See the License for the specific language governing
## rights and limitations under the License.
##
## The Original Code is Mozilla MathML Project.
##
## The Initial Developer of the Original Code is The University Of
## Queensland. Portions created by The University Of Queensland are
## Copyright (C) 2001 The University Of Queensland. All Rights Reserved.
##
## Contributor(s):
## Roger B. Sidje <rbs@maths.uq.edu.au>
##
# LOCALIZATION NOTE: FILE
# Do not translate anything in this file
# This file contains the list of all stretchy MathML chars that
# can be rendered with the indicated mathfont.
mathfont = 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

50
layout/mathml/base/src/mathfontSymbol.properties Normal file
Просмотреть файл

@ -0,0 +1,50 @@
##
## The contents of this file are subject to the Mozilla Public
## License Version 1.1 (the "License"); you may not use this file
## except in compliance with the License. You may obtain a copy of
## the License at http://www.mozilla.org/MPL/
##
## Software distributed under the License is distributed on an "AS
## IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
## implied. See the License for the specific language governing
## rights and limitations under the License.
##
## The Original Code is Mozilla MathML Project.
##
## The Initial Developer of the Original Code is The University Of
## Queensland. Portions created by The University Of Queensland are
## Copyright (C) 2001 The University Of Queensland. All Rights Reserved.
##
## Contributor(s):
## Roger B. Sidje <rbs@maths.uq.edu.au>
##
# LOCALIZATION NOTE: FILE
# Do not translate anything in this file
# This file contains the list of all stretchy MathML chars that
# can be rendered with the indicated mathfont.
mathfont = 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
#For Windows
#\u222B = \u2320\uFFFD\u2321\uF8F5\u222B
# 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