mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-23 04:41:11 +00:00
19220a3149
Differential Revision: https://phabricator.services.mozilla.com/D79203
93 lines
4.9 KiB
Properties
93 lines
4.9 KiB
Properties
# 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/.
|
|
|
|
# LOCALIZATION NOTE: FILE
|
|
# Do not translate anything in this file
|
|
|
|
# This file contains the list of all stretchy MathML chars that
|
|
# can be rendered using only Unicode code points.
|
|
|
|
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
|
|
\u0028 = \u239B\uFFFD\u239D\u239C\u0028 # (
|
|
\u0029 = \u239E\uFFFD\u23A0\u239F\u0029 # )
|
|
\u005B = \u23A1\uFFFD\u23A3\u23A2\u005B # [
|
|
\u005D = \u23A4\uFFFD\u23A6\u23A5\u005D # ]
|
|
\u007B = \u23A7\u23A8\u23A9\u23AA\u007B # {
|
|
\u007C = \uFFFD\uFFFD\uFFFD\u007C\u007C # |
|
|
\u007D = \u23AB\u23AC\u23AD\u23AA\u007D # }
|
|
|
|
# OverBar is stretched with U+0305 COMBINING OVERLINE which "connects on left and right"
|
|
\u00AF = \uFFFD\uFFFD\uFFFD\u0305\u00AF # OverBar
|
|
#\u0305 doesn't appear to be referenced by the MathML spec
|
|
\u203E = \uFFFD\uFFFD\uFFFD\u0305\u00AF # overline
|
|
\u0332 = \uFFFD\uFFFD\uFFFD\u0332\u0332 # COMBINING LOW LINE, UnderBar
|
|
\u005F = \uFFFD\uFFFD\uFFFD\u0332\u0332 # _ low line
|
|
\u003D = \uFFFD\uFFFD\uFFFD\u003D\u003D # = equal sign
|
|
|
|
\u2016 = \uFFFD\uFFFD\uFFFD\u2016\u2016 # DOUBLE VERTICAL LINE, Vert, Verbar
|
|
|
|
\u2190 = \u2190\uFFFD\uFFFD\u23AF\u2190\u27F5 # LeftArrow, larr, leftarrow
|
|
\u2191 = \u2191\uFFFD\uFFFD\u23D0\u2191 # UpArrow, uarr, uparrow
|
|
\u2192 = \uFFFD\uFFFD\u2192\u23AF\u2192\u27F6 # RightArrow, rarr, rightarrow
|
|
\u2193 = \uFFFD\uFFFD\u2193\u23D0\u2193 # DownArrow, darr, downarrow
|
|
\u2194 = \u2190\uFFFD\u2192\u23AF\u2194\u27F7 # LeftRightArrow, harr, leftrightarrow
|
|
\u2195 = \u2191\uFFFD\u2193\u23D0\u2195 # UpDownArrow, updownarrow, varr
|
|
|
|
# For 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
|
|
#\u21A4 = \u2190\uFFFD\u27DE\u23AF\u21A6\u27FB # LeftTeeArrow, mapstoleft
|
|
#\u21A6 = \u27DD\uFFFD\u2192\u23AF\u21A6\u27FC # RightTeeArrow, map, mapsto
|
|
#\u295A = \u21BC\uFFFD\u27DE\u23AF\u295A # LeftTeeVector
|
|
#\u295B = \u27DD\uFFFD\u21C0\u23AF\u295B # RIGHTWARDS HARPOON WITH BARB UP FROM BAR, RightTeeVector
|
|
#\u295E = \u21BD\uFFFD\u27DE\u23AF\u295E # DownLeftTeeVector
|
|
#\u295F = \u27DD\uFFFD\u21C1\u23AF\u295F # RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR, DownRightTeeVector
|
|
# Cambria Math does not have U+27DD/U+27DE
|
|
\u21A4 = \u2190\uFFFD\u22A3\u23AF\u21A6\u27FB # LeftTeeArrow, mapstoleft
|
|
\u21A6 = \u22A2\uFFFD\u2192\u23AF\u21A6\u27FC # RightTeeArrow, map, mapsto
|
|
\u295A = \u21BC\uFFFD\u22A3\u23AF\u295A # LeftTeeVector
|
|
\u295B = \u22A2\uFFFD\u21C0\u23AF\u295B # RIGHTWARDS HARPOON WITH BARB UP FROM BAR, RightTeeVector
|
|
\u295E = \u21BD\uFFFD\u22A3\u23AF\u295E # DownLeftTeeVector
|
|
\u295F = \u22A2\uFFFD\u21C1\u23AF\u295F # RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR, DownRightTeeVector
|
|
|
|
\u21C0 = \uFFFD\uFFFD\u21C0\u23AF\u21C0 # RightVector, rharu, rightharpoonup
|
|
\u21C1 = \uFFFD\uFFFD\u21C1\u23AF\u21C1 # DownRightVector, rhard, rightharpoon down
|
|
\u21BC = \u21BC\uFFFD\uFFFD\u23AF\u21BC # LeftVector, leftharpoonup, lharu
|
|
\u21BD = \u21BD\uFFFD\uFFFD\u23AF\u21BD # DownLeftVector, leftharpoondown, lhard
|
|
\u21D0 = \uFFFD\uFFFD\uFFFD\uFFFD\u21D0\u27F8 # DoubleLeftArrow, Leftarrow, lArr
|
|
\u21D2 = \uFFFD\uFFFD\uFFFD\uFFFD\u21D2\u27F9 # DoubleRightArrow, Implies, Rightarro
|
|
\u21D4 = \uFFFD\uFFFD\uFFFD\uFFFD\u21D4\u27FA # DoubleLeftRightArrow, Leftrightarrow, hArr, iff
|
|
|
|
# \u221A radical may be made from RADICAL SYMBOL BOTTOM U+23B7 but few fonts
|
|
# support this character and it is not clear what the appropriate vertical
|
|
# glue whould be.
|
|
|
|
\u2223 = \uFFFD\uFFFD\uFFFD\u2223\u2223 # VerticalBar, mid
|
|
\u2225 = \uFFFD\uFFFD\uFFFD\u2225\u2225 # DoubleVerticalBar, par, parallel
|
|
|
|
# If fonts have U+23AE INTEGRAL EXTENSION:
|
|
# (STIXSize1, Cambria Math, DejaVu Sans/Serif, Apple's Symbol)
|
|
\u222B = \u2320\uFFFD\u2321\u23AE\u222B # Integral, int
|
|
# Many fonts don't have U+23AE. For these fonts, a rule can be used as glue:
|
|
# \u222B = \u2320\uFFFD\u2321\uFFFD\u222B # Integral, int
|
|
|
|
# Using parts of [ and ] (could use box drawings instead)
|
|
\u2308 = \u23A1\uFFFD\uFFFD\u23A2\u2308 # LeftCeiling, lceil
|
|
\u2309 = \u23A4\uFFFD\uFFFD\u23A5\u2309 # RightCeiling, rceil
|
|
\u230A = \uFFFD\uFFFD\u23A3\u23A2\u230A # LeftFloor, lfloor
|
|
\u230B = \uFFFD\uFFFD\u23A6\u23A5\u230B # RightFloor, rfloor
|
|
|
|
# Support for l/r moustache from the parts of lbrace { and rbrace }
|
|
\u23B0 = \u23A7\uFFFD\u23AD\u23AA\u23B0 # lmoustache, lmoust
|
|
\u23B1 = \u23AB\uFFFD\u23A9\u23AA\u23B1 # rmoustache, rmoust
|
|
|
|
# Using normal arrows as heads instead of long arrows for the sake of
|
|
# Apple's Symbol font.
|
|
\u27F5 = \u2190\uFFFD\uFFFD\u23AF\u27F5 # LongLeftArrow
|
|
\u27F6 = \uFFFD\uFFFD\u2192\u23AF\u27F6 # LongRightArrow
|
|
\u27F7 = \u2190\uFFFD\u2192\u23AF\u27F7 # LongLeftRightArrow
|
|
|
|
\u294E = \u21BC\uFFFD\u21C0\u23AF\u294E #LEFT BARB UP RIGHT BARB UP HARPOON, LeftRightVector
|
|
\u2950 = \u21BD\uFFFD\u21C1\u23AF\u2950 #LEFT BARB DOWN RIGHT BARB DOWN HARPOON , DownLeftRightVector
|