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