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 all stretchy MathML chars that can be
michael@0: # rendered with Monotype's Symbol font.
michael@0: #
michael@0: # This file should normally only be installed on MS Windows systems as other
michael@0: # platforms have different fonts with the same family name but different
michael@0: # character codes.
michael@0: mathfont = Symbol
michael@0: 
michael@0: #        [ T/L |  M  | B/R |  G  | size0 ... size{N-1} ]
michael@0: \u0028 = \uF0E6\uFFFD\uF0E8\uF0E7\uF028 # (
michael@0: \u0029 = \uF0F6\uFFFD\uF0F8\uF0F7\uF029 # )
michael@0: \u005B = \uF0E9\uFFFD\uF0EB\uF0EA\uF05B # [
michael@0: \u005D = \uF0F9\uFFFD\uF0FB\uF0FA\uF05D # ]
michael@0: \u007B = \uF0EC\uF0ED\uF0EE\uF0EF\uF07B # {
michael@0: \u007C = \uFFFD\uFFFD\uFFFD\uF07C\uF07C # |
michael@0: \u007D = \uF0FC\uF0FD\uF0FE\uF0EF\uF07D # }
michael@0: 
michael@0: \u00AF = \uFFFD\uFFFD\uFFFD\uF060\uF060 # ad-hoc: overbar is stretched with the radical extender 
michael@0: \u0332 = \uFFFD\uFFFD\uFFFD\uF05F\uF05F # ad-hoc: UnderBar (0x0332) is stretched with underscore
michael@0: 
michael@0: \u2190 = \uF0AC\uFFFD\uFFFD\uF0BE\uF0AC # LeftArrow, larr, leftarrow
michael@0: \u2191 = \uF0AD\uFFFD\uFFFD\uF0BD\uF0AD # UpArrow, uarr, uparrow
michael@0: \u2192 = \uFFFD\uFFFD\uF0AE\uF0BE\uF0AE # RightArrow, rarr, rightarrow
michael@0: \u2193 = \uFFFD\uFFFD\uF0AF\uF0BD\uF0AF # DownArrow, darr, downarrow
michael@0: \u2194 = \uF0AC\uFFFD\uF0AE\uF0BE\uF0B4 # LeftRightArrow, harr, leftrightarrow
michael@0: \u2195 = \uF0AD\uFFFD\uF0AF\uF0BD       # UpDownArrow, updownarrow, varr
michael@0: 
michael@0: \u222B = \uF0F3\uFFFD\uF0F5\uF0F4\uF0F2 # Integral, int
michael@0: 
michael@0: # Using parts of [ and ]
michael@0: \u2308 = \uF0E9\uFFFD\uFFFD\uF0EA\uF0E9 # LeftCeiling, lceil
michael@0: \u2309 = \uF0F9\uFFFD\uFFFD\uF0FA\uF0F9 # RightCeiling, rceil
michael@0: \u230A = \uFFFD\uFFFD\uF0EB\uF0EA\uF0EB # LeftFloor, lfloor
michael@0: \u230B = \uFFFD\uFFFD\uF0FB\uF0FA\uF0FB # RightFloor, rfloor
michael@0: 
michael@0: # same as normal arrows
michael@0: \u27F5 = \uF0AC\uFFFD\uFFFD\uF0BE # LongLeftArrow
michael@0: \u27F6 = \uFFFD\uFFFD\uF0AE\uF0BE # LongRightArrow
michael@0: \u27F7 = \uF0AC\uFFFD\uF0AE\uF0BE # LongLeftRightArrow