layout/mathml/mathfontSTIXGeneral.properties

   1 # This Source Code Form is subject to the terms of the Mozilla Public
   2 # License, v. 2.0. If a copy of the MPL was not distributed with this
   3 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
   4
   5 #  LOCALIZATION NOTE: FILE
   6 #  Do not translate anything in this file
   7
   8 # This file contains the list of some stretchy MathML chars that can be
   9 # rendered with the STIXGeneral set.
  10
  11 external.1 = STIXSizeOneSym
  12 external.2 = STIXSizeTwoSym
  13 external.3 = STIXSizeThreeSym
  14 external.4 = STIXSizeFourSym
  15 external.5 = STIXSizeFiveSym
  16 external.6 = STIXIntegralsD
  17 external.7 = STIXNonUnicode
  18
  19 ############
  20 # 1) Constructions from mathfontSTIXSizeOneSym.properties (bug 1007093) #
  21
  22 #        [ T/L |  M  | B/R |  G  | size0 ... size{N-1} ]
  23 \u0028 = \u239B@1\uFFFD\u239D@1\u239C@1\uFFFD(@1(@2(@3(@4 # (
  24 \u0029 = \u239E@1\uFFFD\u23A0@1\u239F@1\uFFFD)@1)@2)@3)@4 # )
  25 \u005B = \u23A1@1\uFFFD\u23A3@1\u23A2@1\u005B@1[@1[@2[@3[@4 # [
  26 \u005D = \u23A4@1\uFFFD\u23A6@1\u23A5@1\u005D@1]@1]@2]@3]@4 # ]
  27 \u007B = \u23A7@1\u23A8@1\u23A9@1\u23AA@1\u007B@1{@1{@2{@3{@4 # {
  28 \u007D = \u23AB@1\u23AC@1\u23AD@1\u23AA@1\u007D@1}@1}@2}@3}@4 # }
  29
  30 # N-ARY operators
  31 \u2140 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2140@1 # DOUBLE-STRUCK N-ARY SUMMATION
  32 \u220F = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u220F@1 # N-ARY PRODUCT
  33 \u2210 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2210@1 # N-ARY COPRODUCT
  34 \u2211 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2211@1 # N-ARY SUMMATION
  35 \u22C0 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u22C0@1 # N-ARY LOGICAL AND
  36 \u22C1 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u22C1@1 # N-ARY LOGICAL OR
  37 \u22C2 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u22C2@1 # N-ARY INTERSECTION
  38 \u22C3 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u22C3@1 # N-ARY UNION
  39 \u2A00 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A00@1 # N-ARY CIRCLED DOT OPERATOR
  40 \u2A01 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A01@1 # N-ARY CIRCLED PLUS OPERATOR
  41 \u2A02 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A02@1 # N-ARY CIRCLED TIMES OPERATOR
  42 \u2A03 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A03@1 # N-ARY UNION OPERATOR WITH DOT
  43 \u2A04 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A04@1 # N-ARY UNION OPERATOR WITH PLUS
  44 \u2A05 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A05@1 # N-ARY SQUARE INTERSECTION OPERATOR
  45 \u2A06 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A06@1 # N-ARY SQUARE UNION OPERATOR
  46 \u2A09 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A09@1 # N-ARY TIMES OPERATOR
  47 \u2AFF = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2AFF@1 # N-ARY WHITE VERTICAL BAR
  48
  49 # E000 stix-radical symbol vertical extender
  50 # E001 stix-radical symbol top corner
  51 \u221A = \uE001@7\uFFFD\u221A@4\uE000@7\uFFFD\u221A@1\u221A@2\u221A@3 # Sqrt, radic
  52
  53 # Integrals
  54 \u222B = \u2320@1\uFFFD\u2321@1\u23AE@1\uFFFD@1\u222B@6
  55 \u222C = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u222C@6
  56 \u222D = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u222D@6
  57 \u222E = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u222E@6
  58 \u222F = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u222F@6
  59 \u2230 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2230@6
  60 \u2231 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2231@6
  61 \u2232 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2232@6
  62 \u2233 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2233@6
  63 \u2A0B = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0B@6
  64 \u2A0C = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0C@6
  65 \u2A0D = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0D@6
  66 \u2A0E = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0E@6
  67 \u2A0F = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0F@6
  68 \u2A10 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A10@6
  69 \u2A11 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A11@6
  70 \u2A12 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A12@6
  71 \u2A13 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A13@6
  72 \u2A14 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A14@6
  73 \u2A15 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A15@6
  74 \u2A16 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A16@6
  75 \u2A17 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A17@6
  76 \u2A18 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A18@6
  77 \u2A19 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A19@6
  78 \u2A1A = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A1A@6
  79 \u2A1B = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A1B@6
  80 \u2A1C = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A1C@6
  81
  82 \u27E8 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u27E8@1\u27E8@2\u27E8@3\u27E8@4 # LeftAngleBracket
  83 \u27E9 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u27E9@1\u27E9@2\u27E9@3\u27E9@4 # RightAngleBracket
  84
  85 \u23DE = \uE13B@7\uE140@7\uE13C@7\uE14A@7\uFFFD\u23DE@1\u23DE@2\u23DE@3\u23DE@4\u23DE@5 # &OverBrace; (Unicode)
  86 \uFE37 = \uE13B@7\uE140@7\uE13C@7\uE14A@7\uFFFD\u23DE@1\u23DE@2\u23DE@3\u23DE@4\u23DE@5 # &OverBrace; (MathML 2.0)
  87 \u23B4 = \uE146@7\uFFFD\uE147@7\uE14A@7\uFFFD\u23B4@1\u23B4@2\u23B4@3\u23B4@4\u23B4@5 # &OverBracket;
  88 \u23DC = \uE142@7\uFFFD\uE143@7\uE14A@7\uFFFD\u23DC@1\u23DC@2\u23DC@3\u23DC@4\u23DC@5 # &OverParenthesis; (Unicode)
  89 \uFE35 = \uE142@7\uFFFD\uE143@7\uE14A@7\uFFFD\u23DC@1\u23DC@2\u23DC@3\u23DC@4\u23DC@5 # &OverParenthesis; (MathML 2.0)
  90 \u23DF = \uE13D@7\uE141@7\uE13E@7\uE13F@7\uFFFD\u23DF@1\u23DF@2\u23DF@3\u23DF@4\u23DF@5 # &UnderBrace; (Unicode)
  91 \uFE38 = \uE13D@7\uE141@7\uE13E@7\uE13F@7\uFFFD\u23DF@1\u23DF@2\u23DF@3\u23DF@4\u23DF@5 # &UnderBrace; (MathML 2.0)
  92 \u23B5 = \uE148@7\uFFFD\uE149@7\uE14B@7\uFFFD\u23B5@1\u23B5@2\u23B5@3\u23B5@4\u23B5@5 # &UnderBracket;
  93 \u23DD = \uE144@7\uFFFD\uE145@7\uE14B@7\uFFFD\u23DD@1\u23DD@2\u23DD@3\u23DD@4\u23DD@5 # &UnderParenthesis; (Unicode)
  94 \uFE36 = \uE144@7\uFFFD\uE145@7\uE14B@7\uFFFD\u23DD@1\u23DD@2\u23DD@3\u23DD@4\u23DD@5 # &UnderParenthesis; (MathML 2.0)
  95
  96 \u005E = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u0302@1\u0302@2\u0302@3\u0302@4\u0302@5 # circumflex accent, COMBINING CIRCUMFLEX ACCENT
  97 \u02C6 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u0302@1\u0302@2\u0302@3\u0302@4\u0302@5 # modifier letter circumflex accent, COMBINING CIRCUMFLEX ACCENT
  98 \u007E = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u0303@1\u0303@2\u0303@3\u0303@4\u0303@5 # ~ tilde, COMBINING TILDE
  99 \u02DC = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u0303@1\u0303@2\u0303@3\u0303@4\u0303@5 # small tilde, COMBINING TILDE
 100 \u02C7 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u030C@1\u030C@2\u030C@3\u030C@4\u030C@5 # caron, COMBINING CARON
 101
 102 ############
 103 # 2) Constructions from mathfontSTIXNonUnicode.properties (bug 1007093) #
 104
 105 #        [ T/L |  M  | B/R |  G  | size0 ... size{N-1} ]
 106 # E0B4 stix-arrow hookleft
 107 # E0B5 stix-arrow hookright
 108 \u21A9 = \u2190\uFFFD\uE0B5@7\u23AF # hookleftarrow, larrhk
 109 \u21AA = \uE0B4@7\uFFFD\u2192\u23AF # hookrightarrow, rarrhk
 110
 111 # 0E10E stix-stix-extender for vertical double arrow
 112 # 0E10F stix-extender for horizontal double arrow
 113 \u21D0 = \u21D0\uFFFD\uFFFD\uE10F@7\uFFFD\u27F8 # DoubleLeftArrow, Leftarrow, lArr
 114 \u21D1 = \u21D1\uFFFD\uFFFD\uE10E@7 # DoubleUpArrow, Uparrow, uArr
 115 \u21D2 = \uFFFD\uFFFD\u21D2\uE10F@7\uFFFD\u27F9 # DoubleRightArrow, Implies, Rightarrow, rArr
 116 \u21D3 = \uFFFD\uFFFD\u21D3\uE10E@7 # DoubleDownArrow, Downarrow, dArr
 117 \u21D4 = \u21D0\uFFFD\u21D2\uE10F@7\uFFFD\u27FA # DoubleLeftRightArrow, Leftrightarrow, hArr, iff
 118 \u21D5 = \u21D1\uFFFD\u21D3\uE10E@7 # DoubleUpDownArrow, Updownarrow, vArr
 119
 120 # STIXGeneral U+22A2/U+22A3 RIGHT/LEFT TACK are different heights to U+23AF.
 121 # Could use LONG RIGHT/LEFT TACK instead, but STIXNonUnicode provides
 122 # E0B6 stix-maps-to-relation tail
 123 \u21A4 = \u2190\uFFFD\uE0B6@7\u23AF\uFFFD\u27FB # LeftTeeArrow, mapstoleft
 124 \u21A6 = \uE0B6@7\uFFFD\u2192\u23AF\uFFFD\u27FC # RightTeeArrow, map, mapsto
 125 \u295A = \u21BC\uFFFD\uE0B6@7\u23AF # LeftTeeVector
 126 \u295B = \uE0B6@7\uFFFD\u21C0\u23AF # RIGHTWARDS HARPOON WITH BARB UP FROM BAR, RightTeeVector
 127 \u295E = \u21BD\uFFFD\uE0B6@7\u23AF # DownLeftTeeVector
 128 \u295F = \uE0B6@7\uFFFD\u21C1\u23AF # RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR, DownRightTeeVector