www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

fontdata.js (27677B)


      1 /*************************************************************
      2  *
      3  *  MathJax/jax/output/SVG/fonts/STIX-Web/fontdata.js
      4  *  
      5  *  Initializes the SVG OutputJax to use the STIX-Web fonts
      6 
      7  *  Copyright (c) 2013-2015 The MathJax Consortium
      8  *
      9  *  Licensed under the Apache License, Version 2.0 (the "License");
     10  *  you may not use this file except in compliance with the License.
     11  *  You may obtain a copy of the License at
     12  *
     13  *     http://www.apache.org/licenses/LICENSE-2.0
     14  *
     15  *  Unless required by applicable law or agreed to in writing, software
     16  *  distributed under the License is distributed on an "AS IS" BASIS,
     17  *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     18  *  See the License for the specific language governing permissions and
     19  *  limitations under the License.
     20  */
     21 
     22 (function (SVG,MML,AJAX,HUB) {
     23 
     24     var VERSION = "2.6.0";
     25 
     26   var ALPHABETSBOLDITALIC = "STIXMathJax_Alphabets-bold-italic",
     27       ALPHABETSBOLD = "STIXMathJax_Alphabets-bold",
     28       ALPHABETSITALIC = "STIXMathJax_Alphabets-italic",
     29       ALPHABETS = "STIXMathJax_Alphabets",
     30       ARROWSBOLD = "STIXMathJax_Arrows-bold",
     31       ARROWS = "STIXMathJax_Arrows",
     32       DOUBLESTRUCKBOLDITALIC = "STIXMathJax_DoubleStruck-bold-italic",
     33       DOUBLESTRUCKBOLD = "STIXMathJax_DoubleStruck-bold",
     34       DOUBLESTRUCKITALIC = "STIXMathJax_DoubleStruck-italic",
     35       DOUBLESTRUCK = "STIXMathJax_DoubleStruck",
     36       FRAKTURBOLD = "STIXMathJax_Fraktur-bold",
     37       FRAKTUR = "STIXMathJax_Fraktur",
     38       LATINBOLDITALIC = "STIXMathJax_Latin-bold-italic",
     39       LATINBOLD = "STIXMathJax_Latin-bold",
     40       LATINITALIC = "STIXMathJax_Latin-italic",
     41       LATIN = "STIXMathJax_Latin",
     42       MAINBOLDITALIC = "STIXMathJax_Main-bold-italic",
     43       MAINBOLD = "STIXMathJax_Main-bold",
     44       MAINITALIC = "STIXMathJax_Main-italic",
     45       MAIN = "STIXMathJax_Main",
     46       MARKSBOLDITALIC = "STIXMathJax_Marks-bold-italic",
     47       MARKSBOLD = "STIXMathJax_Marks-bold",
     48       MARKSITALIC = "STIXMathJax_Marks-italic",
     49       MARKS = "STIXMathJax_Marks",
     50       MISCBOLDITALIC = "STIXMathJax_Misc-bold-italic",
     51       MISCBOLD = "STIXMathJax_Misc-bold",
     52       MISCITALIC = "STIXMathJax_Misc-italic",
     53       MISC = "STIXMathJax_Misc",
     54       MONOSPACE = "STIXMathJax_Monospace",
     55       NORMALBOLDITALIC = "STIXMathJax_Normal-bold-italic",
     56       NORMALBOLD = "STIXMathJax_Normal-bold",
     57       NORMALITALIC = "STIXMathJax_Normal-italic",
     58       OPERATORSBOLD = "STIXMathJax_Operators-bold",
     59       OPERATORS = "STIXMathJax_Operators",
     60       SANSSERIFBOLDITALIC = "STIXMathJax_SansSerif-bold-italic",
     61       SANSSERIFBOLD = "STIXMathJax_SansSerif-bold",
     62       SANSSERIFITALIC = "STIXMathJax_SansSerif-italic",
     63       SANSSERIF = "STIXMathJax_SansSerif",
     64       SCRIPTBOLDITALIC = "STIXMathJax_Script-bold-italic",
     65       SCRIPTITALIC = "STIXMathJax_Script-italic",
     66       SCRIPT = "STIXMathJax_Script",
     67       SHAPESBOLDITALIC = "STIXMathJax_Shapes-bold-italic",
     68       SHAPESBOLD = "STIXMathJax_Shapes-bold",
     69       SHAPES = "STIXMathJax_Shapes",
     70       SIZE1 = "STIXMathJax_Size1",
     71       SIZE2 = "STIXMathJax_Size2",
     72       SIZE3 = "STIXMathJax_Size3",
     73       SIZE4 = "STIXMathJax_Size4",
     74       SIZE5 = "STIXMathJax_Size5",
     75       SYMBOLSBOLD = "STIXMathJax_Symbols-bold",
     76       SYMBOLS = "STIXMathJax_Symbols",
     77       VARIANTSBOLDITALIC = "STIXMathJax_Variants-bold-italic",
     78       VARIANTSBOLD = "STIXMathJax_Variants-bold",
     79       VARIANTSITALIC = "STIXMathJax_Variants-italic",
     80       VARIANTS = "STIXMathJax_Variants";
     81 
     82   var H = "H", V = "V", EXTRAH = {load:"extra", dir:H}, EXTRAV = {load:"extra", dir:V};
     83 
     84   SVG.Augment({
     85     FONTDATA: {
     86       version: VERSION,
     87 
     88 
     89       baselineskip: 1200,
     90       lineH: 800, lineD: 200,
     91 
     92       FONTS: {
     93         "STIXMathJax_Alphabets-bold-italic": "Alphabets/BoldItalic/Main.js",
     94         "STIXMathJax_Alphabets-bold": "Alphabets/Bold/Main.js",
     95         "STIXMathJax_Alphabets-italic": "Alphabets/Italic/Main.js",
     96         "STIXMathJax_Alphabets": "Alphabets/Regular/Main.js",
     97         "STIXMathJax_Arrows-bold": "Arrows/Bold/Main.js",
     98         "STIXMathJax_Arrows": "Arrows/Regular/Main.js",
     99         "STIXMathJax_DoubleStruck-bold-italic": "DoubleStruck/BoldItalic/Main.js",
    100         "STIXMathJax_DoubleStruck-bold": "DoubleStruck/Bold/Main.js",
    101         "STIXMathJax_DoubleStruck-italic": "DoubleStruck/Italic/Main.js",
    102         "STIXMathJax_DoubleStruck": "DoubleStruck/Regular/Main.js",
    103         "STIXMathJax_Fraktur-bold": "Fraktur/Bold/Main.js",
    104         "STIXMathJax_Fraktur": "Fraktur/Regular/Main.js",
    105         "STIXMathJax_Latin-bold-italic": "Latin/BoldItalic/Main.js",
    106         "STIXMathJax_Latin-bold": "Latin/Bold/Main.js",
    107         "STIXMathJax_Latin-italic": "Latin/Italic/Main.js",
    108         "STIXMathJax_Latin": "Latin/Regular/Main.js",
    109         "STIXMathJax_Main-bold-italic": "Main/BoldItalic/Main.js",
    110         "STIXMathJax_Main-bold": "Main/Bold/Main.js",
    111         "STIXMathJax_Main-italic": "Main/Italic/Main.js",
    112         "STIXMathJax_Main": "Main/Regular/Main.js",
    113         "STIXMathJax_Marks-bold-italic": "Marks/BoldItalic/Main.js",
    114         "STIXMathJax_Marks-bold": "Marks/Bold/Main.js",
    115         "STIXMathJax_Marks-italic": "Marks/Italic/Main.js",
    116         "STIXMathJax_Marks": "Marks/Regular/Main.js",
    117         "STIXMathJax_Misc-bold-italic": "Misc/BoldItalic/Main.js",
    118         "STIXMathJax_Misc-bold": "Misc/Bold/Main.js",
    119         "STIXMathJax_Misc-italic": "Misc/Italic/Main.js",
    120         "STIXMathJax_Misc": "Misc/Regular/Main.js",
    121         "STIXMathJax_Monospace": "Monospace/Regular/Main.js",
    122         "STIXMathJax_Normal-bold-italic": "Normal/BoldItalic/Main.js",
    123         "STIXMathJax_Normal-bold": "Normal/Bold/Main.js",
    124         "STIXMathJax_Normal-italic": "Normal/Italic/Main.js",
    125         "STIXMathJax_Operators-bold": "Operators/Bold/Main.js",
    126         "STIXMathJax_Operators": "Operators/Regular/Main.js",
    127         "STIXMathJax_SansSerif-bold-italic": "SansSerif/BoldItalic/Main.js",
    128         "STIXMathJax_SansSerif-bold": "SansSerif/Bold/Main.js",
    129         "STIXMathJax_SansSerif-italic": "SansSerif/Italic/Main.js",
    130         "STIXMathJax_SansSerif": "SansSerif/Regular/Main.js",
    131         "STIXMathJax_Script-bold-italic": "Script/BoldItalic/Main.js",
    132         "STIXMathJax_Script-italic": "Script/Italic/Main.js",
    133         "STIXMathJax_Script": "Script/Regular/Main.js",
    134         "STIXMathJax_Shapes-bold-italic": "Shapes/BoldItalic/Main.js",
    135         "STIXMathJax_Shapes-bold": "Shapes/Bold/Main.js",
    136         "STIXMathJax_Shapes": "Shapes/Regular/Main.js",
    137         "STIXMathJax_Size1": "Size1/Regular/Main.js",
    138         "STIXMathJax_Size2": "Size2/Regular/Main.js",
    139         "STIXMathJax_Size3": "Size3/Regular/Main.js",
    140         "STIXMathJax_Size4": "Size4/Regular/Main.js",
    141         "STIXMathJax_Size5": "Size5/Regular/Main.js",
    142         "STIXMathJax_Symbols-bold": "Symbols/Bold/Main.js",
    143         "STIXMathJax_Symbols": "Symbols/Regular/Main.js",
    144         "STIXMathJax_Variants-bold-italic": "Variants/BoldItalic/Main.js",
    145         "STIXMathJax_Variants-bold": "Variants/Bold/Main.js",
    146         "STIXMathJax_Variants-italic": "Variants/Italic/Main.js",
    147         "STIXMathJax_Variants": "Variants/Regular/Main.js"
    148       },
    149 
    150       VARIANT: {
    151           "normal": {fonts: [MAIN,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,SIZE1]},
    152           "bold": {fonts: [MAINBOLD,NORMALBOLD,FRAKTURBOLD,DOUBLESTRUCKBOLD,SANSSERIFBOLD,LATINBOLD,ALPHABETSBOLD,MARKSBOLD,ARROWSBOLD,OPERATORSBOLD,SYMBOLSBOLD,SHAPESBOLD,MISCBOLD,VARIANTSBOLD,SIZE1], bold:true
    153 },
    154           "italic": {fonts: [MAINITALIC,NORMALITALIC,SCRIPTITALIC,DOUBLESTRUCKITALIC,SANSSERIFITALIC,LATINITALIC,ALPHABETSITALIC,MARKSITALIC,MISCITALIC,VARIANTSITALIC,SIZE1], italic:true},
    155           "bold-italic": {fonts: [MAINBOLDITALIC,NORMALBOLDITALIC,SCRIPTBOLDITALIC,DOUBLESTRUCKBOLDITALIC,SANSSERIFBOLDITALIC,LATINBOLDITALIC,ALPHABETSBOLDITALIC,MARKSBOLDITALIC,SHAPESBOLDITALIC,MISCBOLDITALIC,VARIANTSBOLDITALIC,SIZE1], bold: true, italic:true},
    156           "double-struck": {
    157             fonts: [DOUBLESTRUCK],
    158             offsetA: 0x1D538,
    159             offsetN: 0x1D7D8,
    160             remap: {0x1D53A: 0x2102, 0x1D53F: 0x210D, 0x1D545: 0x2115, 0x1D547: 0x2119, 0x1D548: 0x211A, 0x1D549: 0x211D, 0x1D551: 0x2124}
    161           },
    162           "fraktur": {
    163             fonts: [FRAKTUR],
    164             offsetA: 0x1D504,
    165             remap: {0x1D506: 0x212D, 0x1D50B: 0x210C, 0x1D50C: 0x2111, 0x1D515: 0x211C, 0x1D51D: 0x2128}
    166           },
    167           "bold-fraktur": {
    168             fonts: [FRAKTURBOLD], bold:true,
    169             offsetA: 0x1D56C
    170           },
    171           "script": {
    172             fonts: [SCRIPTITALIC], italic:true,
    173             offsetA: 0x1D49C,
    174             remap: {0x1D49D: 0x212C, 0x1D4A0: 0x2130, 0x1D4A1: 0x2131, 0x1D4A3: 0x210B, 0x1D4A4: 0x2110, 0x1D4A7: 0x2112, 0x1D4A8: 0x2133, 0x1D4AD: 0x211B, 0x1D4BA: 0x212F, 0x1D4BC: 0x210A, 0x1D4C4: 0x2134}
    175           },
    176           "bold-script": {
    177             fonts: [SCRIPTBOLDITALIC], bold:true, italic:true,
    178             offsetA: 0x1D4D0
    179           },
    180           "sans-serif": {
    181             fonts: [SANSSERIF],
    182             offsetA: 0x1D5A0,
    183             offsetN: 0x1D7E2,
    184             offsetG: 0xE17D,
    185             offsetE: 0xE17D
    186           },
    187           "bold-sans-serif": {
    188             fonts: [SANSSERIFBOLD], bold:true,
    189             offsetA: 0x1D5D4,
    190             offsetN: 0x1D7EC,
    191             offsetG: 0x1D756
    192           },
    193           "sans-serif-italic": {
    194              fonts: [SANSSERIFITALIC], italic: true,
    195              offsetA: 0x1D608,
    196              offsetN: 0xE1B4,
    197              offsetG: 0xE1BF,
    198              offsetE: 0xE1BF
    199           },
    200           "sans-serif-bold-italic": {
    201              fonts: [SANSSERIFBOLDITALIC], bold:true, italic: true,
    202              offsetA: 0x1D63C,
    203              offsetN: 0xE1F6,
    204              offsetG: 0x1D790
    205           },
    206           "monospace": {
    207              fonts: [MONOSPACE],
    208              offsetA: 0x1D670,
    209              offsetN: 0x1D7F6
    210           },
    211         "-STIX-Web-variant": {remap: { 0x2A87: 0xE010, 0x2A88: 0xE00F, 0x25B3: 0x25B5, 0x25BD: 0x25BF }, fonts: [VARIANTS,SHAPES,OPERATORS,MAIN,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,SYMBOLS,MISC,SIZE1]},
    212           "-tex-caligraphic": {offsetA: 0xE22D, noLowerCase: 1, fonts: [VARIANTSITALIC,MAINITALIC,NORMALITALIC,SCRIPTITALIC,DOUBLESTRUCKITALIC,SANSSERIFITALIC,LATINITALIC,ALPHABETSITALIC,MARKSITALIC,MISCITALIC,SIZE1], italic: true},
    213           "-tex-oldstyle": {offsetN: 0xE261, remap: {0xE262: 0xE265, 0xE263: 0xE269, 0xE264: 0xE26D, 0xE265: 0xE271, 0xE266: 0xE275, 0xE267: 0xE279, 0xE268: 0xE27D, 0xE269: 0xE281, 0xE26A: 0xE285}, fonts: [VARIANTS,MAIN,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,SIZE1]},
    214           "-tex-caligraphic-bold": {offsetA: 0xE247, noLowerCase: 1, fonts: [VARIANTSBOLDITALIC,MAINBOLDITALIC,NORMALBOLDITALIC,SCRIPTBOLDITALIC,DOUBLESTRUCKBOLDITALIC,SANSSERIFBOLDITALIC,LATINBOLDITALIC,ALPHABETSBOLDITALIC,MARKSBOLDITALIC,SHAPESBOLDITALIC,MISCBOLDITALIC,SIZE1], italic: true, bold: true},
    215           "-tex-oldstyle-bold": {offsetN: 0xE261, remap: {0xE264: 0xE267, 0xE265: 0xE26B, 0xE266: 0xE26F, 0xE267: 0xE273, 0xE268: 0xE277, 0xE269: 0xE27B, 0xE26A: 0xE27F, 0xE26B: 0xE283, 0xE26C: 0xE287}, fonts: [VARIANTSBOLD,MAINBOLD,NORMALBOLD,FRAKTURBOLD,DOUBLESTRUCKBOLD,SANSSERIFBOLD,LATINBOLD,ALPHABETSBOLD,MARKSBOLD,ARROWSBOLD,OPERATORSBOLD,SYMBOLSBOLD,SHAPESBOLD,MISCBOLD,SIZE1], bold: true},
    216           "-tex-mathit": {fonts: [MAINITALIC,NORMALITALIC,SCRIPTITALIC,DOUBLESTRUCKITALIC,SANSSERIFITALIC,LATINITALIC,ALPHABETSITALIC,MARKSITALIC,MISCITALIC,VARIANTSITALIC,SIZE1], italic:true, noIC:true},
    217           "-largeOp": {fonts:[SIZE1,MAIN]},
    218           "-smallOp": {}
    219       },
    220 
    221       RANGES: [
    222         {name: "alpha", low: 0x61, high: 0x7A, offset: "A", add: 26},
    223         {name: "Alpha", low: 0x41, high: 0x5A, offset: "A"},
    224         {name: "number", low: 0x30, high: 0x39, offset: "N"},
    225         {name: "greek-non-unicode", low: 0x03B1, high: 0x03C9, offset: "E", add: 25},
    226         {name: "greek", low: 0x03B1, high: 0x03C9, offset: "G", add: 26},
    227         {name: "Greek", low: 0x0391, high: 0x03F6, offset: "G",
    228            remap: {0x03F5: 52, 0x03D1: 53, 0x03F0: 54, 0x03D5: 55, 0x03F1: 56, 0x03D6: 57, 0x03F4: 17}}
    229       ],
    230 
    231       RULECHAR: 0x23AF,
    232 
    233       REMAP: {
    234         0x3008: 0x27E8,
    235         0x3009: 0x27E9,
    236         0x2758: 0x2223,
    237         0x02F3: 0x02DA,
    238         0x02F4: 0x02CA,
    239         0xFE37: 0x23DE,
    240         0xFE38: 0x23DF
    241       },
    242 
    243       REMAPACCENT: {
    244         "\u007E": "\u0303",
    245         "\u2192": "\u20D7",
    246         "\u0060": "\u0300",
    247         "\u005E": "\u0302",
    248         "\u00B4": "\u0301",
    249         "\u2032": "\u0301",
    250         "\u2035": "\u0300"
    251       },
    252 
    253       REMAPACCENTUNDER: {
    254       },
    255 
    256       DELIMITERS: {
    257         0x28:
    258         {
    259           dir: V,
    260           HW: [[853,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    261           stretch: {bot:[0xE000,SIZE5], ext:[0xE001,SIZE5], top:[0xE002,SIZE5]}
    262         },
    263         0x29:
    264         {
    265           dir: V,
    266           HW: [[853,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    267           stretch: {bot:[0xE003,SIZE5], ext:[0xE004,SIZE5], top:[0xE005,SIZE5]}
    268         },
    269         0x2D: {alias: 0x23AF, dir: H},
    270         0x2F:
    271         {
    272           dir: V,
    273           HW: [[690,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]]
    274         },
    275         0x3D: EXTRAH,
    276         0x5B:
    277         {
    278           dir: V,
    279           HW: [[818,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    280           stretch: {bot:[0xE006,SIZE5], ext:[0xE007,SIZE5], top:[0xE008,SIZE5]}
    281         },
    282         0x5C:
    283         {
    284           dir: V,
    285           HW: [[690,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]]
    286         },
    287         0x5D:
    288         {
    289           dir: V,
    290           HW: [[818,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    291           stretch: {bot:[0xE009,SIZE5], ext:[0xE00A,SIZE5], top:[0xE00B,SIZE5]}
    292         },
    293         0x5E: {alias: 0x2C6, dir: H},
    294         0x5F: {alias: 0x23AF, dir: H},
    295         0x7B:
    296         {
    297           dir: V,
    298           HW: [[861,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    299           stretch: {bot:[0xE00C,SIZE5], ext:[0xE00D,SIZE5], mid:[0xE00E,SIZE5], top:[0xE00F,SIZE5]}
    300         },
    301         0x7C:
    302         {
    303           dir: V,
    304           HW: [[690,MAIN]],
    305           stretch: {bot:[0x7C,MAIN], ext:[0x7C,MAIN]}
    306         },
    307         0x7D:
    308         {
    309           dir: V,
    310           HW: [[861,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    311           stretch: {bot:[0xE010,SIZE5], ext:[0xE00D,SIZE5], mid:[0xE011,SIZE5], top:[0xE012,SIZE5]}
    312         },
    313         0x7E: {alias: 0x2DC, dir: H},
    314         0xAF: {alias: 0x23AF, dir: H},
    315         0x2C6:
    316         {
    317           dir: H,
    318           HW: [[311,MAIN], [560,SIZE1], [979,SIZE2], [1460,SIZE3], [1886,SIZE4], [2328,SIZE5]]
    319         },
    320         0x2C7: EXTRAH,
    321         0x2C9: {alias: 0x23AF, dir: H},
    322         0x2CD: EXTRAH,
    323         0x2DC:
    324         {
    325           dir: H,
    326           HW: [[330,MAIN], [560,SIZE1], [979,SIZE2], [1460,SIZE3], [1886,SIZE4], [2328,SIZE5]]
    327         },
    328         0x2F7: EXTRAH,
    329         0x302:
    330         {
    331           dir: H,
    332           HW: [[311,MAIN], [560,SIZE1], [979,SIZE2], [1460,SIZE3], [1886,SIZE4], [2328,SIZE5]]
    333         },
    334         0x303:
    335         {
    336           dir: H,
    337           HW: [[330,MAIN], [560,SIZE1], [979,SIZE2], [1460,SIZE3], [1886,SIZE4], [2328,SIZE5]]
    338         },
    339         0x305:
    340         {
    341           dir: H,
    342           HW: [[500,MARKS], [1000,SIZE1], [1500,SIZE2], [2000,SIZE3], [2500,SIZE4], [3000,SIZE5]],
    343           stretch: {left:[0xE013,SIZE5], rep:[0xE013,SIZE5]}
    344         },
    345         0x30C:
    346         {
    347           dir: H,
    348           HW: [[311,MAIN], [560,SIZE1], [979,SIZE2], [1460,SIZE3], [1886,SIZE4], [2328,SIZE5]]
    349         },
    350         0x330:
    351         {
    352           dir: H,
    353           HW: [[330,MARKS], [560,SIZE1], [979,SIZE2], [1460,SIZE3], [1886,SIZE4], [2328,SIZE5]]
    354         },
    355         0x332:
    356         {
    357           dir: H,
    358           HW: [[500,MARKS], [1000,SIZE1], [1500,SIZE2], [2000,SIZE3], [2500,SIZE4], [3000,SIZE5]],
    359           stretch: {left:[0xE014,SIZE5], rep:[0xE014,SIZE5]}
    360         },
    361         0x338:
    362         {
    363           dir: V,
    364           HW: [[818,MAIN], [553,SIZE1], [662,SIZE2], [818,SIZE3], [959,SIZE4], [1414,SIZE5]]
    365         },
    366         0x2015: {alias: 0x23AF, dir: H},
    367         0x2016:
    368         {
    369           dir: V,
    370           HW: [[879,MAIN]],
    371           stretch: {bot:[0x2016,MAIN], ext:[0x2016,MAIN]}
    372         },
    373         0x2017: {alias: 0x23AF, dir: H},
    374         0x203E:
    375         {
    376           dir: H,
    377           HW: [[500,MAIN], [1000,SIZE1], [1500,SIZE2], [2000,SIZE3], [2500,SIZE4], [3000,SIZE5]],
    378           stretch: {left:[0x203E,MAIN], rep:[0x203E,MAIN]}
    379         },
    380         0x20D0: EXTRAH,
    381         0x20D1: EXTRAH,
    382         0x20D6: EXTRAH,
    383         0x20D7:
    384         {
    385           dir: H,
    386           HW: [[436,MAIN], [872,SIZE1], [1308,SIZE2], [1744,SIZE3], [2180,SIZE4], [3000,SIZE5]],
    387           stretch: {rep:[0xE016,SIZE5], right:[0xE019,SIZE5]}
    388         },
    389         0x20E1: EXTRAH,
    390         0x20EC: EXTRAH,
    391         0x20ED: EXTRAH,
    392         0x20EE: EXTRAH,
    393         0x20EF: EXTRAH,
    394         0x2140: EXTRAV,
    395         0x2190:
    396         {
    397           dir: H,
    398           HW: [[786,MAIN]],
    399           stretch: {left:[0x2190,MAIN], rep:[0x23AF,SYMBOLS]}
    400         },
    401         0x2191:
    402         {
    403           dir: V,
    404           HW: [[818,MAIN]],
    405           stretch: {ext:[0x23D0,MAIN], top:[0x2191,MAIN]}
    406         },
    407         0x2192:
    408         {
    409           dir: H,
    410           HW: [[786,MAIN]],
    411           stretch: {rep:[0x23AF,SYMBOLS], right:[0x2192,MAIN]}
    412         },
    413         0x2193:
    414         {
    415           dir: V,
    416           HW: [[818,MAIN]],
    417           stretch: {bot:[0x2193,MAIN], ext:[0x23D0,MAIN]}
    418         },
    419         0x2194:
    420         {
    421           dir: H,
    422           HW: [[850,MAIN]],
    423           stretch: {left:[0x2190,MAIN], rep:[0x23AF,SYMBOLS], right:[0x2192,MAIN]}
    424         },
    425         0x2195:
    426         {
    427           dir: V,
    428           HW: [[954,MAIN]],
    429           stretch: {bot:[0x2193,MAIN], ext:[0x23D0,MAIN], top:[0x2191,MAIN]}
    430         },
    431         0x219E: EXTRAH,
    432         0x219F: EXTRAV,
    433         0x21A0: EXTRAH,
    434         0x21A1: EXTRAV,
    435         0x21A4: EXTRAH,
    436         0x21A5: EXTRAV,
    437         0x21A6: EXTRAH,
    438         0x21A7: EXTRAV,
    439         0x21A8: EXTRAV,
    440         0x21A9: EXTRAH,
    441         0x21AA: EXTRAH,
    442         0x21B0: EXTRAV,
    443         0x21B1: EXTRAV,
    444         0x21B2: EXTRAV,
    445         0x21B3: EXTRAV,
    446         0x21B4: EXTRAH,
    447         0x21B5: EXTRAV,
    448         0x21BC: EXTRAH,
    449         0x21BD: EXTRAH,
    450         0x21BE: EXTRAV,
    451         0x21BF: EXTRAV,
    452         0x21C0: EXTRAH,
    453         0x21C1: EXTRAH,
    454         0x21C2: EXTRAV,
    455         0x21C3: EXTRAV,
    456         0x21CB: EXTRAH,
    457         0x21CC: EXTRAH,
    458         0x21D0:
    459         {
    460           dir: H,
    461           HW: [[806,MAIN]],
    462           stretch: {left:[0x21D0,MAIN], rep:[0xE01F,SIZE5]}
    463         },
    464         0x21D1:
    465         {
    466           dir: V,
    467           HW: [[818,MAIN]],
    468           stretch: {ext:[0xE020,SIZE5], top:[0x21D1,MAIN]}
    469         },
    470         0x21D2:
    471         {
    472           dir: H,
    473           HW: [[806,MAIN]],
    474           stretch: {rep:[0xE01F,SIZE5], right:[0x21D2,MAIN]}
    475         },
    476         0x21D3:
    477         {
    478           dir: V,
    479           HW: [[818,MAIN]],
    480           stretch: {bot:[0x21D3,MAIN], ext:[0xE020,SIZE5]}
    481         },
    482         0x21D4:
    483         {
    484           dir: H,
    485           HW: [[886,MAIN]],
    486           stretch: {left:[0x21D0,MAIN], rep:[0xE01F,SIZE5], right:[0x21D2,MAIN]}
    487         },
    488         0x21D5:
    489         {
    490           dir: V,
    491           HW: [[954,MAIN]],
    492           stretch: {bot:[0x21D3,MAIN], ext:[0xE020,SIZE5], top:[0x21D1,MAIN]}
    493         },
    494         0x21DA: EXTRAH,
    495         0x21DB: EXTRAH,
    496         0x21E0: EXTRAH,
    497         0x21E1: EXTRAV,
    498         0x21E2: EXTRAH,
    499         0x21E3: EXTRAV,
    500         0x21E4: EXTRAH,
    501         0x21E5: EXTRAH,
    502         0x21FD: EXTRAH,
    503         0x21FE: EXTRAH,
    504         0x21FF: EXTRAH,
    505         0x220F: EXTRAV,
    506         0x2210: EXTRAV,
    507         0x2211: EXTRAV,
    508         0x2212: {alias: 0x23AF, dir: H},
    509         0x2215: {alias: 0x2F, dir: V},
    510         0x221A:
    511         {
    512           dir: V,
    513           HW: [[1232,MAIN], [1847,SIZE1], [2460,SIZE2], [3075,SIZE3]],
    514           stretch: {bot:[0xE022,SIZE5], ext:[0xE023,SIZE5], top:[0xE024,SIZE5]}
    515         },
    516         0x221B: EXTRAV,
    517         0x221C: EXTRAV,
    518         0x2223:
    519         {
    520           dir: V,
    521           HW: [[879,MAIN]],
    522           stretch: {ext:[0x2223,MAIN]}
    523         },
    524         0x2225:
    525         {
    526           dir: V,
    527           HW: [[879,MAIN]],
    528           stretch: {ext:[0x2225,MAIN]}
    529         },
    530         0x222B: EXTRAH,
    531         0x222C: EXTRAV,
    532         0x222D: EXTRAV,
    533         0x222E: EXTRAV,
    534         0x222F: EXTRAV,
    535         0x2230: EXTRAV,
    536         0x2231: EXTRAV,
    537         0x2232: EXTRAV,
    538         0x2233: EXTRAV,
    539         0x22C0: EXTRAV,
    540         0x22C1: EXTRAV,
    541         0x22C2: EXTRAV,
    542         0x22C3: EXTRAV,
    543         0x2308:
    544         {
    545           dir: V,
    546           HW: [[926,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    547           stretch: {ext:[0xE007,SIZE5], top:[0xE008,SIZE5]}
    548         },
    549         0x2309:
    550         {
    551           dir: V,
    552           HW: [[926,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    553           stretch: {ext:[0xE00A,SIZE5], top:[0xE00B,SIZE5]}
    554         },
    555         0x230A:
    556         {
    557           dir: V,
    558           HW: [[926,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    559           stretch: {bot:[0xE006,SIZE5], ext:[0xE007,SIZE5]}
    560         },
    561         0x230B:
    562         {
    563           dir: V,
    564           HW: [[926,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
    565           stretch: {bot:[0xE009,SIZE5], ext:[0xE00A,SIZE5]}
    566         },
    567         0x2312: {alias: 0x23DC, dir:H},
    568         0x2322: {alias: 0x23DC, dir:H},
    569         0x2323: {alias: 0x23DD, dir:H},
    570         0x2329: {alias: 0x27E8, dir: V},
    571         0x232A: {alias: 0x27E9, dir: V},
    572         0x23AA: EXTRAV,
    573         0x23AF:
    574         {
    575           dir: H,
    576           HW: [[315,SYMBOLS]],
    577           stretch: {rep:[0x23AF,SYMBOLS]}
    578         },
    579         0x23B0:
    580         {
    581           dir: V,
    582           HW: [[1000,SIZE5,null,0xE03A]],
    583           stretch: {top:[0xE00F,SIZE5], ext:[0xE00D,SIZE5], bot:[0xE010,SIZE5]}
    584         },
    585         0x23B1:
    586         {
    587           dir: V,
    588           HW: [[1000,SIZE5,null,0xE03B]],
    589           stretch: {top:[0xE012,SIZE5], ext:[0xE00D,SIZE5], bot:[0xE00C,SIZE5]}
    590         },
    591         0x23B4: EXTRAH,
    592         0x23B5: EXTRAH,
    593         0x23D0: EXTRAV,
    594         0x23DC: EXTRAH,
    595         0x23DD: EXTRAH,
    596         0x23DE:
    597         {
    598           dir: H,
    599           HW: [[1000,MAIN], [925,SIZE1], [1460,SIZE2], [1886,SIZE3], [2328,SIZE4], [3238,SIZE5]],
    600           stretch: {left:[0xE031,SIZE5], rep:[0xE028,SIZE5], mid:[0xE032,SIZE5], right:[0xE033,SIZE5]}
    601         },
    602         0x23DF:
    603         {
    604           dir: H,
    605           HW: [[1000,MAIN], [925,SIZE1], [1460,SIZE2], [1886,SIZE3], [2328,SIZE4], [3238,SIZE5]],
    606           stretch: {left:[0xE034,SIZE5], rep:[0xE02B,SIZE5], mid:[0xE035,SIZE5], right:[0xE036,SIZE5]}
    607         },
    608         0x23E0: EXTRAH,
    609         0x23E1: EXTRAH,
    610         0x2500: {alias: 0x2212, dir: H},
    611         0x2758: {alias: 0x2223, dir: V},
    612         0x2772: EXTRAV,
    613         0x2773: EXTRAV,
    614         0x27E6: EXTRAV,
    615         0x27E7: EXTRAV,
    616         0x27E8:
    617         {
    618           dir: V,
    619           HW: [[926,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]]
    620         },
    621         0x27E9:
    622         {
    623           dir: V,
    624           HW: [[926,MAIN], [1230,SIZE1], [1350,SIZE1,1.098], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]]
    625         },
    626         0x27EA: EXTRAV,
    627         0x27EB: EXTRAV,
    628         0x27EE:
    629         {
    630           dir: V,
    631           HW: [[853,MAIN]],
    632           stretch: {bot:[0xE000,SIZE5], ext:[0xE001,SIZE5], top:[0xE002,SIZE5]}
    633         },
    634         0x27EF:
    635         {
    636           dir: V,
    637           HW: [[853,MAIN]],
    638           stretch: {bot:[0xE003,SIZE5], ext:[0xE004,SIZE5], top:[0xE005,SIZE5]}
    639         },
    640         0x27F0: EXTRAV,
    641         0x27F1: EXTRAV,
    642         0x27F5: {alias: 0x2190, dir: H},
    643         0x27F6: {alias: 0x2192, dir: H},
    644         0x27F7: {alias: 0x2194, dir: H},
    645         0x27F8: {alias: 0x21D0, dir: H},
    646         0x27F9: {alias: 0x21D2, dir: H},
    647         0x27FA: {alias: 0x21D4, dir: H},
    648         0x27FB: {alias: 0x21A4, dir: H},
    649         0x27FC: {alias: 0x21A6, dir: H},
    650         0x27FD: {alias: 0x2906, dir: H},
    651         0x27FE: {alias: 0x2907, dir: H},
    652         0x2906: EXTRAH,
    653         0x2907: EXTRAH,
    654         0x290A: EXTRAV,
    655         0x290B: EXTRAV,
    656         0x2912: EXTRAV,
    657         0x2913: EXTRAV,
    658         0x294E: EXTRAH,
    659         0x294F: EXTRAV,
    660         0x2950: EXTRAH,
    661         0x2951: EXTRAV,
    662         0x2952: EXTRAH,
    663         0x2953: EXTRAH,
    664         0x2954: EXTRAV,
    665         0x2955: EXTRAV,
    666         0x2956: EXTRAH,
    667         0x2957: EXTRAH,
    668         0x2958: EXTRAV,
    669         0x2959: EXTRAV,
    670         0x295A: EXTRAH,
    671         0x295B: EXTRAH,
    672         0x295C: EXTRAV,
    673         0x295D: EXTRAV,
    674         0x295E: EXTRAH,
    675         0x295F: EXTRAH,
    676         0x2960: EXTRAV,
    677         0x2961: EXTRAV,
    678         0x2980: EXTRAV,
    679         0x2983: EXTRAV,
    680         0x2984: EXTRAV,
    681         0x2985: EXTRAV,
    682         0x2986: EXTRAV,
    683         0x2997: EXTRAV,
    684         0x2998: EXTRAV,
    685         0x29F8:
    686         {
    687           dir: V,
    688           HW: [[1020,MAIN], [1845,SIZE1]]
    689         },
    690         0x29F9:
    691         {
    692           dir: V,
    693           HW: [[1020,MAIN], [1845,SIZE1]]
    694         },
    695         0x2A00: EXTRAV,
    696         0x2A01: EXTRAV,
    697         0x2A02: EXTRAV,
    698         0x2A03: EXTRAV,
    699         0x2A04: EXTRAV,
    700         0x2A05: EXTRAV,
    701         0x2A06: EXTRAV,
    702         0x2A07: EXTRAV,
    703         0x2A08: EXTRAV,
    704         0x2A09: EXTRAV,
    705         0x2A0A: EXTRAV,
    706         0x2A0B: EXTRAV,
    707         0x2A0C: EXTRAV,
    708         0x2A0D: EXTRAV,
    709         0x2A0E: EXTRAV,
    710         0x2A0F: EXTRAV,
    711         0x2A10: EXTRAV,
    712         0x2A11: EXTRAV,
    713         0x2A12: EXTRAV,
    714         0x2A13: EXTRAV,
    715         0x2A14: EXTRAV,
    716         0x2A15: EXTRAV,
    717         0x2A16: EXTRAV,
    718         0x2A17: EXTRAV,
    719         0x2A18: EXTRAV,
    720         0x2A19: EXTRAV,
    721         0x2A1A: EXTRAV,
    722         0x2A1B: EXTRAV,
    723         0x2A1C: EXTRAV,
    724         0x2AFC: EXTRAV,
    725         0x2AFF: EXTRAV,
    726         0x2B45: EXTRAH,
    727         0x2B46:
    728         {
    729           dir: H,
    730           HW: [[818,SHAPES]],
    731           stretch: {rep:[0xE039,SIZE5], right:[0x2B46,SHAPES]}
    732         },
    733         0x3008: {alias: 0x27E8, dir: V},
    734         0x3009: {alias: 0x27E9, dir: V},
    735         0xFE37: {alias: 0x23DE, dir: H},
    736         0xFE38: {alias: 0x23DF, dir: H}
    737       }
    738 
    739     }
    740   });
    741   MathJax.Hub.Register.LoadHook(SVG.fontDir+"/Main/Regular/Main.js",function () {
    742     SVG.FONTDATA.FONTS[MAIN][0x22EE][0] += 400;  // adjust height for \vdots
    743     SVG.FONTDATA.FONTS[MAIN][0x22F1][0] += 500;  // adjust height for \ddots
    744     SVG.FONTDATA.FONTS[MAIN][0x2212][1] += 100;  // adjust depth for minus (arrow extender)
    745     SVG.FONTDATA.FONTS[MAIN][0x003D][1] += 100;  // adjust depth for = (double arrow extender)
    746   });
    747   MathJax.Hub.Register.LoadHook(SVG.fontDir+"/Size5/Regular/Main.js",function () {
    748     var u;
    749     u = SVG.FONTDATA.DELIMITERS[0x23DE].stretch.rep[0];
    750     SVG.FONTDATA.FONTS[SIZE5][u][0] += 200;  // adjust height for brace extender
    751     SVG.FONTDATA.FONTS[SIZE5][u][1] += 200;  // adjust depth for brace extender
    752     u = SVG.FONTDATA.DELIMITERS[0x23DF].stretch.rep[0];
    753     SVG.FONTDATA.FONTS[SIZE5][u][0] += 200;  // adjust height for brace extender
    754     SVG.FONTDATA.FONTS[SIZE5][u][1] += 200;  // adjust depth for brace extender
    755   });
    756 
    757   AJAX.loadComplete(SVG.fontDir + "/fontdata.js");
    758 
    759 })(MathJax.OutputJax.SVG,MathJax.ElementJax.mml,MathJax.Ajax,MathJax.Hub);