Wed, 31 Dec 2014 13:27:57 +0100
Ignore runtime configuration files generated during quality assurance.
michael@0 | 1 | # This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 2 | # License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 3 | # file, You can obtain one at http://mozilla.org/MPL/2.0/. |
michael@0 | 4 | |
michael@0 | 5 | # LOCALIZATION NOTE: FILE |
michael@0 | 6 | # Do not translate anything in this file |
michael@0 | 7 | |
michael@0 | 8 | # This file contains the list of all stretchy MathML chars that can be |
michael@0 | 9 | # rendered with Monotype's Symbol font. |
michael@0 | 10 | # |
michael@0 | 11 | # This file should normally only be installed on MS Windows systems as other |
michael@0 | 12 | # platforms have different fonts with the same family name but different |
michael@0 | 13 | # character codes. |
michael@0 | 14 | mathfont = Symbol |
michael@0 | 15 | |
michael@0 | 16 | # [ T/L | M | B/R | G | size0 ... size{N-1} ] |
michael@0 | 17 | \u0028 = \uF0E6\uFFFD\uF0E8\uF0E7\uF028 # ( |
michael@0 | 18 | \u0029 = \uF0F6\uFFFD\uF0F8\uF0F7\uF029 # ) |
michael@0 | 19 | \u005B = \uF0E9\uFFFD\uF0EB\uF0EA\uF05B # [ |
michael@0 | 20 | \u005D = \uF0F9\uFFFD\uF0FB\uF0FA\uF05D # ] |
michael@0 | 21 | \u007B = \uF0EC\uF0ED\uF0EE\uF0EF\uF07B # { |
michael@0 | 22 | \u007C = \uFFFD\uFFFD\uFFFD\uF07C\uF07C # | |
michael@0 | 23 | \u007D = \uF0FC\uF0FD\uF0FE\uF0EF\uF07D # } |
michael@0 | 24 | |
michael@0 | 25 | \u00AF = \uFFFD\uFFFD\uFFFD\uF060\uF060 # ad-hoc: overbar is stretched with the radical extender |
michael@0 | 26 | \u0332 = \uFFFD\uFFFD\uFFFD\uF05F\uF05F # ad-hoc: UnderBar (0x0332) is stretched with underscore |
michael@0 | 27 | |
michael@0 | 28 | \u2190 = \uF0AC\uFFFD\uFFFD\uF0BE\uF0AC # LeftArrow, larr, leftarrow |
michael@0 | 29 | \u2191 = \uF0AD\uFFFD\uFFFD\uF0BD\uF0AD # UpArrow, uarr, uparrow |
michael@0 | 30 | \u2192 = \uFFFD\uFFFD\uF0AE\uF0BE\uF0AE # RightArrow, rarr, rightarrow |
michael@0 | 31 | \u2193 = \uFFFD\uFFFD\uF0AF\uF0BD\uF0AF # DownArrow, darr, downarrow |
michael@0 | 32 | \u2194 = \uF0AC\uFFFD\uF0AE\uF0BE\uF0B4 # LeftRightArrow, harr, leftrightarrow |
michael@0 | 33 | \u2195 = \uF0AD\uFFFD\uF0AF\uF0BD # UpDownArrow, updownarrow, varr |
michael@0 | 34 | |
michael@0 | 35 | \u222B = \uF0F3\uFFFD\uF0F5\uF0F4\uF0F2 # Integral, int |
michael@0 | 36 | |
michael@0 | 37 | # Using parts of [ and ] |
michael@0 | 38 | \u2308 = \uF0E9\uFFFD\uFFFD\uF0EA\uF0E9 # LeftCeiling, lceil |
michael@0 | 39 | \u2309 = \uF0F9\uFFFD\uFFFD\uF0FA\uF0F9 # RightCeiling, rceil |
michael@0 | 40 | \u230A = \uFFFD\uFFFD\uF0EB\uF0EA\uF0EB # LeftFloor, lfloor |
michael@0 | 41 | \u230B = \uFFFD\uFFFD\uF0FB\uF0FA\uF0FB # RightFloor, rfloor |
michael@0 | 42 | |
michael@0 | 43 | # same as normal arrows |
michael@0 | 44 | \u27F5 = \uF0AC\uFFFD\uFFFD\uF0BE # LongLeftArrow |
michael@0 | 45 | \u27F6 = \uFFFD\uFFFD\uF0AE\uF0BE # LongRightArrow |
michael@0 | 46 | \u27F7 = \uF0AC\uFFFD\uF0AE\uF0BE # LongLeftRightArrow |