mathfont.properties

南开火狐

operator.\u22C3.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋃
operator.\u228E.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊎
operator.\u006C\u0069\u006D.prefix = movablelimits:true lspace:0em rspace:thinmathspace # lim
operator.\u006D\u0061\u0078.prefix = movablelimits:true lspace:0em rspace:thinmathspace # max
operator.\u006D\u0069\u006E.prefix = movablelimits:true lspace:0em rspace:thinmathspace # min
operator.\u2212.infix = lspace:mediummathspace rspace:mediummathspace # official Unicode minus sign
operator.\u2212.prefix = lspace:0em rspace:veryverythinmathspace # official Unicode minus sign
operator.\u2296.infix = lspace:thinmathspace rspace:thinmathspace # ⊖
operator.\u2295.infix = lspace:thinmathspace rspace:thinmathspace # ⊕
operator.\u2232.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∲
operator.\u222E.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∮
operator.\u2233.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # &CounterClockwiseContourIntegral;
operator.\u222F.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∯
operator.\u222B.prefix = stretchy:vertical largeop:true lspace:0em rspace:0em # ∫
operator.\u22D3.infix = lspace:thinmathspace rspace:thinmathspace # ⋓
operator.\u22D2.infix = lspace:thinmathspace rspace:thinmathspace # ⋒
operator.\u2240.infix = lspace:thinmathspace rspace:thinmathspace # ≀
operator.\u22C0.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋀
operator.\u2297.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊗
operator.\u2210.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ∐
operator.\u220F.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ∏
operator.\u22C2.prefix = stretchy:vertical largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⋂
operator.\u2210.infix = lspace:thinmathspace rspace:thinmathspace # ∐
operator.\u22C6.infix = lspace:thinmathspace rspace:thinmathspace # ⋆
operator.\u2299.prefix = largeop:true movablelimits:true lspace:0em rspace:thinmathspace # ⊙
operator.\u002A.infix = lspace:thinmathspace rspace:thinmathspace # *
operator.\u2062.infix = lspace:0em rspace:0em # ⁢
operator.\u00B7.infix = lspace:thinmathspace rspace:thinmathspace # ·
operator.\u2297.infix = lspace:thinmathspace rspace:thinmathspace # ⊗
operator.\u22C1.infix = lspace:thinmathspace rspace:thinmathspace # ⋁
operator.\u22C0.infix = lspace:thinmathspace rspace:thinmathspace # ⋀
operator.\u22C4.infix = lspace:thinmathspace rspace:thinmathspace # ⋄
operator.\u2216.infix = stretchy:vertical lspace:thinmathspace rspace:thinmathspace # ∖
operator.\u002F.infix = stretchy:vertical lspace:thinmathspace rspace:thinmathspace # /
operator.\u002D.prefix = lspace:0em rspace:veryverythinmathspace # -
operator.\u002B.prefix = lspace:0em rspace:veryverythinmathspace # +
operator.\u2213.prefix = lspace:0em rspace:veryverythinmathspace # ∓
operator.\u00B1.prefix = lspace:0em rspace:veryverythinmathspace # ±
operator.\u002E.infix = lspace:0em rspace:0em # .
operator.\u2A2F.infix = lspace:verythinmathspace rspace:verythinmathspace # ⨯
operator.\u002A\u002A.infix = lspace:verythinmathspace rspace:verythinmathspace # **
operator.\u2299.infix = lspace:verythinmathspace rspace:verythinmathspace # ⊙
operator.\u2218.infix = lspace:verythinmathspace rspace:verythinmathspace # ∘
operator.\u25A1.prefix = lspace:0em rspace:verythinmathspace # □
operator.\u2207.prefix = lspace:0em rspace:verythinmathspace # ∇
operator.\u2202.prefix = lspace:0em rspace:verythinmathspace # ∂
operator.\u2145.prefix = lspace:0em rspace:verythinmathspace # ⅅ
operator.\u2146.prefix = lspace:0em rspace:verythinmathspace # ⅆ
operator.\u221A.prefix = stretchy:vertical lspace:0em rspace:verythinmathspace # √
operator.\u21D3.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇓
operator.\uF579.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟸
operator.\uF57B.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟺
operator.\uF57A.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟹
operator.\u21D1.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇑
operator.\u21D5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇕
operator.\u2193.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↓
operator.\u2913.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⤓
operator.\u21F5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇵
operator.\u21A7.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↧
operator.\u2961.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥡
operator.\u21C3.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇃
operator.\u2959.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥙
operator.\u2951.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥑
operator.\u2960.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥠
operator.\u21BF.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↿
operator.\u2958.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥘
operator.\uF576.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟵
operator.\uF578.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟷
operator.\uF577.infix = stretchy:horizontal lspace:verythinmathspace rspace:verythinmathspace # ⟶
operator.\u296F.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥯
operator.\u295D.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥝
operator.\u21C2.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇂
operator.\u2955.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥕
operator.\u294F.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥏
operator.\u295C.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥜
operator.\u21BE.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↾
operator.\u2954.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥔
operator.\uEF28.infix = lspace:verythinmathspace rspace:verythinmathspace # ↓
operator.\uEF27.infix = lspace:verythinmathspace rspace:verythinmathspace # ↑
operator.\u2191.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↑
operator.\u2912.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⤒
operator.\u21C5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⇅
operator.\u2195.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↕
operator.\u296E.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ⥮
operator.\u21A5.infix = stretchy:vertical lspace:verythinmathspace rspace:verythinmathspace # ↥
operator.\u005E.infix = lspace:verythinmathspace rspace:verythinmathspace # ^
operator.\u003C\u003E.infix = lspace:verythinmathspace rspace:verythinmathspace # <>
operator.\u0027.postfix = lspace:verythinmathspace rspace:0em # '
operator.\u0021.postfix = lspace:verythinmathspace rspace:0em # !
operator.\u0021\u0021.postfix = lspace:verythinmathspace rspace:0em # !!
operator.\u007E.infix = lspace:verythinmathspace rspace:verythinmathspace # ~
operator.\u0040.infix = lspace:verythinmathspace rspace:verythinmathspace # @
operator.\u002D\u002D.postfix = lspace:verythinmathspace rspace:0em # --
operator.\u002D\u002D.prefix = lspace:0em rspace:verythinmathspace # --
operator.\u002B\u002B.postfix = lspace:verythinmathspace rspace:0em # ++
operator.\u002B\u002B.prefix = lspace:0em rspace:verythinmathspace # ++
operator.\u2061.infix = lspace:0em rspace:0em # ⁡
operator.\u003F.infix = lspace:verythinmathspace rspace:verythinmathspace # ?
operator.\u005F.infix = lspace:verythinmathspace rspace:verythinmathspace # _
operator.\u02D8.postfix = accent:true lspace:0em rspace:0em # ˘
operator.\u00B8.postfix = accent:true lspace:0em rspace:0em # ¸
operator.\u0060.postfix = accent:true lspace:0em rspace:0em # `
operator.\u02D9.postfix = accent:true lspace:0em rspace:0em # ˙
operator.\u02DD.postfix = accent:true lspace:0em rspace:0em # ˝
# UNRESOLVED operator.&DiacriticalLeftArrow;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftArrow;
# UNRESOLVED operator.&DiacriticalLeftRightArrow;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftRightArrow;
# UNRESOLVED operator.&DiacriticalLeftRightVector;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftRightVector;
# UNRESOLVED operator.&DiacriticalLeftVector;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalLeftVector;
operator.\u00B4.postfix = accent:true lspace:0em rspace:0em # ´
# UNRESOLVED operator.&DiacriticalRightArrow;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalRightArrow;
# UNRESOLVED operator.&DiacriticalRightVector;.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # &DiacriticalRightVector;
operator.\u02DC.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ˜
operator.\u00A8.postfix = accent:true lspace:0em rspace:0em # ¨
operator.\u0311.postfix = accent:true lspace:0em rspace:0em # ̑
operator.\u02C7.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ˇ
operator.\u0302.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ^
operator.\u00AF.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ‾
operator.\uFE37.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏞
operator.\u23B4.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⎴
operator.\uFE35.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏜
operator.\u20DB.postfix = accent:true lspace:0em rspace:0em # ⃛
operator.\u0332.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # _
operator.\uFE38.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏟
operator.\u23B5.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⎵
operator.\uFE36.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⏝
operator.\u2225.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∥
operator.\u2225.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∥
operator.\u2223.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∣
operator.\u2223.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # ∣
operator.\u007C.prefix = stretchy:vertical fence:true lspace:.0em rspace:.0em # |
operator.\u007C.postfix = stretchy:vertical fence:true lspace:.0em rspace:.0em # |
operator.\u20D7.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃗
operator.\u20D6.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃖
operator.\u20E1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃡
operator.\u20D1.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃑
operator.\u20D0.postfix = stretchy:horizontal accent:true lspace:0em rspace:0em # ⃐
operator.\u21A9.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↩ ↩
operator.\u21AA.infix = stretchy:horizontal lspace:thickmathspace rspace:thickmathspace # ↪ ↪
operator.\u23B0.prefix = stretchy:vertical fence:true lspace:0em rspace:0em # ⎰ ⎰
operator.\u23B1.postfix = stretchy:vertical fence:true lspace:0em rspace:0em # ⎱ ⎱
operator.\u22C5.infix = lspace:thinmathspace rspace:thinmathspace # ċ
operator.\u2282.infix = lspace:thickmathspace rspace:thickmathspace # ⊂


##################################################################################
# DOCUMENTATION ON HOW TO SETUP THE PROPERTY FILE ASSOCIATED TO EACH FONT
# More fonts can be supported for stretchy characters by setting up mathfont
# property files as described below.
#
# Each font should have its set of glyph data. For example, the glyph data for
# the "Symbol" font and the "MT Extra" font are in "mathfontSymbol.properties"
# and "mathfontMTExtra.properties", respectively. The font property file is a
# set of all the stretchy MathML characters that can be rendered with that font
# using larger and/or partial glyphs. Each stretchy character is associated to
# a list in the font property file which gives, in that order, the 4 partial
# glyphs: top (or left), middle, bottom (or right), glue; and the variants of
# bigger sizes (if any). A position that is not relevant to a particular character
# is indicated there with the UNICODE REPLACEMENT CHARACTER 0xFFFD.
#
# Characters that need to be built from other characters are said to be composite.
# For example, characters like over/underbrace in CMEX10 have to be built from two
# half stretchy chars and joined in the middle (TeXbook, p.225). Several (i.e., 2
# or more) child characters can be composed in order to render another chararacter.
# To specify such characters, their list of glyphs in the property file should be
# given as space-separated segments of glyphs. Each segment gives the 4 partial glyphs
# with which to build the child character that will be joined with its other siblings.