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