www

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

fontdata.js (17768B)


      1 /*************************************************************
      2  *
      3  *  MathJax/jax/output/HTML-CSS/fonts/Neo-Euler/fontdata.js
      4  *  
      5  *  Initializes the HTML-CSS OutputJax to use the Neo-Euler 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 (HTMLCSS,MML,AJAX) {
     23 
     24     var VERSION = "2.6.0";
     25 
     26   var ALPHABETS = "NeoEulerMathJax_Alphabets",
     27       ARROWS = "NeoEulerMathJax_Arrows",
     28       FRAKTUR = "NeoEulerMathJax_Fraktur",
     29       MAIN = "NeoEulerMathJax_Main",
     30       MARKS = "NeoEulerMathJax_Marks",
     31       NONUNICODE = "NeoEulerMathJax_NonUnicode",
     32       NORMAL = "NeoEulerMathJax_Normal",
     33       OPERATORS = "NeoEulerMathJax_Operators",
     34       SCRIPT = "NeoEulerMathJax_Script",
     35       SHAPES = "NeoEulerMathJax_Shapes",
     36       SIZE1 = "NeoEulerMathJax_Size1",
     37       SIZE2 = "NeoEulerMathJax_Size2",
     38       SIZE3 = "NeoEulerMathJax_Size3",
     39       SIZE4 = "NeoEulerMathJax_Size4",
     40       SIZE5 = "NeoEulerMathJax_Size5",
     41       SYMBOLS = "NeoEulerMathJax_Symbols",
     42       VARIANTS = "NeoEulerMathJax_Variants",
     43       DOUBLESTRUCK = "NeoEulerMathJax_Normal",
     44       SANSSERIF = "NeoEulerMathJax_Normal",
     45       MONOSPACE = "NeoEulerMathJax_Normal";
     46 
     47   var H = "H", V = "V", EXTRAH = {load:"extra", dir:H}, EXTRAV = {load:"extra", dir:V};
     48 
     49   HTMLCSS.Augment({
     50     FONTDATA: {
     51       version: VERSION,
     52 
     53 
     54       TeX_factor: 0.958,
     55       baselineskip: 1.200,
     56       lineH: 0.800, lineD: 0.200,
     57 
     58       hasStyleChar: true,  // char 0xEFFD encodes font style
     59 
     60       FONTS: {
     61         "NeoEulerMathJax_Alphabets": "Alphabets/Regular/Main.js",
     62         "NeoEulerMathJax_Arrows": "Arrows/Regular/Main.js",
     63         "NeoEulerMathJax_Fraktur": "Fraktur/Regular/Main.js",
     64         "NeoEulerMathJax_Main": "Main/Regular/Main.js",
     65         "NeoEulerMathJax_Marks": "Marks/Regular/Main.js",
     66         "NeoEulerMathJax_NonUnicode": "NonUnicode/Regular/Main.js",
     67         "NeoEulerMathJax_Normal": "Normal/Regular/Main.js",
     68         "NeoEulerMathJax_Operators": "Operators/Regular/Main.js",
     69         "NeoEulerMathJax_Script": "Script/Regular/Main.js",
     70         "NeoEulerMathJax_Shapes": "Shapes/Regular/Main.js",
     71         "NeoEulerMathJax_Size1": "Size1/Regular/Main.js",
     72         "NeoEulerMathJax_Size2": "Size2/Regular/Main.js",
     73         "NeoEulerMathJax_Size3": "Size3/Regular/Main.js",
     74         "NeoEulerMathJax_Size4": "Size4/Regular/Main.js",
     75         "NeoEulerMathJax_Size5": "Size5/Regular/Main.js",
     76         "NeoEulerMathJax_Symbols": "Symbols/Regular/Main.js",
     77         "NeoEulerMathJax_Variants": "Variants/Regular/Main.js"
     78       },
     79 
     80       VARIANT: {
     81           "normal": {fonts: [MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,VARIANTS,NONUNICODE,SIZE1]},
     82           "bold": {fonts: [MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,VARIANTS,NONUNICODE,SIZE1], bold:true
     83 , offsetA: 0x1D400, offsetG: 0x1D6A8, offsetN: 0x1D7CE},
     84           "italic": {fonts: [MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,VARIANTS,NONUNICODE,SIZE1], italic:true},
     85           "bold-italic": {fonts: [MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,VARIANTS,NONUNICODE,SIZE1], bold: true, italic:true},
     86           "double-struck": {
     87             fonts: [DOUBLESTRUCK],
     88             offsetA: 0x1D538,
     89             offsetN: 0x1D7D8,
     90             remap: {0x1D53A: 0x2102, 0x1D53F: 0x210D, 0x1D545: 0x2115, 0x1D547: 0x2119, 0x1D548: 0x211A, 0x1D549: 0x211D, 0x1D551: 0x2124}
     91           },
     92           "fraktur": {
     93             fonts: [FRAKTUR],
     94             offsetA: 0x1D504,
     95             remap: {0x1D506: 0x212D, 0x1D50B: 0x210C, 0x1D50C: 0x2111, 0x1D515: 0x211C, 0x1D51D: 0x2128}
     96           },
     97           "bold-fraktur": {
     98             fonts: [FRAKTUR], bold:true,
     99             offsetA: 0x1D56C
    100           },
    101           "script": {
    102             fonts: [SCRIPT], italic:true,
    103             offsetA: 0x1D49C,
    104             remap: {0x1D49D: 0x212C, 0x1D4A0: 0x2130, 0x1D4A1: 0x2131, 0x1D4A3: 0x210B, 0x1D4A4: 0x2110, 0x1D4A7: 0x2112, 0x1D4A8: 0x2133, 0x1D4AD: 0x211B, 0x1D4BA: 0x212F, 0x1D4BC: 0x210A, 0x1D4C4: 0x2134}
    105           },
    106           "bold-script": {
    107             fonts: [SCRIPT], bold:true, italic:true,
    108             offsetA: 0x1D4D0
    109           },
    110           "sans-serif": {
    111             fonts: [SANSSERIF],
    112             offsetA: 0x1D5A0,
    113             offsetN: 0x1D7E2
    114           },
    115           "bold-sans-serif": {
    116             fonts: [SANSSERIF], bold:true,
    117             offsetA: 0x1D5D4,
    118             offsetN: 0x1D7EC,
    119             offsetG: 0x1D756
    120           },
    121           "sans-serif-italic": {
    122              fonts: [SANSSERIF], italic: true,
    123              offsetA: 0x1D608
    124           },
    125           "sans-serif-bold-italic": {
    126              fonts: [SANSSERIF], bold:true, italic: true,
    127              offsetA: 0x1D63C,
    128              offsetG: 0x1D790
    129           },
    130           "monospace": {
    131              fonts: [MONOSPACE],
    132              offsetA: 0x1D670,
    133              offsetN: 0x1D7F6
    134           },
    135         "-Neo-Euler-variant": {fonts: [VARIANTS,MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,NONUNICODE,SIZE1]},
    136           "-tex-caligraphic": {fonts: [MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,VARIANTS,NONUNICODE,SIZE1], italic: true},
    137           "-tex-oldstyle": {offsetN: 0xE200, fonts: [VARIANTS,MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,NONUNICODE,SIZE1]},
    138           "-tex-caligraphic-bold": {fonts: [MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,VARIANTS,NONUNICODE,SIZE1], italic: true, bold: true},
    139           "-tex-oldstyle-bold": {fonts: [MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,VARIANTS,NONUNICODE,SIZE1], bold: true},
    140           "-tex-mathit": {fonts: [MAIN,NORMAL,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,VARIANTS,NONUNICODE,SIZE1], italic:true, noIC:true},
    141           "-largeOp": {fonts:[SIZE1,MAIN]},
    142           "-smallOp": {}
    143       },
    144 
    145       RANGES: [
    146         {name: "alpha", low: 0x61, high: 0x7A, offset: "A", add: 26},
    147         {name: "Alpha", low: 0x41, high: 0x5A, offset: "A"},
    148         {name: "number", low: 0x30, high: 0x39, offset: "N"},
    149         {name: "greek", low: 0x03B1, high: 0x03C9, offset: "G", add: 26},
    150         {name: "Greek", low: 0x0391, high: 0x03F6, offset: "G",
    151            remap: {0x03F5: 52, 0x03D1: 53, 0x03F0: 54, 0x03D5: 55, 0x03F1: 56, 0x03D6: 57, 0x03F4: 17}}
    152       ],
    153 
    154       RULECHAR: 0x00AF,
    155 
    156       REMAP: {
    157         0x20F0: 0x002A,
    158         0x2022: 0x2219,
    159         0x22E3: "\u2292\u0338",
    160         0x22E2: "\u2291\u0338",
    161         0x3008: 0x27E8,
    162         0x02C9: 0x00AF,
    163         0x2017: 0x005F,
    164         0x20EC: 0x21C1,
    165         0x20ED: 0x21BD,
    166         0x2A2F: 0x00D7,
    167         0x20D0: 0x21BC,
    168         0x20D1: 0x21C0,
    169         0x03D2: 0x03A5,
    170         0x2014: 0x00AF,
    171         0x2015: 0x00AF,
    172         0x3009: 0x27E9,
    173         0xFE37: 0x23DE,
    174         0xFE38: 0x23DF,
    175         0x02B9: 0x2032,
    176         0x2758: 0x2223,
    177         0x203E: 0x00AF
    178       },
    179 
    180       REMAPACCENT: {
    181         "\u007E": "\u0303",
    182         "\u2192": "\u20D7",
    183         "\u0060": "\u0300",
    184         "\u005E": "\u0302",
    185         "\u00B4": "\u0301",
    186         "\u2032": "\u0301",
    187         "\u2035": "\u0300"
    188       },
    189 
    190       REMAPACCENTUNDER: {
    191       },
    192 
    193       DELIMITERS: {
    194         0x28:
    195         {
    196           dir: V,
    197           HW: [[0.925,MAIN], [1.198,SIZE1], [1.798,SIZE2], [1.961,SIZE2,1.091], [2.398,SIZE3], [2.998,SIZE4]],
    198           stretch: {bot:[0x239D,SYMBOLS], ext:[0x239C,SYMBOLS], top:[0x239B,SYMBOLS]}
    199         },
    200         0x29:
    201         {
    202           dir: V,
    203           HW: [[0.925,MAIN], [1.198,SIZE1], [1.798,SIZE2], [1.961,SIZE2,1.091], [2.398,SIZE3], [2.998,SIZE4]],
    204           stretch: {bot:[0x23A0,SYMBOLS], ext:[0x239F,SYMBOLS], top:[0x239E,SYMBOLS]}
    205         },
    206         0x2D: {alias: 0xAF, dir: H},
    207         0x2F:
    208         {
    209           dir: V,
    210           HW: [[0.912,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]]
    211         },
    212         0x3D:
    213         {
    214           dir: H,
    215           HW: [[0.668,MAIN]],
    216           stretch: {rep:[0x3D,MAIN]}
    217         },
    218         0x5B:
    219         {
    220           dir: V,
    221           HW: [[0.866,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]],
    222           stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]}
    223         },
    224         0x5C:
    225         {
    226           dir: V,
    227           HW: [[0.914,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]]
    228         },
    229         0x5D:
    230         {
    231           dir: V,
    232           HW: [[0.866,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]],
    233           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]}
    234         },
    235         0x5F: {alias: 0xAF, dir: H},
    236         0x7B:
    237         {
    238           dir: V,
    239           HW: [[0.908,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]],
    240           stretch: {bot:[0x23A9,SYMBOLS], ext:[0x23AA,SYMBOLS], mid:[0x23A8,SYMBOLS], top:[0x23A7,SYMBOLS]}
    241         },
    242         0x7C:
    243         {
    244           dir: V,
    245           HW: [[0.905,MAIN], [1.505,SIZE1], [2.105,SIZE2], [2.706,SIZE3], [3.306,SIZE4]],
    246           stretch: {bot:[0xE000,SIZE5], ext:[0xE001,SIZE5]}
    247         },
    248         0x7D:
    249         {
    250           dir: V,
    251           HW: [[0.908,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]],
    252           stretch: {bot:[0x23AD,SYMBOLS], ext:[0x23AA,SYMBOLS], mid:[0x23AC,SYMBOLS], top:[0x23AB,SYMBOLS]}
    253         },
    254         0xAF:
    255         {
    256           dir: H,
    257           HW: [[0.312,MAIN]],
    258           stretch: {rep:[0xAF,MAIN]}
    259         },
    260         0xC9: {alias: 0xAF, dir: H},
    261         0x332: {alias: 0xAF, dir: H},
    262         0x2015: {alias: 0xAF, dir: H},
    263         0x2016:
    264         {
    265           dir: V,
    266           HW: [[0.905,MAIN], [1.505,SIZE1], [2.105,SIZE2], [2.706,SIZE3], [3.306,SIZE4]],
    267           stretch: {bot:[0xE002,SIZE5], ext:[0xE003,SIZE5]}
    268         },
    269         0x2017: {alias: 0xAF, dir: H},
    270         0x203E: {alias: 0xAF, dir: H},
    271         0x2044: EXTRAV,
    272         0x20D6:
    273         {
    274           dir: H,
    275           HW: [[0.418,MARKS]],
    276           stretch: {left:[0x20D6,MARKS], rep:[0xE004,SIZE5]}
    277         },
    278         0x20D7:
    279         {
    280           dir: H,
    281           HW: [[0.418,MAIN]],
    282           stretch: {rep:[0xE004,SIZE5], right:[0x20D7,MAIN]}
    283         },
    284         0x20E1: EXTRAH,
    285         0x20EE: EXTRAH,
    286         0x20EF: EXTRAH,
    287         0x2190: {alias: 0x20D6, dir: H},
    288         0x2191:
    289         {
    290           dir: V,
    291           HW: [[0.887,MAIN]],
    292           stretch: {top:[0x2191,MAIN], ext:[0x7C,MAIN]}
    293         },
    294         0x2192: {alias: 0x20D7, dir: H},
    295         0x2193:
    296         {
    297           dir: V,
    298           HW: [[0.867,MAIN]],
    299           stretch: {ext:[0x7C,MAIN], bot:[0x2193,MAIN]}
    300         },
    301         0x2194: {alias: 0x20E1, dir: H},
    302         0x2195:
    303         {
    304           dir: V,
    305           HW: [[1.042,MAIN]],
    306           stretch: {top:[0x2191,MAIN], ext:[0x7C,MAIN], bot:[0x2193,MAIN]}
    307         },
    308         0x21D0:
    309         {
    310           dir: H,
    311           HW: [[0.867,MAIN], [1.567,SIZE1]]
    312         },
    313         0x21D1:
    314         {
    315           dir: H,
    316           HW: [[0.640,MAIN]],
    317           stretch: {top:[0x21D1,MAIN], ext:[0x2016,MAIN]}
    318         },
    319         0x21D2:
    320         {
    321           dir: H,
    322           HW: [[0.867,MAIN], [1.567,SIZE1]]
    323         },
    324         0x21D3:
    325         {
    326           dir: H,
    327           HW: [[0.640,MAIN]],
    328           stretch: {ext:[0x2016,MAIN], bot:[0x21D3,MAIN]}
    329         },
    330         0x21D4:
    331         {
    332           dir: H,
    333           HW: [[0.867,MAIN,null,0x21D0], [1.632,SIZE1]]
    334         },
    335         0x21D5:
    336         {
    337           dir: H,
    338           HW: [[0.640,MAIN]],
    339           stretch: {top:[0x21D1,MAIN], ext:[0x2016,MAIN], bot:[0x21D3,MAIN]}
    340         },
    341         0x220F: EXTRAV,
    342         0x2210: EXTRAV,
    343         0x2211: EXTRAV,
    344         0x2212: {alias: 0xAF, dir: H},
    345         0x2215:
    346         {
    347           dir: V,
    348           HW: [[0.912,MAIN], [1.199,SIZE1], [1.799,SIZE2], [2.399,SIZE3], [2.999,SIZE4]]
    349         },
    350         0x221A:
    351         {
    352           dir: V,
    353           HW: [[0.989,MAIN], [1.209,SIZE1], [1.801,SIZE2], [2.403,SIZE3], [3.003,SIZE4]],
    354           stretch: {bot:[0xE006,SIZE5], ext:[0xE007,SIZE5], top:[0xE008,SIZE5]}
    355         },
    356         0x2223:
    357         {
    358           dir: V,
    359           HW: [[0.795,MAIN], [1.505,SIZE1], [2.105,SIZE2], [2.706,SIZE3], [3.306,SIZE4]]
    360         },
    361         0x2225:
    362         {
    363           dir: V,
    364           HW: [[0.905,MAIN], [0.905,SIZE1], [1.505,SIZE2], [2.105,SIZE3], [2.706,SIZE4], [3.306,SIZE5]],
    365           stretch: {bot:[0xE002,SIZE5], ext:[0xE003,SIZE5]}
    366         },
    367         0x2227: EXTRAV,
    368         0x2228: EXTRAV,
    369         0x2229: EXTRAV,
    370         0x222A: EXTRAV,
    371         0x222B: EXTRAV,
    372         0x222C: EXTRAV,
    373         0x222D: EXTRAV,
    374         0x222E: EXTRAV,
    375         0x228E: EXTRAV,
    376         0x22C0: EXTRAV,
    377         0x22C1: EXTRAV,
    378         0x22C2: EXTRAV,
    379         0x22C3: EXTRAV,
    380         0x2308:
    381         {
    382           dir: V,
    383           HW: [[0.980,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]],
    384           stretch: {ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]}
    385         },
    386         0x2309:
    387         {
    388           dir: V,
    389           HW: [[0.980,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]],
    390           stretch: {ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]}
    391         },
    392         0x230A:
    393         {
    394           dir: V,
    395           HW: [[0.980,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]],
    396           stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS]}
    397         },
    398         0x230B:
    399         {
    400           dir: V,
    401           HW: [[0.980,MAIN], [1.199,SIZE1], [1.799,SIZE2], [1.961,SIZE2,1.090], [2.399,SIZE3], [2.999,SIZE4]],
    402           stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
    403         },
    404         0x2312: {alias: 0x23DC, dir:H},
    405         0x2322: {alias: 0x23DC, dir:H},
    406         0x2323: {alias: 0x23DD, dir:H},
    407         0x2329:
    408         {
    409           dir: V,
    410           HW: [[0.974,SYMBOLS], [1.176,SIZE1], [1.770,SIZE2], [2.366,SIZE3], [2.958,SIZE4]]
    411         },
    412         0x232A:
    413         {
    414           dir: V,
    415           HW: [[0.974,SYMBOLS], [1.176,SIZE1], [1.770,SIZE2], [2.366,SIZE3], [2.958,SIZE4]]
    416         },
    417         0x23AA:
    418         {
    419           dir: V,
    420           HW: [[0.320,SYMBOLS]],
    421           stretch: {ext:[0x23AA,SYMBOLS]}
    422         },
    423         0x23AF: {alias: 0xAF, dir: H},
    424         0x23B0:
    425         {
    426           dir: V,
    427           HW: [[0.909,SYMBOLS,null,0x23A7]],
    428           stretch: {top:[0x23A7,SYMBOLS], ext:[0x23AA,SYMBOLS], bot:[0x23AD,SYMBOLS]}
    429         },
    430         0x23B1:
    431         {
    432           dir: V,
    433           HW: [[0.909,SYMBOLS,null,0x23AB]],
    434           stretch: {top:[0x23AB,SYMBOLS], ext:[0x23AA,SYMBOLS], bot:[0x23A9,SYMBOLS]}
    435         },
    436         0x23D0:
    437         {
    438           dir: V,
    439           HW: [[0.905,MAIN,null,0x7C], [1.150,MAIN,1.271,0x7C], [1.556,MAIN,1.719,0x7C], [1.961,MAIN,2.167,0x7C], [2.367,MAIN,2.615,0x7C]],
    440           stretch: {ext:[0x7C,MAIN]}
    441         },
    442         0x23DC: EXTRAH,
    443         0x23DD: EXTRAH,
    444         0x23DE:
    445         {
    446           dir: H,
    447           HW: [[0.908,MAIN], [1.199,SIZE1], [1.799,SIZE2], [2.399,SIZE3], [2.999,SIZE4]],
    448           stretch: {left:[0xE00F,SIZE5], rep:[0xE010,SIZE5], mid:[0xE011,SIZE5], right:[0xE012,SIZE5]}
    449         },
    450         0x23DF:
    451         {
    452           dir: H,
    453           HW: [[0.908,MAIN], [1.199,SIZE1], [1.799,SIZE2], [2.399,SIZE3], [2.999,SIZE4]],
    454           stretch: {left:[0xE013,SIZE5], rep:[0xE014,SIZE5], mid:[0xE015,SIZE5], right:[0xE016,SIZE5]}
    455         },
    456         0x2500: {alias: 0xAF, dir: H},
    457         0x2758: {alias: 0x23D0, dir: V},
    458         0x27E8:
    459         {
    460           dir: V,
    461           HW: [[0.974,MAIN], [0.974,SIZE1], [1.176,SIZE2], [1.770,SIZE3], [2.366,SIZE4], [2.958,SIZE5]]
    462         },
    463         0x27E9:
    464         {
    465           dir: V,
    466           HW: [[0.974,MAIN], [0.974,SIZE1], [1.176,SIZE2], [1.770,SIZE3], [2.366,SIZE4], [2.958,SIZE5]]
    467         },
    468         0x27EE: {alias: 0x28, dir: V},
    469         0x27EF: {alias: 0x29, dir: V},
    470         0x27F5: {alias: 0x20D6, dir: H},
    471         0x27F6: {alias: 0x20D7, dir: H},
    472         0x27F7: {alias: 0x20E1, dir: H},
    473         0x27F8: {alias: 0x21D0, dir: H},
    474         0x27F9: {alias: 0x21D2, dir: H},
    475         0x27FA: {alias: 0x21D4, dir: H},
    476         0x27FB: {alias: 0x20D6, dir: H},
    477         0x27FC: {alias: 0x20D7, dir: H},
    478         0x27FD: {alias: 0x21D0, dir: H},
    479         0x27FE: {alias: 0x21D2, dir: H},
    480         0x2A0C: EXTRAV,
    481         0x3008: {alias: 0x27E8, dir: V},
    482         0x3009: {alias: 0x27E9, dir: V},
    483         0xFE37: {alias: 0x23DE, dir: H},
    484         0xFE38: {alias: 0x23DF, dir: H}
    485       }
    486 
    487     }
    488   });
    489   MathJax.Hub.Register.LoadHook(HTMLCSS.fontDir+"/Size5/Regular/Main.js",function () {
    490     var u;
    491     u = HTMLCSS.FONTDATA.DELIMITERS[0x23DE].stretch.rep[0];
    492     HTMLCSS.FONTDATA.FONTS[SIZE5][u][0] += 200;  // adjust height for brace extender
    493     HTMLCSS.FONTDATA.FONTS[SIZE5][u][1] += 200;  // adjust depth for brace extender
    494     u = HTMLCSS.FONTDATA.DELIMITERS[0x23DF].stretch.rep[0];
    495     HTMLCSS.FONTDATA.FONTS[SIZE5][u][0] += 200;  // adjust height for brace extender
    496     HTMLCSS.FONTDATA.FONTS[SIZE5][u][1] += 200;  // adjust depth for brace extender
    497   });
    498   AJAX.loadComplete(HTMLCSS.fontDir + "/fontdata.js");
    499 
    500 })(MathJax.OutputJax["HTML-CSS"],MathJax.ElementJax.mml,MathJax.Ajax);