gecko/layout/mathml/mathfontCMSY10.properties
2012-05-21 12:12:37 +01:00

46 lines
2.5 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 with the indicated mathfont.
mathfont = CMSY10
# There is a nebulous entanglement between the parts of stretchy chars in
# TeX fonts. The convention used here is to enlist horizontal stretchy chars
# in the property file of cmsy, and enlist vertical stretchy chars in the
# property file of cmex. Exception: composite chars like under/over brace
# are all enlisted in cmex.
external.1 = CMR10
external.2 = CMMI10
# [ T/L | M | B/R | G | size0 ... size{N-1} ]
\u2190 = \u2190\uFFFD\uFFFD\u2212\u2190 # LeftArrow, larr, leftarrow
\u2192 = \uFFFD\uFFFD\u2192\u2212\u2192 # RightArrow, rarr, rightarrow
\u2194 = \u2190\uFFFD\u2192\u2212\u2194 # LeftRightArrow, harr, leftrightarrow
\u21A9 = \u2190\uFFFD\uF8FF@2\u2212\u21A9 # hookleftarrow, larrhk
\u21AA = \uF8FF@2\uFFFD\u2192\u2212\u21AA # hookrightarrow, rarrhk
\u21A6 = \uF8FF\uFFFD\u2192\u2212\u21A6 # RightTeeArrow, map, mapsto
\u21C0 = \uFFFD\uFFFD\u21C0@2\u2212\u21C0 # RightVector, rharu, rightharpoonup
\u21C1 = \uFFFD\uFFFD\u21C1@2\u2212\u21C1 # DownRightVector, rhard, rightharpoondown
\u21BC = \u21BC@2\uFFFD\uFFFD\u2212\u21BC # LeftVector, leftharpoonup, lharu
\u21BD = \u21BD@2\uFFFD\uFFFD\u2212\u21BD # DownLeftVector, leftharpoondown, lhard
\u295B = \uF8FF\uFFFD\u21C0@2\u2212\u295B #RIGHTWARDS HARPOON WITH BARB UP FROM BAR, RightTeeVector
\u295F = \uF8FF\uFFFD\u21C1@2\u2212\u295F #RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR, DownRightTeeVector
\u294E = \u21BC@2\uFFFD\u21C0@2\u2212\u294E #LEFT BARB UP RIGHT BARB UP HARPOON, LeftRightVector
\u2950 = \u21BD@2\uFFFD\u21C1@2\u2212\u2950 #LEFT BARB DOWN RIGHT BARB DOWN HARPOON , DownLeftRightVector
\u21D0 = \u21D0\uFFFD\uFFFD\u003D@1\u21D0 # DoubleLeftArrow, Leftarrow, lArr
\u21D4 = \u21D0\uFFFD\u21D2\u003D@1\u21D4 # DoubleLeftRightArrow, Leftrightarrow, hArr, iff
\u21D2 = \uFFFD\uFFFD\u21D2\u003D@1\u21D2 # DoubleRightArrow, Implies, Rightarrow, rArr
\uF576 = \u2190\uFFFD\uFFFD\u2212\uF576 # LongLeftArrow
\uF577 = \uFFFD\uFFFD\u2192\u2212\uF577 # LongRightArrow
\uF578 = \u2190\uFFFD\u2192\u2212\uF578 # LongLeftRightArrow
\uF579 = \u21D0\uFFFD\uFFFD\u003D@1\uF579 # DoubleLongLeftArrow
\uF57A = \uFFFD\uFFFD\u21D2\u003D@1\uF57A # DoubleLongRightArrow
\uF57B = \u21D0\uFFFD\u21D2\u003D@1\uF57B # DoubleLongLeftRightArrow