|
|
|
|
|
|
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 947654) # |
| 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 # ⏞ (Unicode) |
| 86 |
\uFE37 = \uE13B@7\uE140@7\uE13C@7\uE14A@7\uFFFD\u23DE@1\u23DE@2\u23DE@3\u23DE@4\u23DE@5 # ⏞ (MathML 2.0) |
| 87 |
\u23B4 = \uE146@7\uFFFD\uE147@7\uE14A@7\uFFFD\u23B4@1\u23B4@2\u23B4@3\u23B4@4\u23B4@5 # ⎴ |
| 88 |
\u23DC = \uE142@7\uFFFD\uE143@7\uE14A@7\uFFFD\u23DC@1\u23DC@2\u23DC@3\u23DC@4\u23DC@5 # ⏜ (Unicode) |
| 89 |
\uFE35 = \uE142@7\uFFFD\uE143@7\uE14A@7\uFFFD\u23DC@1\u23DC@2\u23DC@3\u23DC@4\u23DC@5 # ⏜ (MathML 2.0) |
| 90 |
\u23DF = \uE13D@7\uE141@7\uE13E@7\uE13F@7\uFFFD\u23DF@1\u23DF@2\u23DF@3\u23DF@4\u23DF@5 # ⏟ (Unicode) |
| 91 |
\uFE38 = \uE13D@7\uE141@7\uE13E@7\uE13F@7\uFFFD\u23DF@1\u23DF@2\u23DF@3\u23DF@4\u23DF@5 # ⏟ (MathML 2.0) |
| 92 |
\u23B5 = \uE148@7\uFFFD\uE149@7\uE14B@7\uFFFD\u23B5@1\u23B5@2\u23B5@3\u23B5@4\u23B5@5 # ⎵ |
| 93 |
\u23DD = \uE144@7\uFFFD\uE145@7\uE14B@7\uFFFD\u23DD@1\u23DD@2\u23DD@3\u23DD@4\u23DD@5 # ⏝ (Unicode) |
| 94 |
\uFE36 = \uE144@7\uFFFD\uE145@7\uE14B@7\uFFFD\u23DD@1\u23DD@2\u23DD@3\u23DD@4\u23DD@5 # ⏝ (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 947654) # |
| 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 |