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