Fri, 16 Jan 2015 18:13:44 +0100
Integrate suggestion from review to improve consistency with existing code.
michael@0 | 1 | # This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 2 | # License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 3 | # file, You can obtain one at http://mozilla.org/MPL/2.0/. |
michael@0 | 4 | |
michael@0 | 5 | # LOCALIZATION NOTE: FILE |
michael@0 | 6 | # Do not translate anything in this file |
michael@0 | 7 | |
michael@0 | 8 | # This file contains the list of some stretchy MathML chars that |
michael@0 | 9 | # can be rendered with STIXSize* set of fonts, |
michael@0 | 10 | # with some help from STIXNonUnicode, STIXGeneral and STIXIntegralsD. |
michael@0 | 11 | |
michael@0 | 12 | external.1 = STIXNonUnicode |
michael@0 | 13 | external.2 = STIXSizeTwoSym |
michael@0 | 14 | external.3 = STIXSizeThreeSym |
michael@0 | 15 | external.4 = STIXSizeFourSym |
michael@0 | 16 | external.5 = STIXSizeFiveSym |
michael@0 | 17 | external.6 = STIXIntegralsD |
michael@0 | 18 | |
michael@0 | 19 | # [ T/L | M | B/R | G | size0 ... size{N-1} ] |
michael@0 | 20 | \u0028 = \u239B\uFFFD\u239D\u239C\uFFFD((@2(@3(@4 # ( |
michael@0 | 21 | \u0029 = \u239E\uFFFD\u23A0\u239F\uFFFD))@2)@3)@4 # ) |
michael@0 | 22 | \u005B = \u23A1\uFFFD\u23A3\u23A2\u005B[[@2[@3[@4 # [ |
michael@0 | 23 | \u005D = \u23A4\uFFFD\u23A6\u23A5\u005D]]@2]@3]@4 # ] |
michael@0 | 24 | \u007B = \u23A7\u23A8\u23A9\u23AA\u007B{{@2{@3{@4 # { |
michael@0 | 25 | \u007D = \u23AB\u23AC\u23AD\u23AA\u007D}}@2}@3}@4 # } |
michael@0 | 26 | |
michael@0 | 27 | # N-ARY operators |
michael@0 | 28 | \u2140 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2140 # DOUBLE-STRUCK N-ARY SUMMATION |
michael@0 | 29 | \u220F = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u220F # N-ARY PRODUCT |
michael@0 | 30 | \u2210 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2210 # N-ARY COPRODUCT |
michael@0 | 31 | \u2211 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2211 # N-ARY SUMMATION |
michael@0 | 32 | \u22C0 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u22C0 # N-ARY LOGICAL AND |
michael@0 | 33 | \u22C1 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u22C1 # N-ARY LOGICAL OR |
michael@0 | 34 | \u22C2 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u22C2 # N-ARY INTERSECTION |
michael@0 | 35 | \u22C3 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u22C3 # N-ARY UNION |
michael@0 | 36 | \u2A00 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A00 # N-ARY CIRCLED DOT OPERATOR |
michael@0 | 37 | \u2A01 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A01 # N-ARY CIRCLED PLUS OPERATOR |
michael@0 | 38 | \u2A02 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A02 # N-ARY CIRCLED TIMES OPERATOR |
michael@0 | 39 | \u2A03 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A03 # N-ARY UNION OPERATOR WITH DOT |
michael@0 | 40 | \u2A04 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A04 # N-ARY UNION OPERATOR WITH PLUS |
michael@0 | 41 | \u2A05 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A05 # N-ARY SQUARE INTERSECTION OPERATOR |
michael@0 | 42 | \u2A06 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A06 # N-ARY SQUARE UNION OPERATOR |
michael@0 | 43 | \u2A09 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A09 # N-ARY TIMES OPERATOR |
michael@0 | 44 | \u2AFF = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2AFF # N-ARY WHITE VERTICAL BAR |
michael@0 | 45 | |
michael@0 | 46 | # E000 stix-radical symbol vertical extender |
michael@0 | 47 | # E001 stix-radical symbol top corner |
michael@0 | 48 | \u221A = \uE001@1\uFFFD\u221A@4\uE000@1\uFFFD\u221A\u221A@2\u221A@3 # Sqrt, radic |
michael@0 | 49 | |
michael@0 | 50 | # Integrals |
michael@0 | 51 | \u222B = \u2320\uFFFD\u2321\u23AE\uFFFD\u222B@6 |
michael@0 | 52 | \u222C = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u222C@6 |
michael@0 | 53 | \u222D = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u222D@6 |
michael@0 | 54 | \u222E = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u222E@6 |
michael@0 | 55 | \u222F = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u222F@6 |
michael@0 | 56 | \u2230 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2230@6 |
michael@0 | 57 | \u2231 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2231@6 |
michael@0 | 58 | \u2232 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2232@6 |
michael@0 | 59 | \u2233 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2233@6 |
michael@0 | 60 | \u2A0B = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0B@6 |
michael@0 | 61 | \u2A0C = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0C@6 |
michael@0 | 62 | \u2A0D = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0D@6 |
michael@0 | 63 | \u2A0E = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0E@6 |
michael@0 | 64 | \u2A0F = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A0F@6 |
michael@0 | 65 | \u2A10 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A10@6 |
michael@0 | 66 | \u2A11 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A11@6 |
michael@0 | 67 | \u2A12 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A12@6 |
michael@0 | 68 | \u2A13 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A13@6 |
michael@0 | 69 | \u2A14 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A14@6 |
michael@0 | 70 | \u2A15 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A15@6 |
michael@0 | 71 | \u2A16 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A16@6 |
michael@0 | 72 | \u2A17 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A17@6 |
michael@0 | 73 | \u2A18 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A18@6 |
michael@0 | 74 | \u2A19 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A19@6 |
michael@0 | 75 | \u2A1A = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A1A@6 |
michael@0 | 76 | \u2A1B = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A1B@6 |
michael@0 | 77 | \u2A1C = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u2A1C@6 |
michael@0 | 78 | |
michael@0 | 79 | \u27E8 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u27E8\u27E8@2\u27E8@3\u27E8@4 # LeftAngleBracket |
michael@0 | 80 | \u27E9 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u27E9\u27E9@2\u27E9@3\u27E9@4 # RightAngleBracket |
michael@0 | 81 | |
michael@0 | 82 | \u23DE = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23DE\u23DE@2\u23DE@3\u23DE@4\u23DE@5 # ⏞ (Unicode) |
michael@0 | 83 | \uFE37 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23DE\u23DE@2\u23DE@3\u23DE@4\u23DE@5 # ⏞ (MathML 2.0) |
michael@0 | 84 | \u23B4 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23B4\u23B4@2\u23B4@3\u23B4@4\u23B4@5 # ⎴ |
michael@0 | 85 | \u23DC = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23DC\u23DC@2\u23DC@3\u23DC@4\u23DC@5 # ⏜ (Unicode) |
michael@0 | 86 | \uFE35 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23DC\u23DC@2\u23DC@3\u23DC@4\u23DC@5 # ⏜ (MathML 2.0) |
michael@0 | 87 | \u23DF = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23DF\u23DF@2\u23DF@3\u23DF@4\u23DF@5 # ⏟ (Unicode) |
michael@0 | 88 | \uFE38 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23DF\u23DF@2\u23DF@3\u23DF@4\u23DF@5 # ⏟ (MathML 2.0) |
michael@0 | 89 | \u23B5 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23B5\u23B5@2\u23B5@3\u23B5@4\u23B5@5 # ⎵ |
michael@0 | 90 | \u23DD = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23DD\u23DD@2\u23DD@3\u23DD@4\u23DD@5 # ⏝ (Unicode) |
michael@0 | 91 | \uFE36 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u23DD\u23DD@2\u23DD@3\u23DD@4\u23DD@5 # ⏝ (MathML 2.0) |
michael@0 | 92 | |
michael@0 | 93 | \u005E = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u0302\u0302@2\u0302@3\u0302@4\u0302@5 # circumflex accent, COMBINING CIRCUMFLEX ACCENT |
michael@0 | 94 | \u02C6 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u0302\u0302@2\u0302@3\u0302@4\u0302@5 # modifier letter circumflex accent, COMBINING CIRCUMFLEX ACCENT |
michael@0 | 95 | \u007E = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u0303\u0303@2\u0303@3\u0303@4\u0303@5 # ~ tilde, COMBINING TILDE |
michael@0 | 96 | \u02DC = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u0303\u0303@2\u0303@3\u0303@4\u0303@5 # small tilde, COMBINING TILDE |
michael@0 | 97 | \u02C7 = \uFFFD\uFFFD\uFFFD\uFFFD\uFFFD\u030C\u030C@2\u030C@3\u030C@4\u030C@5 # caron, COMBINING CARON |