www

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

fontdata.js (21154B)


      1 /*************************************************************
      2  *
      3  *  MathJax/jax/output/SVG/fonts/Asana-Math/fontdata.js
      4  *  
      5  *  Initializes the SVG OutputJax to use the Asana-Math 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 ALPHABETS = "AsanaMathJax_Alphabets",
     27       ARROWS = "AsanaMathJax_Arrows",
     28       DOUBLESTRUCK = "AsanaMathJax_DoubleStruck",
     29       FRAKTUR = "AsanaMathJax_Fraktur",
     30       LATIN = "AsanaMathJax_Latin",
     31       MAIN = "AsanaMathJax_Main",
     32       MARKS = "AsanaMathJax_Marks",
     33       MISC = "AsanaMathJax_Misc",
     34       MONOSPACE = "AsanaMathJax_Monospace",
     35       NONUNICODE = "AsanaMathJax_NonUnicode",
     36       NORMAL = "AsanaMathJax_Normal",
     37       OPERATORS = "AsanaMathJax_Operators",
     38       SANSSERIF = "AsanaMathJax_SansSerif",
     39       SCRIPT = "AsanaMathJax_Script",
     40       SHAPES = "AsanaMathJax_Shapes",
     41       SIZE1 = "AsanaMathJax_Size1",
     42       SIZE2 = "AsanaMathJax_Size2",
     43       SIZE3 = "AsanaMathJax_Size3",
     44       SIZE4 = "AsanaMathJax_Size4",
     45       SIZE5 = "AsanaMathJax_Size5",
     46       SIZE6 = "AsanaMathJax_Size6",
     47       SYMBOLS = "AsanaMathJax_Symbols",
     48       VARIANTS = "AsanaMathJax_Variants";
     49 
     50   var H = "H", V = "V", EXTRAH = {load:"extra", dir:H}, EXTRAV = {load:"extra", dir:V};
     51 
     52   SVG.Augment({
     53     FONTDATA: {
     54       version: VERSION,
     55 
     56 
     57       baselineskip: 1200,
     58       lineH: 800, lineD: 200,
     59 
     60       FONTS: {
     61         "AsanaMathJax_Alphabets": "Alphabets/Regular/Main.js",
     62         "AsanaMathJax_Arrows": "Arrows/Regular/Main.js",
     63         "AsanaMathJax_DoubleStruck": "DoubleStruck/Regular/Main.js",
     64         "AsanaMathJax_Fraktur": "Fraktur/Regular/Main.js",
     65         "AsanaMathJax_Latin": "Latin/Regular/Main.js",
     66         "AsanaMathJax_Main": "Main/Regular/Main.js",
     67         "AsanaMathJax_Marks": "Marks/Regular/Main.js",
     68         "AsanaMathJax_Misc": "Misc/Regular/Main.js",
     69         "AsanaMathJax_Monospace": "Monospace/Regular/Main.js",
     70         "AsanaMathJax_NonUnicode": "NonUnicode/Regular/Main.js",
     71         "AsanaMathJax_Normal": "Normal/Regular/Main.js",
     72         "AsanaMathJax_Operators": "Operators/Regular/Main.js",
     73         "AsanaMathJax_SansSerif": "SansSerif/Regular/Main.js",
     74         "AsanaMathJax_Script": "Script/Regular/Main.js",
     75         "AsanaMathJax_Shapes": "Shapes/Regular/Main.js",
     76         "AsanaMathJax_Size1": "Size1/Regular/Main.js",
     77         "AsanaMathJax_Size2": "Size2/Regular/Main.js",
     78         "AsanaMathJax_Size3": "Size3/Regular/Main.js",
     79         "AsanaMathJax_Size4": "Size4/Regular/Main.js",
     80         "AsanaMathJax_Size5": "Size5/Regular/Main.js",
     81         "AsanaMathJax_Size6": "Size6/Regular/Main.js",
     82         "AsanaMathJax_Symbols": "Symbols/Regular/Main.js",
     83         "AsanaMathJax_Variants": "Variants/Regular/Main.js"
     84       },
     85 
     86       VARIANT: {
     87           "normal": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1]},
     88           "bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], bold:true
     89 , offsetA: 0x1D400, offsetG: 0x1D6A8, offsetN: 0x1D7CE},
     90           "italic": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic:true, offsetA: 0x1D434, offsetG: 0x1D6E2, remap: {0x1D455: 0x210E}},
     91           "bold-italic": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], bold: true, italic:true, offsetA: 0x1D468, offsetG: 0x1D71C},
     92           "double-struck": {
     93             fonts: [DOUBLESTRUCK],
     94             offsetA: 0x1D538,
     95             offsetN: 0x1D7D8,
     96             remap: {0x1D53A: 0x2102, 0x1D53F: 0x210D, 0x1D545: 0x2115, 0x1D547: 0x2119, 0x1D548: 0x211A, 0x1D549: 0x211D, 0x1D551: 0x2124}
     97           },
     98           "fraktur": {
     99             fonts: [FRAKTUR],
    100             offsetA: 0x1D504,
    101             remap: {0x1D506: 0x212D, 0x1D50B: 0x210C, 0x1D50C: 0x2111, 0x1D515: 0x211C, 0x1D51D: 0x2128}
    102           },
    103           "bold-fraktur": {
    104             fonts: [FRAKTUR], bold:true,
    105             offsetA: 0x1D56C
    106           },
    107           "script": {
    108             fonts: [SCRIPT], italic:true,
    109             offsetA: 0x1D49C,
    110             remap: {0x1D49D: 0x212C, 0x1D4A0: 0x2130, 0x1D4A1: 0x2131, 0x1D4A3: 0x210B, 0x1D4A4: 0x2110, 0x1D4A7: 0x2112, 0x1D4A8: 0x2133, 0x1D4AD: 0x211B, 0x1D4BA: 0x212F, 0x1D4BC: 0x210A, 0x1D4C4: 0x2134}
    111           },
    112           "bold-script": {
    113             fonts: [SCRIPT], bold:true, italic:true,
    114             offsetA: 0x1D4D0
    115           },
    116           "sans-serif": {
    117             fonts: [SANSSERIF],
    118             offsetA: 0x1D5A0,
    119             offsetN: 0x1D7E2
    120           },
    121           "bold-sans-serif": {
    122             fonts: [SANSSERIF], bold:true,
    123             offsetA: 0x1D5D4,
    124             offsetN: 0x1D7EC,
    125             offsetG: 0x1D756
    126           },
    127           "sans-serif-italic": {
    128              fonts: [SANSSERIF], italic: true,
    129              offsetA: 0x1D608
    130           },
    131           "sans-serif-bold-italic": {
    132              fonts: [SANSSERIF], bold:true, italic: true,
    133              offsetA: 0x1D63C,
    134              offsetG: 0x1D790
    135           },
    136           "monospace": {
    137              fonts: [MONOSPACE],
    138              offsetA: 0x1D670,
    139              offsetN: 0x1D7F6
    140           },
    141         "-Asana-Math-variant": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1]},
    142           "-tex-caligraphic": {offsetA: 0xE20A, noLowerCase: 1, fonts: [VARIANTS,MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,NONUNICODE,SIZE1], italic: true},
    143           "-tex-oldstyle": {offsetN: 0xE200, fonts: [VARIANTS,MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,NONUNICODE,SIZE1]},
    144           "-tex-caligraphic-bold": {offsetA: 0xE224, noLowerCase: 1, fonts: [VARIANTS,MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,NONUNICODE,SIZE1], italic: true, bold: true},
    145           "-tex-oldstyle-bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], bold: true},
    146           "-tex-mathit": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic:true, noIC:true},
    147           "-largeOp": {fonts:[SIZE1,MAIN]},
    148           "-smallOp": {}
    149       },
    150 
    151       RANGES: [
    152         {name: "alpha", low: 0x61, high: 0x7A, offset: "A", add: 26},
    153         {name: "Alpha", low: 0x41, high: 0x5A, offset: "A"},
    154         {name: "number", low: 0x30, high: 0x39, offset: "N"},
    155         {name: "greek", low: 0x03B1, high: 0x03C9, offset: "G", add: 26},
    156         {name: "Greek", low: 0x0391, high: 0x03F6, offset: "G",
    157            remap: {0x03F5: 52, 0x03D1: 53, 0x03F0: 54, 0x03D5: 55, 0x03F1: 56, 0x03D6: 57, 0x03F4: 17}}
    158       ],
    159 
    160       RULECHAR: 0x0305,
    161 
    162       REMAP: {
    163         0x25C2: 0x25C0,
    164         0x25C3: 0x25C1,
    165         0xFE38: 0x23DF,
    166         0x3008: 0x27E8,
    167         0x3009: 0x27E9,
    168         0x25AA: 0x25A0,
    169         0x00AF: 0x0304,
    170         0x20F0: 0x002A,
    171         0x2758: 0x2223,
    172         0x03D2: 0x03A5,
    173         0x25B4: 0x25B2,
    174         0x25B5: 0x25B3,
    175         0xFE37: 0x23DE,
    176         0x25B8: 0x25B6,
    177         0x02B9: 0x2032,
    178         0x25BE: 0x25BC,
    179         0x25BF: 0x25BD
    180       },
    181 
    182       REMAPACCENT: {
    183         "\u007E": "\u0303",
    184         "\u2192": "\u20D7",
    185         "\u0060": "\u0300",
    186         "\u005E": "\u0302",
    187         "\u00B4": "\u0301",
    188         "\u2032": "\u0301",
    189         "\u2035": "\u0300"
    190       },
    191 
    192       REMAPACCENTUNDER: {
    193       },
    194 
    195       DELIMITERS: {
    196         0x28:
    197         {
    198           dir: V,
    199           HW: [[941,MAIN], [1471,SIZE1], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]],
    200           stretch: {bot:[0x239D,SYMBOLS], ext:[0x239C,SYMBOLS], top:[0x239B,SYMBOLS]}
    201         },
    202         0x29:
    203         {
    204           dir: V,
    205           HW: [[941,MAIN], [1471,SIZE1], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]],
    206           stretch: {bot:[0x23A0,SYMBOLS], ext:[0x239F,SYMBOLS], top:[0x239E,SYMBOLS]}
    207         },
    208         0x2D: {alias: 0x305, dir: H},
    209         0x2F: {alias: 0x2044, dir: H},
    210         0x3D:
    211         {
    212           dir: H,
    213           HW: [[539,MAIN]],
    214           stretch: {rep:[0x3D,MAIN]}
    215         },
    216         0x5B:
    217         {
    218           dir: V,
    219           HW: [[910,MAIN], [1476,SIZE1], [2045,SIZE2], [2556,SIZE3], [2615,SIZE3,1.023]],
    220           stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]}
    221         },
    222         0x5C:
    223         {
    224           dir: V,
    225           HW: [[883,MAIN], [1270,MAIN,1.439], [1719,MAIN,1.946], [2167,MAIN,2.454], [2615,MAIN,2.961]]
    226         },
    227         0x5D:
    228         {
    229           dir: V,
    230           HW: [[910,MAIN], [1476,SIZE1], [2045,SIZE2], [2556,SIZE3], [2615,SIZE3,1.023]],
    231           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]}
    232         },
    233         0x5E: {alias: 0x302, dir: H},
    234         0x5F: {alias: 0x332, dir: H},
    235         0x7B:
    236         {
    237           dir: V,
    238           HW: [[901,MAIN], [1471,SIZE1], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]],
    239           stretch: {bot:[0x23A9,SYMBOLS], ext:[0x23AA,SYMBOLS], mid:[0x23A8,SYMBOLS], top:[0x23A7,SYMBOLS]}
    240         },
    241         0x7C:
    242         {
    243           dir: V,
    244           HW: [[885,MAIN], [1275,SIZE1], [1555,SIZE2], [1897,SIZE3], [2315,SIZE4], [2712,SIZE5], [3177,SIZE6]],
    245           stretch: {ext:[0xE000,SIZE6], top:[0xE000,SIZE6]}
    246         },
    247         0x7D:
    248         {
    249           dir: V,
    250           HW: [[901,MAIN], [1471,SIZE1], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]],
    251           stretch: {bot:[0x23AD,SYMBOLS], ext:[0x23AA,SYMBOLS], mid:[0x23AC,SYMBOLS], top:[0x23AB,SYMBOLS]}
    252         },
    253         0x7E: {alias: 0x303, dir: H},
    254         0xAF: {alias: 0x305, dir: H},
    255         0x2C6: {alias: 0x302, dir: H},
    256         0x2C9: {alias: 0x305, dir: H},
    257         0x2DC: {alias: 0x303, dir: H},
    258         0x302:
    259         {
    260           dir: H,
    261           HW: [[312,MAIN], [453,SIZE1], [633,SIZE2], [1055,SIZE3], [2017,SIZE4], [3026,SIZE5]]
    262         },
    263         0x303:
    264         {
    265           dir: H,
    266           HW: [[330,MAIN], [701,SIZE1], [1053,SIZE2], [1403,SIZE3], [1865,SIZE4], [2797,SIZE5]]
    267         },
    268         0x305:
    269         {
    270           dir: H,
    271           HW: [[433,MARKS], [511,SIZE1], [675,SIZE2], [1127,SIZE3]],
    272           stretch: {rep:[0xE001,SIZE6], right:[0xE001,SIZE6]}
    273         },
    274         0x306: EXTRAH,
    275         0x30C:
    276         {
    277           dir: H,
    278           HW: [[312,MAIN], [737,SIZE1], [1105,SIZE2], [1474,SIZE3], [1960,SIZE4], [2940,SIZE5]]
    279         },
    280         0x332:
    281         {
    282           dir: H,
    283           HW: [[433,MARKS], [511,SIZE1], [675,SIZE2], [1127,SIZE3]],
    284           stretch: {rep:[0xE002,SIZE6], right:[0xE002,SIZE6]}
    285         },
    286         0x333: EXTRAH,
    287         0x33F: EXTRAH,
    288         0x2015: {alias: 0x305, dir: H},
    289         0x2016:
    290         {
    291           dir: V,
    292           HW: [[885,MAIN], [1275,SIZE1], [1555,SIZE2], [1897,SIZE3], [2315,SIZE4]],
    293           stretch: {ext:[0xE005,SIZE6], top:[0xE005,SIZE6]}
    294         },
    295         0x2017: {alias: 0x305, dir: H},
    296         0x203E: {alias: 0x305, dir: H},
    297         0x2044:
    298         {
    299           dir: V,
    300           HW: [[837,MAIN], [1205,SIZE1], [1471,SIZE2], [1795,SIZE3], [2189,SIZE4], [2615,SIZE4,1.195]]
    301         },
    302         0x2045: EXTRAV,
    303         0x2046: EXTRAV,
    304         0x20D0: EXTRAH,
    305         0x20D1: EXTRAH,
    306         0x20D6: EXTRAH,
    307         0x20D7: EXTRAH,
    308         0x20E1: EXTRAH,
    309         0x20E9: EXTRAH,
    310         0x20EE: EXTRAH,
    311         0x20EF: EXTRAH,
    312         0x2190:
    313         {
    314           dir: H,
    315           HW: [[884,MAIN]],
    316           stretch: {left:[0xE013,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE014,SIZE6]}
    317         },
    318         0x2191:
    319         {
    320           dir: V,
    321           HW: [[885,MAIN]],
    322           stretch: {ext:[0xE015,SIZE6], top:[0x2191,MAIN]}
    323         },
    324         0x2192:
    325         {
    326           dir: H,
    327           HW: [[884,MAIN]],
    328           stretch: {left:[0xE016,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE017,SIZE6]}
    329         },
    330         0x2193:
    331         {
    332           dir: V,
    333           HW: [[885,MAIN]],
    334           stretch: {bot:[0x2193,MAIN], ext:[0xE015,SIZE6]}
    335         },
    336         0x2194:
    337         {
    338           dir: H,
    339           HW: [[884,MAIN]],
    340           stretch: {left:[0xE013,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE017,SIZE6]}
    341         },
    342         0x2195:
    343         {
    344           dir: V,
    345           HW: [[884,MAIN]],
    346           stretch: {top:[0x2191,MAIN], ext:[0xE015,SIZE6], bot:[0x2193,MAIN]}
    347         },
    348         0x21A4:
    349         {
    350           dir: H,
    351           HW: [[942,ARROWS]],
    352           stretch: {left:[0xE013,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE018,SIZE6]}
    353         },
    354         0x21A6:
    355         {
    356           dir: H,
    357           HW: [[942,MAIN]],
    358           stretch: {left:[0xE019,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE017,SIZE6]}
    359         },
    360         0x21A9: EXTRAH,
    361         0x21AA: EXTRAH,
    362         0x21D0:
    363         {
    364           dir: H,
    365           HW: [[884,MAIN]],
    366           stretch: {left:[0xE01C,SIZE6], rep:[0xE01D,SIZE6], right:[0xE01E,SIZE6]}
    367         },
    368         0x21D1:
    369         {
    370           dir: V,
    371           HW: [[885,MAIN]],
    372           stretch: {ext:[0xE01F,SIZE6], top:[0x21D1,MAIN]}
    373         },
    374         0x21D2:
    375         {
    376           dir: H,
    377           HW: [[884,MAIN]],
    378           stretch: {left:[0xE020,SIZE6], rep:[0xE01D,SIZE6], right:[0xE021,SIZE6]}
    379         },
    380         0x21D3:
    381         {
    382           dir: V,
    383           HW: [[885,MAIN]],
    384           stretch: {bot:[0x21D3,MAIN], ext:[0xE01F,SIZE6]}
    385         },
    386         0x21D4:
    387         {
    388           dir: H,
    389           HW: [[895,MAIN]],
    390           stretch: {left:[0xE01C,SIZE6], rep:[0xE01D,SIZE6], right:[0xE021,SIZE6]}
    391         },
    392         0x21D5:
    393         {
    394           dir: V,
    395           HW: [[884,MAIN,null,0x2195]],
    396           stretch: {top:[0x21D1,MAIN], ext:[0xE01F,SIZE6], bot:[0x21D3,MAIN]}
    397         },
    398         0x220F:
    399         {
    400           dir: V,
    401           HW: [[937,OPERATORS], [1349,SIZE1], [1942,SIZE2], [2797,SIZE3]]
    402         },
    403         0x2210: EXTRAV,
    404         0x2211: EXTRAV,
    405         0x2212: {alias: 0x305, dir: H},
    406         0x2215: {alias: 0x2044, dir: V},
    407         0x221A:
    408         {
    409           dir: V,
    410           HW: [[1138,MAIN], [1280,SIZE1], [1912,SIZE2], [2543,SIZE3], [3175,SIZE4]],
    411           stretch: {bot:[0x23B7,SYMBOLS], ext:[0x20D3,MARKS], top:[0xE022,SIZE6]}
    412         },
    413         0x2223:
    414         {
    415           dir: V,
    416           HW: [[885,MAIN]],
    417           stretch: {ext:[0x2223,MAIN], top:[0x2223,MAIN]}
    418         },
    419         0x2225:
    420         {
    421           dir: V,
    422           HW: [[885,MAIN]],
    423           stretch: {ext:[0x2225,MAIN], top:[0x2225,MAIN]}
    424         },
    425         0x2229: EXTRAV,
    426         0x222B: EXTRAV,
    427         0x222C: EXTRAV,
    428         0x222D: EXTRAV,
    429         0x222E: EXTRAV,
    430         0x222F: EXTRAV,
    431         0x2230: EXTRAV,
    432         0x2231: EXTRAV,
    433         0x2232: EXTRAV,
    434         0x2233: EXTRAV,
    435         0x22C0: EXTRAV,
    436         0x22C1: EXTRAV,
    437         0x22C2: EXTRAV,
    438         0x22C3: EXTRAV,
    439         0x2308:
    440         {
    441           dir: V,
    442           HW: [[885,MAIN], [1470,SIZE1], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]],
    443           stretch: {ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]}
    444         },
    445         0x2309:
    446         {
    447           dir: V,
    448           HW: [[885,MAIN], [1470,SIZE1], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]],
    449           stretch: {ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]}
    450         },
    451         0x230A:
    452         {
    453           dir: V,
    454           HW: [[885,MAIN], [1470,SIZE1], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]],
    455           stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS]}
    456         },
    457         0x230B:
    458         {
    459           dir: V,
    460           HW: [[885,MAIN], [1470,SIZE1], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]],
    461           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
    462         },
    463         0x2312: {alias: 0x23DC, dir:H},
    464         0x2322: {alias: 0x23DC, dir:H},
    465         0x2323: {alias: 0x23DD, dir:H},
    466         0x2329: {alias: 0x27E8, dir: V},
    467         0x232A: {alias: 0x27E9, dir: V},
    468         0x23AA:
    469         {
    470           dir: V,
    471           HW: [[688,SYMBOLS]],
    472           stretch: {ext:[0x23AA,SYMBOLS]}
    473         },
    474         0x23AF:
    475         {
    476           dir: H,
    477           HW: [[638,SYMBOLS]],
    478           stretch: {rep:[0x23AF,SYMBOLS]}
    479         },
    480         0x23B0: {alias: 0x27C6, dir: V},
    481         0x23B1: {alias: 0x27C5, dir: V},
    482         0x23B4: EXTRAH,
    483         0x23B5: EXTRAH,
    484         0x23D0:
    485         {
    486           dir: V,
    487           HW: [[885,MAIN,null,0x7C], [1270,MAIN,1.435,0x7C], [1719,MAIN,1.942,0x7C], [2167,MAIN,2.448,0x7C], [2615,MAIN,2.955,0x7C]],
    488           stretch: {ext:[0x7C,MAIN]}
    489         },
    490         0x23DC: EXTRAH,
    491         0x23DD: EXTRAH,
    492         0x23DE:
    493         {
    494           dir: H,
    495           HW: [[902,MAIN], [1471,SIZE1], [2041,SIZE2], [2552,SIZE3]],
    496           stretch: {left:[0xE026,SIZE6], rep:[0xE027,SIZE6], mid:[0xE02C,SIZE6], right:[0xE028,SIZE6]}
    497         },
    498         0x23DF:
    499         {
    500           dir: H,
    501           HW: [[902,MAIN], [1471,SIZE1], [2041,SIZE2], [2552,SIZE3]],
    502           stretch: {left:[0xE029,SIZE6], rep:[0xE02A,SIZE6], mid:[0xE02D,SIZE6], right:[0xE02B,SIZE6]}
    503         },
    504         0x23E0: EXTRAH,
    505         0x23E1: EXTRAH,
    506         0x2500: {alias: 0x305, dir: H},
    507         0x2758: {alias: 0x2223, dir: V},
    508         0x27C5:
    509         {
    510           dir: V,
    511           HW: [[910,SYMBOLS], [1020,SIZE1], [1531,SIZE2], [2041,SIZE3], [2552,SIZE4], [3063,SIZE5]]
    512         },
    513         0x27C6:
    514         {
    515           dir: V,
    516           HW: [[910,SYMBOLS], [1020,SIZE1], [1531,SIZE2], [2041,SIZE3], [2552,SIZE4], [3063,SIZE5]]
    517         },
    518         0x27E6: EXTRAV,
    519         0x27E7: EXTRAV,
    520         0x27E8:
    521         {
    522           dir: V,
    523           HW: [[885,MAIN], [1020,SIZE1], [1270,SIZE1,1.244], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]]
    524         },
    525         0x27E9:
    526         {
    527           dir: V,
    528           HW: [[885,MAIN], [1020,SIZE1], [1270,SIZE1,1.244], [2041,SIZE2], [2552,SIZE3], [2615,SIZE3,1.025]]
    529         },
    530         0x27EA: EXTRAV,
    531         0x27EB: EXTRAV,
    532         0x27EE: {alias: 0x28, dir: V},
    533         0x27EF: {alias: 0x29, dir: V},
    534         0x27F5: {alias: 0x2190, dir: H},
    535         0x27F6: {alias: 0x2192, dir: H},
    536         0x27F7: {alias: 0x2194, dir: H},
    537         0x27F8: {alias: 0x21D0, dir: H},
    538         0x27F9: {alias: 0x21D2, dir: H},
    539         0x27FA: {alias: 0x21D4, dir: H},
    540         0x27FB: {alias: 0x21A4, dir: H},
    541         0x27FC: {alias: 0x21A6, dir: H},
    542         0x27FD: {alias: 0x2906, dir: H},
    543         0x27FE: {alias: 0x2907, dir: H},
    544         0x2906:
    545         {
    546           dir: H,
    547           HW: [[884,ARROWS]],
    548           stretch: {left:[0xE01C,SIZE6], rep:[0xE01D,SIZE6], right:[0xE02E,SIZE6]}
    549         },
    550         0x2907:
    551         {
    552           dir: H,
    553           HW: [[884,ARROWS]],
    554           stretch: {left:[0xE02F,SIZE6], rep:[0xE01D,SIZE6], right:[0xE021,SIZE6]}
    555         },
    556         0x29FC: EXTRAV,
    557         0x29FD: EXTRAV,
    558         0x2A00: EXTRAV,
    559         0x2A01: EXTRAV,
    560         0x2A02: EXTRAV,
    561         0x2A03: EXTRAV,
    562         0x2A04: EXTRAV,
    563         0x2A05: EXTRAV,
    564         0x2A06: EXTRAV,
    565         0x2A07: EXTRAV,
    566         0x2A08: EXTRAV,
    567         0x2A09: EXTRAV,
    568         0x2A0C: EXTRAV,
    569         0x2A0D: EXTRAV,
    570         0x2A0E: EXTRAV,
    571         0x2A0F: EXTRAV,
    572         0x2A10: EXTRAV,
    573         0x2A11: EXTRAV,
    574         0x2A12: EXTRAV,
    575         0x2A13: EXTRAV,
    576         0x2A14: EXTRAV,
    577         0x2A15: EXTRAV,
    578         0x2A16: EXTRAV,
    579         0x2A17: EXTRAV,
    580         0x2A18: EXTRAV,
    581         0x2A19: EXTRAV,
    582         0x2A1A: EXTRAV,
    583         0x2A1B: EXTRAV,
    584         0x2A1C: EXTRAV,
    585         0x3008: {alias: 0x27E8, dir: V},
    586         0x3009: {alias: 0x27E9, dir: V},
    587         0xFE37: {alias: 0x23DE, dir: H},
    588         0xFE38: {alias: 0x23DF, dir: H}
    589       }
    590 
    591     }
    592   });
    593   MathJax.Hub.Register.LoadHook(SVG.fontDir+"/Size6/Regular/Main.js",function () {
    594     var u;
    595     u = SVG.FONTDATA.DELIMITERS[0x23DE].stretch.rep[0];
    596     SVG.FONTDATA.FONTS[SIZE6][u][0] += 100;  // adjust height for brace extender
    597     SVG.FONTDATA.FONTS[SIZE6][u][1] += 100;  // adjust depth for brace extender
    598     u = SVG.FONTDATA.DELIMITERS[0x23DF].stretch.rep[0];
    599     SVG.FONTDATA.FONTS[SIZE6][u][0] += 100;  // adjust height for brace extender
    600     SVG.FONTDATA.FONTS[SIZE6][u][1] += 100;  // adjust depth for brace extender
    601   });
    602   MathJax.Hub.Register.LoadHook(SVG.fontDir+"/Size1/Regular/Main.js",function () {
    603     var i;
    604     SVG.FONTDATA.FONTS[SIZE1][0x222B][2] -= 300;
    605     for (i = 0x222C; i <= 0x2233; i++) {SVG.FONTDATA.FONTS[SIZE1][i][2] -= 420}
    606     for (i = 0x2A0C; i <= 0x2A1C; i++) {SVG.FONTDATA.FONTS[SIZE1][i][2] -= 420}
    607   });
    608   AJAX.loadComplete(SVG.fontDir + "/fontdata.js");
    609 
    610 })(MathJax.OutputJax.SVG,MathJax.ElementJax.mml,MathJax.Ajax,MathJax.Hub);