fontdata.js (26402B)
1 /************************************************************* 2 * 3 * MathJax/jax/output/HTML-CSS/fonts/Latin-Modern/fontdata.js 4 * 5 * Initializes the HTML-CSS OutputJax to use the Latin-Modern 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 = "LatinModernMathJax_Alphabets", 27 ARROWS = "LatinModernMathJax_Arrows", 28 DOUBLESTRUCK = "LatinModernMathJax_DoubleStruck", 29 FRAKTUR = "LatinModernMathJax_Fraktur", 30 LATIN = "LatinModernMathJax_Latin", 31 MAIN = "LatinModernMathJax_Main", 32 MARKS = "LatinModernMathJax_Marks", 33 MISC = "LatinModernMathJax_Misc", 34 MONOSPACE = "LatinModernMathJax_Monospace", 35 NONUNICODE = "LatinModernMathJax_NonUnicode", 36 NORMAL = "LatinModernMathJax_Normal", 37 OPERATORS = "LatinModernMathJax_Operators", 38 SANSSERIF = "LatinModernMathJax_SansSerif", 39 SCRIPT = "LatinModernMathJax_Script", 40 SHAPES = "LatinModernMathJax_Shapes", 41 SIZE1 = "LatinModernMathJax_Size1", 42 SIZE2 = "LatinModernMathJax_Size2", 43 SIZE3 = "LatinModernMathJax_Size3", 44 SIZE4 = "LatinModernMathJax_Size4", 45 SIZE5 = "LatinModernMathJax_Size5", 46 SIZE6 = "LatinModernMathJax_Size6", 47 SIZE7 = "LatinModernMathJax_Size7", 48 SYMBOLS = "LatinModernMathJax_Symbols", 49 VARIANTS = "LatinModernMathJax_Variants"; 50 51 var H = "H", V = "V", EXTRAH = {load:"extra", dir:H}, EXTRAV = {load:"extra", dir:V}; 52 53 HTMLCSS.Augment({ 54 FONTDATA: { 55 version: VERSION, 56 57 58 TeX_factor: 1.091, 59 baselineskip: 1.200, 60 lineH: 0.800, lineD: 0.200, 61 62 hasStyleChar: true, // char 0xEFFD encodes font style 63 64 FONTS: { 65 "LatinModernMathJax_Alphabets": "Alphabets/Regular/Main.js", 66 "LatinModernMathJax_Arrows": "Arrows/Regular/Main.js", 67 "LatinModernMathJax_DoubleStruck": "DoubleStruck/Regular/Main.js", 68 "LatinModernMathJax_Fraktur": "Fraktur/Regular/Main.js", 69 "LatinModernMathJax_Latin": "Latin/Regular/Main.js", 70 "LatinModernMathJax_Main": "Main/Regular/Main.js", 71 "LatinModernMathJax_Marks": "Marks/Regular/Main.js", 72 "LatinModernMathJax_Misc": "Misc/Regular/Main.js", 73 "LatinModernMathJax_Monospace": "Monospace/Regular/Main.js", 74 "LatinModernMathJax_NonUnicode": "NonUnicode/Regular/Main.js", 75 "LatinModernMathJax_Normal": "Normal/Regular/Main.js", 76 "LatinModernMathJax_Operators": "Operators/Regular/Main.js", 77 "LatinModernMathJax_SansSerif": "SansSerif/Regular/Main.js", 78 "LatinModernMathJax_Script": "Script/Regular/Main.js", 79 "LatinModernMathJax_Shapes": "Shapes/Regular/Main.js", 80 "LatinModernMathJax_Size1": "Size1/Regular/Main.js", 81 "LatinModernMathJax_Size2": "Size2/Regular/Main.js", 82 "LatinModernMathJax_Size3": "Size3/Regular/Main.js", 83 "LatinModernMathJax_Size4": "Size4/Regular/Main.js", 84 "LatinModernMathJax_Size5": "Size5/Regular/Main.js", 85 "LatinModernMathJax_Size6": "Size6/Regular/Main.js", 86 "LatinModernMathJax_Size7": "Size7/Regular/Main.js", 87 "LatinModernMathJax_Symbols": "Symbols/Regular/Main.js", 88 "LatinModernMathJax_Variants": "Variants/Regular/Main.js" 89 }, 90 91 VARIANT: { 92 "normal": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1]}, 93 "bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], bold:true 94 , offsetA: 0x1D400, offsetG: 0x1D6A8, offsetN: 0x1D7CE}, 95 "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}}, 96 "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}, 97 "double-struck": { 98 fonts: [DOUBLESTRUCK], 99 offsetA: 0x1D538, 100 offsetN: 0x1D7D8, 101 remap: {0x1D53A: 0x2102, 0x1D53F: 0x210D, 0x1D545: 0x2115, 0x1D547: 0x2119, 0x1D548: 0x211A, 0x1D549: 0x211D, 0x1D551: 0x2124} 102 }, 103 "fraktur": { 104 fonts: [FRAKTUR], 105 offsetA: 0x1D504, 106 remap: {0x1D506: 0x212D, 0x1D50B: 0x210C, 0x1D50C: 0x2111, 0x1D515: 0x211C, 0x1D51D: 0x2128} 107 }, 108 "bold-fraktur": { 109 fonts: [FRAKTUR], bold:true, 110 offsetA: 0x1D56C 111 }, 112 "script": { 113 fonts: [SCRIPT], italic:true, 114 offsetA: 0x1D49C, 115 remap: {0x1D49D: 0x212C, 0x1D4A0: 0x2130, 0x1D4A1: 0x2131, 0x1D4A3: 0x210B, 0x1D4A4: 0x2110, 0x1D4A7: 0x2112, 0x1D4A8: 0x2133, 0x1D4AD: 0x211B, 0x1D4BA: 0x212F, 0x1D4BC: 0x210A, 0x1D4C4: 0x2134} 116 }, 117 "bold-script": { 118 fonts: [SCRIPT], bold:true, italic:true, 119 offsetA: 0x1D4D0 120 }, 121 "sans-serif": { 122 fonts: [SANSSERIF], 123 offsetA: 0x1D5A0, 124 offsetN: 0x1D7E2 125 }, 126 "bold-sans-serif": { 127 fonts: [SANSSERIF], bold:true, 128 offsetA: 0x1D5D4, 129 offsetN: 0x1D7EC, 130 offsetG: 0x1D756 131 }, 132 "sans-serif-italic": { 133 fonts: [SANSSERIF], italic: true, 134 offsetA: 0x1D608 135 }, 136 "sans-serif-bold-italic": { 137 fonts: [SANSSERIF], bold:true, italic: true, 138 offsetA: 0x1D63C, 139 offsetG: 0x1D790 140 }, 141 "monospace": { 142 fonts: [MONOSPACE], 143 offsetA: 0x1D670, 144 offsetN: 0x1D7F6 145 }, 146 "-Latin-Modern-variant": {fonts: [VARIANTS,MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,NONUNICODE,SIZE1]}, 147 "-tex-caligraphic": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic: true}, 148 "-tex-oldstyle": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1]}, 149 "-tex-caligraphic-bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic: true, bold: true}, 150 "-tex-oldstyle-bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], bold: true}, 151 "-tex-mathit": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic:true, noIC:true}, 152 "-largeOp": {fonts:[SIZE1,MAIN]}, 153 "-smallOp": {} 154 }, 155 156 RANGES: [ 157 {name: "alpha", low: 0x61, high: 0x7A, offset: "A", add: 26}, 158 {name: "Alpha", low: 0x41, high: 0x5A, offset: "A"}, 159 {name: "number", low: 0x30, high: 0x39, offset: "N"}, 160 {name: "greek", low: 0x03B1, high: 0x03C9, offset: "G", add: 26}, 161 {name: "Greek", low: 0x0391, high: 0x03F6, offset: "G", 162 remap: {0x03F5: 52, 0x03D1: 53, 0x03F0: 54, 0x03D5: 55, 0x03F1: 56, 0x03D6: 57, 0x03F4: 17}} 163 ], 164 165 RULECHAR: 0x0305, 166 167 REMAP: { 168 0x25C2: 0x25C0, 169 0x3008: 0x27E8, 170 0x3009: 0x27E9, 171 0x2758: 0x2223, 172 0x25B8: 0x25B6, 173 0x03D2: 0x03A5, 174 0x25B4: 0x25B2, 175 0x25B5: 0x25B3, 176 0xFE37: 0x23DE, 177 0xFE38: 0x23DF, 178 0x02B9: 0x2032, 179 0x25FB: 0x25A1, 180 0x25FC: 0x25A0, 181 0x25BE: 0x25BC, 182 0x203E: 0x0305, 183 0x25BF: 0x25BD 184 }, 185 186 REMAPACCENT: { 187 "\u007E": "\u0303", 188 "\u2192": "\u20D7", 189 "\u0060": "\u0300", 190 "\u005E": "\u0302", 191 "\u00B4": "\u0301", 192 "\u2032": "\u0301", 193 "\u2035": "\u0300" 194 }, 195 196 REMAPACCENTUNDER: { 197 }, 198 199 DELIMITERS: { 200 0x28: 201 { 202 dir: V, 203 HW: [[0.996,MAIN], [1.094,SIZE1], [1.194,SIZE2], [1.444,SIZE3], [1.792,SIZE4], [2.092,SIZE5], [2.392,SIZE6], [2.990,SIZE7]], 204 stretch: {bot:[0x239D,SYMBOLS], ext:[0x239C,SYMBOLS], top:[0x239B,SYMBOLS]} 205 }, 206 0x29: 207 { 208 dir: V, 209 HW: [[0.996,MAIN], [1.094,SIZE1], [1.194,SIZE2], [1.444,SIZE3], [1.792,SIZE4], [2.092,SIZE5], [2.392,SIZE6], [2.990,SIZE7]], 210 stretch: {bot:[0x23A0,SYMBOLS], ext:[0x239F,SYMBOLS], top:[0x239E,SYMBOLS]} 211 }, 212 0x2D: {alias: 0x305, dir: H}, 213 0x2F: 214 { 215 dir: V, 216 HW: [[1.000,MAIN], [1.310,SIZE1], [1.716,SIZE2], [1.771,SIZE2,1.032], [2.248,SIZE3], [2.944,SIZE4], [3.858,SIZE5], [5.054,SIZE6], [6.620,SIZE7]] 217 }, 218 0x3D: 219 { 220 dir: H, 221 HW: [[0.666,MAIN]], 222 stretch: {left:[0xE000,SIZE7], rep:[0xE001,SIZE7], right:[0xE002,SIZE7]} 223 }, 224 0x5B: 225 { 226 dir: V, 227 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]], 228 stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]} 229 }, 230 0x5C: 231 { 232 dir: V, 233 HW: [[1.000,MAIN], [1.310,SIZE1], [1.716,SIZE2], [1.771,SIZE2,1.032], [2.248,SIZE3], [2.944,SIZE4], [3.858,SIZE5], [5.054,SIZE6], [6.620,SIZE7]] 234 }, 235 0x5D: 236 { 237 dir: V, 238 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]], 239 stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]} 240 }, 241 0x5E: {alias: 0x302, dir: H}, 242 0x5F: {alias: 0x332, dir: H}, 243 0x7B: 244 { 245 dir: V, 246 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]], 247 stretch: {bot:[0x23A9,SYMBOLS], ext:[0xE003,SIZE7], mid:[0x23A8,SYMBOLS], top:[0x23A7,SYMBOLS]} 248 }, 249 0x7C: 250 { 251 dir: V, 252 HW: [[1.000,MAIN], [1.202,SIZE1], [1.444,SIZE2], [1.734,SIZE3], [2.084,SIZE4], [2.502,SIZE5], [3.004,SIZE6], [3.606,SIZE7]], 253 stretch: {bot:[0xE004,SIZE7], ext:[0xE005,SIZE7], top:[0xE006,SIZE7]} 254 }, 255 0x7D: 256 { 257 dir: V, 258 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]], 259 stretch: {bot:[0x23AD,SYMBOLS], ext:[0xE007,SIZE7], mid:[0x23AC,SYMBOLS], top:[0x23AB,SYMBOLS]} 260 }, 261 0x7E: {alias: 0x303, dir: H}, 262 0xAF: {alias: 0x332, dir: H}, 263 0x2C6: {alias: 0x302, dir: H}, 264 0x2C9: {alias: 0x305, dir: H}, 265 0x2DC: {alias: 0x303, dir: H}, 266 0x302: 267 { 268 dir: H, 269 HW: [[0.364,MAIN], [0.644,SIZE1], [0.768,SIZE2], [0.919,SIZE3], [1.100,SIZE4], [1.320,SIZE5], [1.581,SIZE6], [1.896,SIZE7]] 270 }, 271 0x303: 272 { 273 dir: H, 274 HW: [[0.370,MAIN], [0.652,SIZE1], [0.778,SIZE2], [0.931,SIZE3], [1.115,SIZE4], [1.335,SIZE5], [1.599,SIZE6], [1.915,SIZE7]] 275 }, 276 0x305: 277 { 278 dir: H, 279 HW: [[0.392,MARKS], [0.568,SIZE1]], 280 stretch: {left:[0xE0FB,SIZE7], rep:[0xE0FC,SIZE7], right:[0xE0FD,SIZE7]} 281 }, 282 0x306: EXTRAH, 283 0x30C: 284 { 285 dir: H, 286 HW: [[0.364,MAIN], [0.644,SIZE1], [0.768,SIZE2], [0.919,SIZE3], [1.100,SIZE4], [1.320,SIZE5], [1.581,SIZE6], [1.896,SIZE7]] 287 }, 288 0x311: EXTRAH, 289 0x32C: EXTRAH, 290 0x32D: EXTRAH, 291 0x32E: EXTRAH, 292 0x32F: EXTRAH, 293 0x330: EXTRAH, 294 0x332: 295 { 296 dir: H, 297 HW: [[0.392,MARKS], [0.568,SIZE1]], 298 stretch: {left:[0xE0F5,SIZE7], rep:[0xE0F6,SIZE7], right:[0xE0F7,SIZE7]} 299 }, 300 0x333: EXTRAH, 301 0x33F: EXTRAH, 302 0x2015: {alias: 0x305, dir: H}, 303 0x2016: 304 { 305 dir: V, 306 HW: [[1.000,MAIN], [1.202,SIZE1], [1.444,SIZE2], [1.734,SIZE3], [2.084,SIZE4], [2.502,SIZE5], [3.004,SIZE6], [3.606,SIZE7]], 307 stretch: {bot:[0xE12A,SIZE7], ext:[0xE12B,SIZE7], top:[0xE12C,SIZE7]} 308 }, 309 0x2017: {alias: 0x305, dir: H}, 310 0x203E: {alias: 0x305, dir: H}, 311 0x2044: 312 { 313 dir: V, 314 HW: [[1.000,MAIN], [1.310,SIZE1], [1.716,SIZE2], [2.248,SIZE3], [2.944,SIZE4], [3.858,SIZE5], [5.054,SIZE6], [6.620,SIZE7]] 315 }, 316 0x20D0: EXTRAH, 317 0x20D1: EXTRAH, 318 0x20D6: EXTRAH, 319 0x20D7: EXTRAH, 320 0x20E1: EXTRAH, 321 0x20E9: EXTRAH, 322 0x20EC: EXTRAH, 323 0x20ED: EXTRAH, 324 0x20EE: EXTRAH, 325 0x20EF: EXTRAH, 326 0x2190: 327 { 328 dir: H, 329 HW: [[0.885,MAIN], [1.351,SIZE1]], 330 stretch: {left:[0xE023,SIZE7], rep:[0xE024,SIZE7], right:[0xE025,SIZE7]} 331 }, 332 0x2191: 333 { 334 dir: V, 335 HW: [[0.882,MAIN], [1.348,SIZE1]], 336 stretch: {bot:[0xE029,SIZE7], ext:[0xE02A,SIZE7], top:[0xE02B,SIZE7]} 337 }, 338 0x2192: 339 { 340 dir: H, 341 HW: [[0.885,MAIN], [1.351,SIZE1]], 342 stretch: {left:[0xE026,SIZE7], rep:[0xE027,SIZE7], right:[0xE028,SIZE7]} 343 }, 344 0x2193: 345 { 346 dir: V, 347 HW: [[0.882,MAIN], [1.348,SIZE1]], 348 stretch: {bot:[0xE02C,SIZE7], ext:[0xE02D,SIZE7], top:[0xE02E,SIZE7]} 349 }, 350 0x2194: 351 { 352 dir: H, 353 HW: [[0.884,MAIN], [1.330,SIZE1]], 354 stretch: {left:[0xE037,SIZE7], rep:[0xE038,SIZE7], right:[0xE039,SIZE7]} 355 }, 356 0x2195: 357 { 358 dir: V, 359 HW: [[1.014,MAIN], [1.014,SIZE1]], 360 stretch: {bot:[0xE03A,SIZE7], ext:[0xE03B,SIZE7], top:[0xE03C,SIZE7]} 361 }, 362 0x2196: EXTRAV, 363 0x2197: EXTRAV, 364 0x2198: EXTRAV, 365 0x2199: EXTRAV, 366 0x219A: EXTRAH, 367 0x219B: EXTRAH, 368 0x219E: EXTRAH, 369 0x219F: EXTRAV, 370 0x21A0: EXTRAH, 371 0x21A1: EXTRAV, 372 0x21A2: EXTRAH, 373 0x21A3: EXTRAH, 374 0x21A4: 375 { 376 dir: H, 377 HW: [[0.865,ARROWS], [1.331,SIZE1]], 378 stretch: {left:[0xE053,SIZE7], rep:[0xE054,SIZE7], right:[0xE055,SIZE7]} 379 }, 380 0x21A5: EXTRAV, 381 0x21A6: 382 { 383 dir: H, 384 HW: [[0.865,MAIN], [1.331,SIZE1]], 385 stretch: {left:[0xE056,SIZE7], rep:[0xE057,SIZE7], right:[0xE058,SIZE7]} 386 }, 387 0x21A7: EXTRAV, 388 0x21A9: EXTRAH, 389 0x21AA: EXTRAH, 390 0x21AB: EXTRAH, 391 0x21AC: EXTRAH, 392 0x21AD: EXTRAH, 393 0x21AE: EXTRAH, 394 0x21B0: EXTRAV, 395 0x21B1: EXTRAV, 396 0x21B2: EXTRAV, 397 0x21B3: EXTRAV, 398 0x21B6: EXTRAH, 399 0x21B7: EXTRAH, 400 0x21BC: EXTRAH, 401 0x21BD: EXTRAH, 402 0x21BE: EXTRAV, 403 0x21BF: EXTRAV, 404 0x21C0: EXTRAH, 405 0x21C1: EXTRAH, 406 0x21C2: EXTRAV, 407 0x21C3: EXTRAV, 408 0x21C4: EXTRAH, 409 0x21C5: EXTRAV, 410 0x21C6: EXTRAH, 411 0x21C7: EXTRAH, 412 0x21C8: EXTRAV, 413 0x21C9: EXTRAH, 414 0x21CA: EXTRAV, 415 0x21CB: EXTRAH, 416 0x21CC: EXTRAH, 417 0x21CD: EXTRAH, 418 0x21CE: EXTRAH, 419 0x21CF: EXTRAH, 420 0x21D0: 421 { 422 dir: H, 423 HW: [[0.879,MAIN], [1.345,SIZE1]], 424 stretch: {left:[0xE0A7,SIZE7], rep:[0xE0A8,SIZE7], right:[0xE0A9,SIZE7]} 425 }, 426 0x21D1: 427 { 428 dir: V, 429 HW: [[0.879,MAIN], [1.345,SIZE1]], 430 stretch: {bot:[0xE0AD,SIZE7], ext:[0xE0AE,SIZE7], top:[0xE0AF,SIZE7]} 431 }, 432 0x21D2: 433 { 434 dir: H, 435 HW: [[0.879,MAIN], [1.345,SIZE1]], 436 stretch: {left:[0xE0AA,SIZE7], rep:[0xE0AB,SIZE7], right:[0xE0AC,SIZE7]} 437 }, 438 0x21D3: 439 { 440 dir: V, 441 HW: [[0.879,MAIN], [1.345,SIZE1]], 442 stretch: {bot:[0xE0B0,SIZE7], ext:[0xE0B1,SIZE7], top:[0xE0B2,SIZE7]} 443 }, 444 0x21D4: 445 { 446 dir: H, 447 HW: [[0.956,MAIN], [1.422,SIZE1]], 448 stretch: {left:[0xE0B3,SIZE7], rep:[0xE0B4,SIZE7], right:[0xE0B5,SIZE7]} 449 }, 450 0x21D5: 451 { 452 dir: V, 453 HW: [[0.956,MAIN], [1.422,SIZE1]], 454 stretch: {bot:[0xE0B6,SIZE7], ext:[0xE0B7,SIZE7], top:[0xE0B8,SIZE7]} 455 }, 456 0x21D6: EXTRAV, 457 0x21D7: EXTRAV, 458 0x21D8: EXTRAV, 459 0x21D9: EXTRAV, 460 0x21DA: EXTRAH, 461 0x21DB: EXTRAH, 462 0x21DC: EXTRAH, 463 0x21DD: EXTRAH, 464 0x21E6: EXTRAH, 465 0x21E7: EXTRAV, 466 0x21E8: EXTRAH, 467 0x21E9: EXTRAV, 468 0x21F3: EXTRAV, 469 0x21F5: EXTRAV, 470 0x21F6: EXTRAH, 471 0x220F: EXTRAV, 472 0x2210: EXTRAV, 473 0x2211: EXTRAV, 474 0x2212: 475 { 476 dir: H, 477 HW: [[0.666,MAIN]], 478 stretch: {left:[0xE127,SIZE7], rep:[0xE128,SIZE7], right:[0xE129,SIZE7]} 479 }, 480 0x2215: {alias: 0x2044, dir: V}, 481 0x221A: 482 { 483 dir: V, 484 HW: [[1.000,MAIN], [1.200,SIZE1], [1.800,SIZE2], [2.400,SIZE3], [3.000,SIZE4]], 485 stretch: {bot:[0x23B7,SYMBOLS], ext:[0xE133,SIZE7], top:[0xE134,SIZE7]} 486 }, 487 0x2223: 488 { 489 dir: V, 490 HW: [[1.000,MAIN], [1.202,SIZE1], [1.444,SIZE2], [1.734,SIZE3], [2.084,SIZE4], [2.502,SIZE5], [3.004,SIZE6], [3.606,SIZE7]], 491 stretch: {bot:[0xE004,SIZE7], ext:[0xE005,SIZE7], top:[0xE006,SIZE7]} 492 }, 493 0x2225: 494 { 495 dir: V, 496 HW: [[1.000,MAIN], [1.202,SIZE1], [1.444,SIZE2], [1.734,SIZE3], [2.084,SIZE4], [2.502,SIZE5], [3.004,SIZE6], [3.606,SIZE7]], 497 stretch: {bot:[0xE12A,SIZE7], ext:[0xE12B,SIZE7], top:[0xE12C,SIZE7]} 498 }, 499 0x222B: EXTRAV, 500 0x222C: EXTRAV, 501 0x222D: EXTRAV, 502 0x222E: EXTRAV, 503 0x222F: EXTRAV, 504 0x2230: EXTRAV, 505 0x2231: EXTRAV, 506 0x2232: EXTRAV, 507 0x2233: EXTRAV, 508 0x2261: EXTRAH, 509 0x2263: EXTRAH, 510 0x22A2: EXTRAV, 511 0x22A3: EXTRAV, 512 0x22A4: EXTRAV, 513 0x22A5: EXTRAV, 514 0x22C0: EXTRAV, 515 0x22C1: EXTRAV, 516 0x22C2: EXTRAV, 517 0x22C3: EXTRAV, 518 0x2308: 519 { 520 dir: V, 521 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]], 522 stretch: {ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]} 523 }, 524 0x2309: 525 { 526 dir: V, 527 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]], 528 stretch: {ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]} 529 }, 530 0x230A: 531 { 532 dir: V, 533 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]], 534 stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS]} 535 }, 536 0x230B: 537 { 538 dir: V, 539 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]], 540 stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]} 541 }, 542 0x2312: {alias: 0x23DC, dir:H}, 543 0x2322: {alias: 0x23DC, dir:H}, 544 0x2323: {alias: 0x23DD, dir:H}, 545 0x2329: 546 { 547 dir: V, 548 HW: [[1.000,SYMBOLS], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]] 549 }, 550 0x232A: 551 { 552 dir: V, 553 HW: [[1.000,SYMBOLS], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]] 554 }, 555 0x23AA: 556 { 557 dir: V, 558 HW: [[0.748,SYMBOLS]], 559 stretch: {ext:[0x23AA,SYMBOLS]} 560 }, 561 0x23AF: {alias: 0x305, dir: H}, 562 0x23B0: 563 { 564 dir: V, 565 HW: [[0.750,SYMBOLS,null,0x23A7]], 566 stretch: {top:[0x23A7,SYMBOLS], ext:[0x23AA,SYMBOLS], bot:[0x23AD,SYMBOLS]} 567 }, 568 0x23B1: 569 { 570 dir: V, 571 HW: [[0.750,SYMBOLS,null,0x23AB]], 572 stretch: {top:[0x23AB,SYMBOLS], ext:[0x23AA,SYMBOLS], bot:[0x23A9,SYMBOLS]} 573 }, 574 0x23B4: EXTRAH, 575 0x23B5: EXTRAH, 576 0x23D0: 577 { 578 dir: V, 579 HW: [[1.000,MAIN,null,0x7C], [1.309,MAIN,1.309,0x7C], [1.771,MAIN,1.771,0x7C], [2.233,MAIN,2.233,0x7C], [2.695,MAIN,2.695,0x7C]], 580 stretch: {ext:[0x7C,MAIN]} 581 }, 582 0x23DC: EXTRAH, 583 0x23DD: EXTRAH, 584 0x23DE: 585 { 586 dir: H, 587 HW: [[0.492,MAIN], [0.993,SIZE1], [1.494,SIZE2], [1.996,SIZE3], [2.498,SIZE4], [3.000,SIZE5], [3.502,SIZE6], [4.006,SIZE7]], 588 stretch: {left:[0xE10D,SIZE7], rep:[0xE10E,SIZE7], mid:[0xE10F,SIZE7], right:[0xE110,SIZE7]} 589 }, 590 0x23DF: 591 { 592 dir: H, 593 HW: [[0.492,MAIN], [0.993,SIZE1], [1.494,SIZE2], [1.996,SIZE3], [2.498,SIZE4], [3.000,SIZE5], [3.502,SIZE6], [4.006,SIZE7]], 594 stretch: {left:[0xE111,SIZE7], rep:[0xE112,SIZE7], mid:[0xE113,SIZE7], right:[0xE114,SIZE7]} 595 }, 596 0x23E0: EXTRAH, 597 0x23E1: EXTRAH, 598 0x2500: {alias: 0x305, dir: H}, 599 0x27A1: EXTRAH, 600 0x27E6: EXTRAV, 601 0x27E7: EXTRAV, 602 0x27E8: 603 { 604 dir: V, 605 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]] 606 }, 607 0x27E9: 608 { 609 dir: V, 610 HW: [[1.000,MAIN], [1.100,SIZE1], [1.200,SIZE2], [1.450,SIZE3], [1.800,SIZE4], [2.100,SIZE5], [2.400,SIZE6], [3.000,SIZE7]] 611 }, 612 0x27EA: EXTRAV, 613 0x27EB: EXTRAV, 614 0x27EE: 615 { 616 dir: V, 617 HW: [[1.024,MAIN], [1.126,SIZE1], [1.228,SIZE2], [1.482,SIZE3], [1.836,SIZE4], [2.140,SIZE5], [2.444,SIZE6], [3.052,SIZE7]], 618 stretch: {bot:[0xE101,SIZE7], ext:[0xE102,SIZE7], top:[0xE103,SIZE7]} 619 }, 620 0x27EF: 621 { 622 dir: V, 623 HW: [[1.024,MAIN], [1.126,SIZE1], [1.228,SIZE2], [1.482,SIZE3], [1.836,SIZE4], [2.140,SIZE5], [2.444,SIZE6], [3.052,SIZE7]], 624 stretch: {bot:[0xE104,SIZE7], ext:[0xE105,SIZE7], top:[0xE106,SIZE7]} 625 }, 626 0x27F5: {alias: 0x2190, dir: H}, 627 0x27F6: {alias: 0x2192, dir: H}, 628 0x27F7: {alias: 0x2194, dir: H}, 629 0x27F8: {alias: 0x21D0, dir: H}, 630 0x27F9: {alias: 0x21D2, dir: H}, 631 0x27FA: {alias: 0x21D4, dir: H}, 632 0x27FB: {alias: 0x21A4, dir: H}, 633 0x27FC: {alias: 0x21A6, dir: H}, 634 0x27FD: {alias: 0x2906, dir: H}, 635 0x27FE: {alias: 0x2907, dir: H}, 636 0x2906: 637 { 638 dir: H, 639 HW: [[0.879,ARROWS], [1.325,SIZE1]], 640 stretch: {left:[0xE0C5,SIZE7], rep:[0xE0C6,SIZE7], right:[0xE0C7,SIZE7]} 641 }, 642 0x2907: 643 { 644 dir: H, 645 HW: [[0.879,ARROWS], [1.325,SIZE1]], 646 stretch: {left:[0xE0C8,SIZE7], rep:[0xE0C9,SIZE7], right:[0xE0CA,SIZE7]} 647 }, 648 0x2A00: EXTRAV, 649 0x2A01: EXTRAV, 650 0x2A02: EXTRAV, 651 0x2A03: EXTRAV, 652 0x2A04: EXTRAV, 653 0x2A05: EXTRAV, 654 0x2A06: EXTRAV, 655 0x2A09: EXTRAV, 656 0x2A0C: EXTRAV, 657 0x2A11: EXTRAV, 658 0x2B04: EXTRAH, 659 0x2B05: EXTRAH, 660 0x2B06: EXTRAV, 661 0x2B07: EXTRAV, 662 0x2B0C: EXTRAH, 663 0x2B0D: EXTRAV, 664 0x2B31: EXTRAH, 665 0x3008: {alias: 0x27E8, dir: V}, 666 0x3009: {alias: 0x27E9, dir: V}, 667 0xFE37: {alias: 0x23DE, dir: H}, 668 0xFE38: {alias: 0x23DF, dir: H} 669 } 670 671 } 672 }); 673 MathJax.Hub.Register.LoadHook(HTMLCSS.fontDir+"/Size7/Regular/Main.js",function () { 674 var u; 675 u = HTMLCSS.FONTDATA.DELIMITERS[0x23DE].stretch.rep[0]; 676 HTMLCSS.FONTDATA.FONTS[SIZE7][u][0] += 200; // adjust height for brace extender 677 HTMLCSS.FONTDATA.FONTS[SIZE7][u][1] += 200; // adjust depth for brace extender 678 u = HTMLCSS.FONTDATA.DELIMITERS[0x23DF].stretch.rep[0]; 679 HTMLCSS.FONTDATA.FONTS[SIZE7][u][0] += 200; // adjust height for brace extender 680 HTMLCSS.FONTDATA.FONTS[SIZE7][u][1] += 200; // adjust depth for brace extender 681 }); 682 MathJax.Hub.Register.LoadHook(HTMLCSS.fontDir+"/Size1/Regular/Main.js",function () { 683 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222B][2] -= 425; 684 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222B][5] = {rfix:-425}; 685 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222C][2] -= 425; 686 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222C][5] = {rfix:-425}; 687 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222D][2] -= 425; 688 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222D][5] = {rfix:-425}; 689 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222E][2] -= 425; 690 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222E][5] = {rfix:-425}; 691 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222F][2] -= 425; 692 HTMLCSS.FONTDATA.FONTS[SIZE1][0x222F][5] = {rfix:-425}; 693 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2230][2] -= 425; 694 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2230][5] = {rfix:-425}; 695 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2231][2] -= 425; 696 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2231][5] = {rfix:-425}; 697 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2232][2] -= 425; 698 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2232][5] = {rfix:-425}; 699 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2233][2] -= 425; 700 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2233][5] = {rfix:-425}; 701 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2A0C][2] -= 425; 702 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2A0C][5] = {rfix:-425}; 703 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2A11][2] -= 425; 704 HTMLCSS.FONTDATA.FONTS[SIZE1][0x2A11][5] = {rfix:-425}; 705 }); 706 AJAX.loadComplete(HTMLCSS.fontDir + "/fontdata.js"); 707 708 })(MathJax.OutputJax["HTML-CSS"],MathJax.ElementJax.mml,MathJax.Ajax);