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