michael@0: # This Source Code Form is subject to the terms of the Mozilla Public
michael@0: # License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0: # file, You can obtain one at http://mozilla.org/MPL/2.0/.
michael@0: 
michael@0: #  LOCALIZATION NOTE: FILE
michael@0: #  Do not translate anything in this file
michael@0: 
michael@0: # This file contains the list of some stretchy MathML chars that
michael@0: # can be rendered with STIXNonUnicode.
michael@0: 
michael@0: external.1 = STIXGeneral
michael@0: 
michael@0: #        [ T/L |  M  | B/R |  G  | size0 ... size{N-1} ]
michael@0: # E0B4 stix-arrow hookleft
michael@0: # E0B5 stix-arrow hookright
michael@0: \u21A9 = \u2190@1\uFFFD\uE0B5\u23AF@1 # hookleftarrow, larrhk
michael@0: \u21AA = \uE0B4\uFFFD\u2192@1\u23AF@1 # hookrightarrow, rarrhk
michael@0: 
michael@0: # 0E10E stix-stix-extender for vertical double arrow
michael@0: # 0E10F stix-extender for horizontal double arrow
michael@0: \u21D0 = \u21D0@1\uFFFD\uFFFD\uE10F\uFFFD\u27F8@1 # DoubleLeftArrow, Leftarrow, lArr
michael@0: \u21D1 = \u21D1@1\uFFFD\uFFFD\uE10E # DoubleUpArrow, Uparrow, uArr
michael@0: \u21D2 = \uFFFD\uFFFD\u21D2@1\uE10F\uFFFD\u27F9@1 # DoubleRightArrow, Implies, Rightarrow, rArr
michael@0: \u21D3 = \uFFFD\uFFFD\u21D3@1\uE10E # DoubleDownArrow, Downarrow, dArr
michael@0: \u21D4 = \u21D0@1\uFFFD\u21D2@1\uE10F\uFFFD\u27FA@1 # DoubleLeftRightArrow, Leftrightarrow, hArr, iff
michael@0: \u21D5 = \u21D1@1\uFFFD\u21D3@1\uE10E # DoubleUpDownArrow, Updownarrow, vArr
michael@0: 
michael@0: # STIXGeneral U+22A2/U+22A3 RIGHT/LEFT TACK are different heights to U+23AF.
michael@0: # Could use LONG RIGHT/LEFT TACK instead, but STIXNonUnicode provides
michael@0: # E0B6 stix-maps-to-relation tail
michael@0: \u21A4 = \u2190@1\uFFFD\uE0B6\u23AF@1\uFFFD\u27FB@1 # LeftTeeArrow, mapstoleft
michael@0: \u21A6 = \uE0B6\uFFFD\u2192@1\u23AF@1\uFFFD\u27FC@1 # RightTeeArrow, map, mapsto
michael@0: \u295A = \u21BC@1\uFFFD\uE0B6\u23AF@1 # LeftTeeVector
michael@0: \u295B = \uE0B6\uFFFD\u21C0@1\u23AF@1 # RIGHTWARDS HARPOON WITH BARB UP FROM BAR, RightTeeVector
michael@0: \u295E = \u21BD@1\uFFFD\uE0B6\u23AF@1 # DownLeftTeeVector
michael@0: \u295F = \uE0B6\uFFFD\u21C1@1\u23AF@1 # RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR, DownRightTeeVector
michael@0: 
michael@0: # E13B stix-left end of extensible overbrace
michael@0: # E13C stix-right end of extensible overbrace
michael@0: # E13D stix-left end of extensible underbrace
michael@0: # E13E stix-right end of extensible underbrace
michael@0: # E13F stix-extensible horizontal for curly over and under braces
michael@0: # E140 stix-center of extensible overbrace
michael@0: # E141 stix-center of extensible underbrace
michael@0: # E13F is the wrong height for overbrace:
michael@0: # use E14A stix-extensible horizontal for over paren or square bracket
michael@0: # U+FE37 and U+FE38 are from the MathML 2.0 spec.
michael@0: \uFE37 = \uE13B\uE140\uE13C\uE14A # OverBrace
michael@0: \uFE38 = \uE13D\uE141\uE13E\uE13F # UnderBrace
michael@0: # Unicode added U+23DE and U+23DF:
michael@0: # http://www.unicode.org/reports/tr25/#_TocDelimiters
michael@0: \u23DE = \uE13B\uE140\uE13C\uE14A # OverBrace
michael@0: \u23DF = \uE13D\uE141\uE13E\uE13F # UnderBrace
michael@0: 
michael@0: # E146 stix-left end of extensible over square bracket (CMEX10 x34 rotated 90deg)
michael@0: # E147 stix-right end of extensible over square bracket (CMEX10 x32 rotated 90deg)
michael@0: # E148 stix-left end of extensible under square bracket (CMEX10 x35 rotated 90deg)
michael@0: # E149 stix-right end of extensible under square bracket (CMEX10 x33 rotated 90deg)
michael@0: # E14A stix-extensible horizontal for over paren or square bracket (CMEX10 x42 rotated 90deg)
michael@0: # E14B stix-extensible horizontal for under paren or square bracket
michael@0: \u23B4 = \uE146\uFFFD\uE147\uE14A # ⎴
michael@0: \u23B5 = \uE148\uFFFD\uE149\uE14B # ⎵
michael@0: 
michael@0: # E142 stix-left end of extensible overparen (CMEX10 x40 rotated 90deg)
michael@0: # E143 stix-right end of extensible overparen (CMEX10 x30 rotated 90deg)
michael@0: # E144 stix-left end of extensible underparen (CMEX10 x41 rotated 90deg)
michael@0: # E145 stix-right end of extensible underparen (CMEX10 x31 rotated 90deg)
michael@0: # E14A stix-extensible horizontal for over paren or square bracket (CMEX10 x42 rotated 90deg)
michael@0: # E14B stix-extensible horizontal for under paren or square bracket
michael@0: # U+FE35 and U+FE36 are from the MathML 2.0 spec.
michael@0: \uFE35 = \uE142\uFFFD\uE143\uE14A # OverParenthesis
michael@0: \uFE36 = \uE144\uFFFD\uE145\uE14B # UnderParenthesis
michael@0: # Unicode added U+23DC and U+23DD:
michael@0: \u23DC = \uE142\uFFFD\uE143\uE14A # OverParenthesis
michael@0: \u23DD = \uE144\uFFFD\uE145\uE14B # UnderParenthesis