fontdata-extra.js (21205B)
1 /************************************************************* 2 * 3 * MathJax/jax/output/SVG/fonts/Latin-Modern/fontdata-extra.js 4 * 5 * Adds extra stretchy characters to 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 (SVG) { 23 var VERSION = "2.6.0"; 24 25 var DELIMITERS = SVG.FONTDATA.DELIMITERS; 26 27 var H = "H", V = "V"; 28 29 var ALPHABETS = "LatinModernMathJax_Alphabets", 30 ARROWS = "LatinModernMathJax_Arrows", 31 DOUBLESTRUCK = "LatinModernMathJax_DoubleStruck", 32 FRAKTUR = "LatinModernMathJax_Fraktur", 33 LATIN = "LatinModernMathJax_Latin", 34 MAIN = "LatinModernMathJax_Main", 35 MARKS = "LatinModernMathJax_Marks", 36 MISC = "LatinModernMathJax_Misc", 37 MONOSPACE = "LatinModernMathJax_Monospace", 38 NONUNICODE = "LatinModernMathJax_NonUnicode", 39 NORMAL = "LatinModernMathJax_Normal", 40 OPERATORS = "LatinModernMathJax_Operators", 41 SANSSERIF = "LatinModernMathJax_SansSerif", 42 SCRIPT = "LatinModernMathJax_Script", 43 SHAPES = "LatinModernMathJax_Shapes", 44 SIZE1 = "LatinModernMathJax_Size1", 45 SIZE2 = "LatinModernMathJax_Size2", 46 SIZE3 = "LatinModernMathJax_Size3", 47 SIZE4 = "LatinModernMathJax_Size4", 48 SIZE5 = "LatinModernMathJax_Size5", 49 SIZE6 = "LatinModernMathJax_Size6", 50 SIZE7 = "LatinModernMathJax_Size7", 51 SYMBOLS = "LatinModernMathJax_Symbols", 52 VARIANTS = "LatinModernMathJax_Variants"; 53 54 var delim = { 55 0x306: 56 { 57 dir: H, 58 HW: [[374,MAIN], [658,SIZE1], [784,SIZE2], [937,SIZE3], [1120,SIZE4], [1341,SIZE5], [1604,SIZE6], [1920,SIZE7]] 59 }, 60 0x311: 61 { 62 dir: H, 63 HW: [[374,MARKS], [658,SIZE1], [784,SIZE2], [937,SIZE3], [1120,SIZE4], [1341,SIZE5], [1604,SIZE6], [1920,SIZE7]] 64 }, 65 0x32C: 66 { 67 dir: H, 68 HW: [[364,MARKS], [644,SIZE1], [768,SIZE2], [919,SIZE3], [1100,SIZE4], [1320,SIZE5], [1581,SIZE6], [1896,SIZE7]] 69 }, 70 0x32D: 71 { 72 dir: H, 73 HW: [[364,MARKS], [644,SIZE1], [768,SIZE2], [919,SIZE3], [1100,SIZE4], [1320,SIZE5], [1581,SIZE6], [1896,SIZE7]] 74 }, 75 0x32E: 76 { 77 dir: H, 78 HW: [[374,MARKS], [658,SIZE1], [784,SIZE2], [937,SIZE3], [1120,SIZE4], [1341,SIZE5], [1604,SIZE6], [1920,SIZE7]] 79 }, 80 0x32F: 81 { 82 dir: H, 83 HW: [[374,MARKS], [658,SIZE1], [784,SIZE2], [937,SIZE3], [1120,SIZE4], [1341,SIZE5], [1604,SIZE6], [1920,SIZE7]] 84 }, 85 0x330: 86 { 87 dir: H, 88 HW: [[370,MARKS], [652,SIZE1], [778,SIZE2], [931,SIZE3], [1115,SIZE4], [1335,SIZE5], [1599,SIZE6], [1915,SIZE7]] 89 }, 90 0x333: 91 { 92 dir: H, 93 HW: [[392,MARKS], [568,SIZE1]], 94 stretch: {left:[0xE0F8,SIZE7], rep:[0xE0F9,SIZE7], right:[0xE0FA,SIZE7]} 95 }, 96 0x33F: 97 { 98 dir: H, 99 HW: [[392,MARKS], [568,SIZE1]], 100 stretch: {left:[0xE0FE,SIZE7], rep:[0xE0FF,SIZE7], right:[0xE100,SIZE7]} 101 }, 102 0x20D0: 103 { 104 dir: H, 105 HW: [[422,MARKS], [555,SIZE1]], 106 stretch: {left:[0xE008,SIZE7], rep:[0xE009,SIZE7], right:[0xE00A,SIZE7]} 107 }, 108 0x20D1: 109 { 110 dir: H, 111 HW: [[422,MARKS], [555,SIZE1]], 112 stretch: {left:[0xE00B,SIZE7], rep:[0xE00C,SIZE7], right:[0xE00D,SIZE7]} 113 }, 114 0x20D6: 115 { 116 dir: H, 117 HW: [[416,MARKS], [547,SIZE1]], 118 stretch: {left:[0xE00E,SIZE7], rep:[0xE00F,SIZE7], right:[0xE010,SIZE7]} 119 }, 120 0x20D7: 121 { 122 dir: H, 123 HW: [[416,MAIN], [547,SIZE1]], 124 stretch: {left:[0xE011,SIZE7], rep:[0xE012,SIZE7], right:[0xE013,SIZE7]} 125 }, 126 0x20E1: 127 { 128 dir: H, 129 HW: [[470,MARKS], [603,SIZE1]], 130 stretch: {left:[0xE014,SIZE7], rep:[0xE015,SIZE7], right:[0xE016,SIZE7]} 131 }, 132 0x20E9: 133 { 134 dir: H, 135 HW: [[360,MARKS], [735,SIZE1], [1110,SIZE2], [1485,SIZE3], [1860,SIZE4], [2235,SIZE5], [2610,SIZE6], [2985,SIZE7]], 136 stretch: {left:[0xE11B,SIZE7], rep:[0xE11C,SIZE7], right:[0xE11D,SIZE7]} 137 }, 138 0x20EC: 139 { 140 dir: H, 141 HW: [[422,MARKS], [555,SIZE1]], 142 stretch: {left:[0xE017,SIZE7], rep:[0xE018,SIZE7], right:[0xE019,SIZE7]} 143 }, 144 0x20ED: 145 { 146 dir: H, 147 HW: [[422,MARKS], [555,SIZE1]], 148 stretch: {left:[0xE01A,SIZE7], rep:[0xE01B,SIZE7], right:[0xE01C,SIZE7]} 149 }, 150 0x20EE: 151 { 152 dir: H, 153 HW: [[416,MARKS], [547,SIZE1]], 154 stretch: {left:[0xE01D,SIZE7], rep:[0xE01E,SIZE7], right:[0xE01F,SIZE7]} 155 }, 156 0x20EF: 157 { 158 dir: H, 159 HW: [[416,MARKS], [547,SIZE1]], 160 stretch: {left:[0xE020,SIZE7], rep:[0xE021,SIZE7], right:[0xE022,SIZE7]} 161 }, 162 0x2196: 163 { 164 dir: V, 165 HW: [[917,MAIN], [1383,SIZE1]] 166 }, 167 0x2197: 168 { 169 dir: V, 170 HW: [[917,MAIN], [1383,SIZE1]] 171 }, 172 0x2198: 173 { 174 dir: V, 175 HW: [[917,MAIN], [1383,SIZE1]] 176 }, 177 0x2199: 178 { 179 dir: V, 180 HW: [[917,MAIN], [1383,SIZE1]] 181 }, 182 0x219A: 183 { 184 dir: H, 185 HW: [[885,MAIN], [1351,SIZE1]], 186 stretch: {left:[0xE02F,SIZE7], rep:[0xE030,SIZE7], mid:[0xE031,SIZE7], right:[0xE032,SIZE7]} 187 }, 188 0x219B: 189 { 190 dir: H, 191 HW: [[885,MAIN], [1351,SIZE1]], 192 stretch: {left:[0xE033,SIZE7], rep:[0xE034,SIZE7], mid:[0xE035,SIZE7], right:[0xE036,SIZE7]} 193 }, 194 0x219E: 195 { 196 dir: H, 197 HW: [[905,MAIN], [1351,SIZE1]], 198 stretch: {left:[0xE041,SIZE7], rep:[0xE042,SIZE7], right:[0xE043,SIZE7]} 199 }, 200 0x219F: 201 { 202 dir: V, 203 HW: [[902,ARROWS], [1348,SIZE1]], 204 stretch: {bot:[0xE047,SIZE7], ext:[0xE048,SIZE7], top:[0xE049,SIZE7]} 205 }, 206 0x21A0: 207 { 208 dir: H, 209 HW: [[905,MAIN], [1351,SIZE1]], 210 stretch: {left:[0xE044,SIZE7], rep:[0xE045,SIZE7], right:[0xE046,SIZE7]} 211 }, 212 0x21A1: 213 { 214 dir: V, 215 HW: [[902,ARROWS], [1348,SIZE1]], 216 stretch: {bot:[0xE04A,SIZE7], ext:[0xE04B,SIZE7], top:[0xE04C,SIZE7]} 217 }, 218 0x21A2: 219 { 220 dir: H, 221 HW: [[1080,MAIN], [1546,SIZE1]], 222 stretch: {left:[0xE04D,SIZE7], rep:[0xE04E,SIZE7], right:[0xE04F,SIZE7]} 223 }, 224 0x21A3: 225 { 226 dir: H, 227 HW: [[1080,MAIN], [1546,SIZE1]], 228 stretch: {left:[0xE050,SIZE7], rep:[0xE051,SIZE7], right:[0xE052,SIZE7]} 229 }, 230 0x21A5: 231 { 232 dir: V, 233 HW: [[862,ARROWS], [1328,SIZE1]], 234 stretch: {bot:[0xE059,SIZE7], ext:[0xE05A,SIZE7], top:[0xE05B,SIZE7]} 235 }, 236 0x21A7: 237 { 238 dir: V, 239 HW: [[862,ARROWS], [1328,SIZE1]], 240 stretch: {bot:[0xE05C,SIZE7], ext:[0xE05D,SIZE7], top:[0xE05E,SIZE7]} 241 }, 242 0x21A9: 243 { 244 dir: H, 245 HW: [[885,MAIN], [1351,SIZE1]], 246 stretch: {left:[0xE062,SIZE7], rep:[0xE063,SIZE7], right:[0xE064,SIZE7]} 247 }, 248 0x21AA: 249 { 250 dir: H, 251 HW: [[885,MAIN], [1351,SIZE1]], 252 stretch: {left:[0xE05F,SIZE7], rep:[0xE060,SIZE7], right:[0xE061,SIZE7]} 253 }, 254 0x21AB: 255 { 256 dir: H, 257 HW: [[885,MAIN], [1351,SIZE1]], 258 stretch: {left:[0xE068,SIZE7], rep:[0xE069,SIZE7], right:[0xE06A,SIZE7]} 259 }, 260 0x21AC: 261 { 262 dir: H, 263 HW: [[885,MAIN], [1351,SIZE1]], 264 stretch: {left:[0xE065,SIZE7], rep:[0xE066,SIZE7], right:[0xE067,SIZE7]} 265 }, 266 0x21AD: 267 { 268 dir: H, 269 HW: [[884,MAIN], [1330,SIZE1]] 270 }, 271 0x21AE: 272 { 273 dir: H, 274 HW: [[884,MAIN], [1330,SIZE1]], 275 stretch: {left:[0xE03D,SIZE7], rep:[0xE03E,SIZE7], mid:[0xE03F,SIZE7], right:[0xE040,SIZE7]} 276 }, 277 0x21B0: 278 { 279 dir: V, 280 HW: [[858,MAIN], [1168,SIZE1]] 281 }, 282 0x21B1: 283 { 284 dir: V, 285 HW: [[858,MAIN], [1168,SIZE1]] 286 }, 287 0x21B2: 288 { 289 dir: V, 290 HW: [[858,ARROWS], [1168,SIZE1]] 291 }, 292 0x21B3: 293 { 294 dir: V, 295 HW: [[858,ARROWS], [1168,SIZE1]] 296 }, 297 0x21B6: 298 { 299 dir: H, 300 HW: [[868,MAIN], [1218,SIZE1]] 301 }, 302 0x21B7: 303 { 304 dir: H, 305 HW: [[868,MAIN], [1218,SIZE1]] 306 }, 307 0x21BC: 308 { 309 dir: H, 310 HW: [[900,MAIN], [1366,SIZE1]], 311 stretch: {left:[0xE06B,SIZE7], rep:[0xE06C,SIZE7], right:[0xE06D,SIZE7]} 312 }, 313 0x21BD: 314 { 315 dir: H, 316 HW: [[900,MAIN], [1366,SIZE1]], 317 stretch: {left:[0xE071,SIZE7], rep:[0xE072,SIZE7], right:[0xE073,SIZE7]} 318 }, 319 0x21BE: 320 { 321 dir: V, 322 HW: [[900,MAIN], [1366,SIZE1]], 323 stretch: {bot:[0xE077,SIZE7], ext:[0xE078,SIZE7], top:[0xE079,SIZE7]} 324 }, 325 0x21BF: 326 { 327 dir: V, 328 HW: [[900,MAIN], [1366,SIZE1]], 329 stretch: {bot:[0xE07D,SIZE7], ext:[0xE07E,SIZE7], top:[0xE07F,SIZE7]} 330 }, 331 0x21C0: 332 { 333 dir: H, 334 HW: [[900,MAIN], [1366,SIZE1]], 335 stretch: {left:[0xE06E,SIZE7], rep:[0xE06F,SIZE7], right:[0xE070,SIZE7]} 336 }, 337 0x21C1: 338 { 339 dir: H, 340 HW: [[900,MAIN], [1366,SIZE1]], 341 stretch: {left:[0xE074,SIZE7], rep:[0xE075,SIZE7], right:[0xE076,SIZE7]} 342 }, 343 0x21C2: 344 { 345 dir: V, 346 HW: [[900,MAIN], [1366,SIZE1]], 347 stretch: {bot:[0xE07A,SIZE7], ext:[0xE07B,SIZE7], top:[0xE07C,SIZE7]} 348 }, 349 0x21C3: 350 { 351 dir: V, 352 HW: [[900,MAIN], [1366,SIZE1]], 353 stretch: {bot:[0xE080,SIZE7], ext:[0xE081,SIZE7], top:[0xE082,SIZE7]} 354 }, 355 0x21C4: 356 { 357 dir: H, 358 HW: [[906,MAIN], [1372,SIZE1]], 359 stretch: {left:[0xE083,SIZE7], rep:[0xE084,SIZE7], right:[0xE085,SIZE7]} 360 }, 361 0x21C5: 362 { 363 dir: V, 364 HW: [[906,ARROWS], [1372,SIZE1]], 365 stretch: {bot:[0xE089,SIZE7], ext:[0xE08A,SIZE7], top:[0xE08B,SIZE7]} 366 }, 367 0x21C6: 368 { 369 dir: H, 370 HW: [[906,MAIN], [1372,SIZE1]], 371 stretch: {left:[0xE086,SIZE7], rep:[0xE087,SIZE7], right:[0xE088,SIZE7]} 372 }, 373 0x21C7: 374 { 375 dir: H, 376 HW: [[885,MAIN], [1351,SIZE1]], 377 stretch: {left:[0xE08F,SIZE7], rep:[0xE090,SIZE7], right:[0xE091,SIZE7]} 378 }, 379 0x21C8: 380 { 381 dir: V, 382 HW: [[882,MAIN], [1348,SIZE1]], 383 stretch: {bot:[0xE095,SIZE7], ext:[0xE096,SIZE7], top:[0xE097,SIZE7]} 384 }, 385 0x21C9: 386 { 387 dir: H, 388 HW: [[885,MAIN], [1351,SIZE1]], 389 stretch: {left:[0xE092,SIZE7], rep:[0xE093,SIZE7], right:[0xE094,SIZE7]} 390 }, 391 0x21CA: 392 { 393 dir: V, 394 HW: [[882,MAIN], [1348,SIZE1]], 395 stretch: {bot:[0xE098,SIZE7], ext:[0xE099,SIZE7], top:[0xE09A,SIZE7]} 396 }, 397 0x21CB: 398 { 399 dir: H, 400 HW: [[906,MAIN], [1372,SIZE1]], 401 stretch: {left:[0xE0A1,SIZE7], rep:[0xE0A2,SIZE7], right:[0xE0A3,SIZE7]} 402 }, 403 0x21CC: 404 { 405 dir: H, 406 HW: [[906,MAIN], [1372,SIZE1]], 407 stretch: {left:[0xE0A4,SIZE7], rep:[0xE0A5,SIZE7], right:[0xE0A6,SIZE7]} 408 }, 409 0x21CD: 410 { 411 dir: H, 412 HW: [[879,MAIN], [1345,SIZE1]], 413 stretch: {left:[0xE0B9,SIZE7], rep:[0xE0BA,SIZE7], mid:[0xE0BB,SIZE7], right:[0xE0BC,SIZE7]} 414 }, 415 0x21CE: 416 { 417 dir: H, 418 HW: [[956,MAIN], [1422,SIZE1]], 419 stretch: {left:[0xE0C1,SIZE7], rep:[0xE0C2,SIZE7], mid:[0xE0C3,SIZE7], right:[0xE0C4,SIZE7]} 420 }, 421 0x21CF: 422 { 423 dir: H, 424 HW: [[879,MAIN], [1345,SIZE1]], 425 stretch: {left:[0xE0BD,SIZE7], rep:[0xE0BE,SIZE7], mid:[0xE0BF,SIZE7], right:[0xE0C0,SIZE7]} 426 }, 427 0x21D6: 428 { 429 dir: V, 430 HW: [[954,ARROWS], [1420,SIZE1]] 431 }, 432 0x21D7: 433 { 434 dir: V, 435 HW: [[954,ARROWS], [1420,SIZE1]] 436 }, 437 0x21D8: 438 { 439 dir: V, 440 HW: [[954,ARROWS], [1420,SIZE1]] 441 }, 442 0x21D9: 443 { 444 dir: V, 445 HW: [[954,ARROWS], [1420,SIZE1]] 446 }, 447 0x21DA: 448 { 449 dir: H, 450 HW: [[903,MAIN], [1349,SIZE1]], 451 stretch: {left:[0xE0CB,SIZE7], rep:[0xE0CC,SIZE7], right:[0xE0CD,SIZE7]} 452 }, 453 0x21DB: 454 { 455 dir: H, 456 HW: [[903,MAIN], [1349,SIZE1]], 457 stretch: {left:[0xE0CE,SIZE7], rep:[0xE0CF,SIZE7], right:[0xE0D0,SIZE7]} 458 }, 459 0x21DC: 460 { 461 dir: H, 462 HW: [[885,ARROWS], [1351,SIZE1]] 463 }, 464 0x21DD: 465 { 466 dir: H, 467 HW: [[885,MAIN], [1351,SIZE1]] 468 }, 469 0x21E6: 470 { 471 dir: H, 472 HW: [[938,ARROWS], [1384,SIZE1]], 473 stretch: {left:[0xE0D1,SIZE7], rep:[0xE0D2,SIZE7], right:[0xE0D3,SIZE7]} 474 }, 475 0x21E7: 476 { 477 dir: V, 478 HW: [[938,ARROWS], [1384,SIZE1]], 479 stretch: {bot:[0xE0D7,SIZE7], ext:[0xE0D8,SIZE7], top:[0xE0D9,SIZE7]} 480 }, 481 0x21E8: 482 { 483 dir: H, 484 HW: [[938,ARROWS], [1384,SIZE1]], 485 stretch: {left:[0xE0D4,SIZE7], rep:[0xE0D5,SIZE7], right:[0xE0D6,SIZE7]} 486 }, 487 0x21E9: 488 { 489 dir: V, 490 HW: [[938,ARROWS], [1384,SIZE1]], 491 stretch: {bot:[0xE0DA,SIZE7], ext:[0xE0DB,SIZE7], top:[0xE0DC,SIZE7]} 492 }, 493 0x21F3: 494 { 495 dir: V, 496 HW: [[950,ARROWS], [1396,SIZE1]], 497 stretch: {bot:[0xE0DD,SIZE7], ext:[0xE0DE,SIZE7], top:[0xE0DF,SIZE7]} 498 }, 499 0x21F5: 500 { 501 dir: V, 502 HW: [[906,ARROWS], [1372,SIZE1]], 503 stretch: {bot:[0xE08C,SIZE7], ext:[0xE08D,SIZE7], top:[0xE08E,SIZE7]} 504 }, 505 0x21F6: 506 { 507 dir: H, 508 HW: [[885,ARROWS], [1351,SIZE1]], 509 stretch: {left:[0xE09B,SIZE7], rep:[0xE09C,SIZE7], right:[0xE09D,SIZE7]} 510 }, 511 0x220F: 512 { 513 dir: V, 514 HW: [[1000,OPERATORS], [1400,SIZE1]] 515 }, 516 0x2210: 517 { 518 dir: V, 519 HW: [[1000,OPERATORS], [1400,SIZE1]] 520 }, 521 0x2211: 522 { 523 dir: V, 524 HW: [[1000,OPERATORS], [1400,SIZE1]] 525 }, 526 0x222B: 527 { 528 dir: V, 529 HW: [[1111,MAIN], [2222,SIZE1]] 530 }, 531 0x222C: 532 { 533 dir: V, 534 HW: [[1111,OPERATORS], [2222,SIZE1]] 535 }, 536 0x222D: 537 { 538 dir: V, 539 HW: [[1111,OPERATORS], [2222,SIZE1]] 540 }, 541 0x222E: 542 { 543 dir: V, 544 HW: [[1111,OPERATORS], [2222,SIZE1]] 545 }, 546 0x222F: 547 { 548 dir: V, 549 HW: [[1111,OPERATORS], [2222,SIZE1]] 550 }, 551 0x2230: 552 { 553 dir: V, 554 HW: [[1111,OPERATORS], [2222,SIZE1]] 555 }, 556 0x2231: 557 { 558 dir: V, 559 HW: [[1111,OPERATORS], [2222,SIZE1]] 560 }, 561 0x2232: 562 { 563 dir: V, 564 HW: [[1111,OPERATORS], [2222,SIZE1]] 565 }, 566 0x2233: 567 { 568 dir: V, 569 HW: [[1111,OPERATORS], [2222,SIZE1]] 570 }, 571 0x2261: 572 { 573 dir: H, 574 HW: [[666,MAIN]], 575 stretch: {left:[0xE12D,SIZE7], rep:[0xE12E,SIZE7], right:[0xE12F,SIZE7]} 576 }, 577 0x2263: 578 { 579 dir: H, 580 HW: [[666,OPERATORS]], 581 stretch: {left:[0xE130,SIZE7], rep:[0xE131,SIZE7], right:[0xE132,SIZE7]} 582 }, 583 0x22A2: 584 { 585 dir: V, 586 HW: [[684,MAIN], [868,SIZE1]] 587 }, 588 0x22A3: 589 { 590 dir: V, 591 HW: [[684,MAIN], [868,SIZE1]] 592 }, 593 0x22A4: 594 { 595 dir: V, 596 HW: [[684,MAIN], [868,SIZE1]] 597 }, 598 0x22A5: 599 { 600 dir: V, 601 HW: [[684,MAIN], [868,SIZE1]] 602 }, 603 0x22C0: 604 { 605 dir: V, 606 HW: [[1044,OPERATORS], [1393,SIZE1]] 607 }, 608 0x22C1: 609 { 610 dir: V, 611 HW: [[1044,OPERATORS], [1393,SIZE1]] 612 }, 613 0x22C2: 614 { 615 dir: V, 616 HW: [[1022,OPERATORS], [1356,SIZE1]] 617 }, 618 0x22C3: 619 { 620 dir: V, 621 HW: [[1022,OPERATORS], [1356,SIZE1]] 622 }, 623 0x23B4: 624 { 625 dir: H, 626 HW: [[360,MAIN], [735,SIZE1], [1110,SIZE2], [1485,SIZE3], [1860,SIZE4], [2235,SIZE5], [2610,SIZE6], [2985,SIZE7]], 627 stretch: {left:[0xE11B,SIZE7], rep:[0xE11C,SIZE7], right:[0xE11D,SIZE7]} 628 }, 629 0x23B5: 630 { 631 dir: H, 632 HW: [[360,MAIN], [735,SIZE1], [1110,SIZE2], [1485,SIZE3], [1860,SIZE4], [2235,SIZE5], [2610,SIZE6], [2985,SIZE7]], 633 stretch: {left:[0xE11E,SIZE7], rep:[0xE11F,SIZE7], right:[0xE120,SIZE7]} 634 }, 635 0x23DC: 636 { 637 dir: H, 638 HW: [[504,MAIN], [1006,SIZE1], [1508,SIZE2], [2012,SIZE3], [2516,SIZE4], [3020,SIZE5], [3524,SIZE6], [4032,SIZE7]], 639 stretch: {left:[0xE115,SIZE7], rep:[0xE116,SIZE7], right:[0xE117,SIZE7]} 640 }, 641 0x23DD: 642 { 643 dir: H, 644 HW: [[504,MAIN], [1006,SIZE1], [1508,SIZE2], [2012,SIZE3], [2516,SIZE4], [3020,SIZE5], [3524,SIZE6], [4032,SIZE7]], 645 stretch: {left:[0xE118,SIZE7], rep:[0xE119,SIZE7], right:[0xE11A,SIZE7]} 646 }, 647 0x23E0: 648 { 649 dir: H, 650 HW: [[546,MAIN], [1048,SIZE1], [1550,SIZE2], [2056,SIZE3], [2564,SIZE4], [3068,SIZE5], [3574,SIZE6], [4082,SIZE7]], 651 stretch: {left:[0xE121,SIZE7], rep:[0xE122,SIZE7], right:[0xE123,SIZE7]} 652 }, 653 0x23E1: 654 { 655 dir: H, 656 HW: [[546,MAIN], [1048,SIZE1], [1550,SIZE2], [2056,SIZE3], [2564,SIZE4], [3068,SIZE5], [3574,SIZE6], [4082,SIZE7]], 657 stretch: {left:[0xE124,SIZE7], rep:[0xE125,SIZE7], right:[0xE126,SIZE7]} 658 }, 659 0x27A1: 660 { 661 dir: H, 662 HW: [[865,MISC], [1311,SIZE1]], 663 stretch: {left:[0xE0E6,SIZE7], rep:[0xE0E7,SIZE7], right:[0xE0E8,SIZE7]} 664 }, 665 0x27E6: 666 { 667 dir: V, 668 HW: [[1000,SYMBOLS], [1100,SIZE1], [1200,SIZE2], [1450,SIZE3], [1800,SIZE4], [2100,SIZE5], [2400,SIZE6], [3000,SIZE7]], 669 stretch: {bot:[0xE107,SIZE7], ext:[0xE108,SIZE7], top:[0xE109,SIZE7]} 670 }, 671 0x27E7: 672 { 673 dir: V, 674 HW: [[1000,SYMBOLS], [1100,SIZE1], [1200,SIZE2], [1450,SIZE3], [1800,SIZE4], [2100,SIZE5], [2400,SIZE6], [3000,SIZE7]], 675 stretch: {bot:[0xE10A,SIZE7], ext:[0xE10B,SIZE7], top:[0xE10C,SIZE7]} 676 }, 677 0x27EA: 678 { 679 dir: V, 680 HW: [[1000,SYMBOLS], [1100,SIZE1], [1200,SIZE2], [1450,SIZE3], [1800,SIZE4], [2100,SIZE5], [2400,SIZE6], [3000,SIZE7]] 681 }, 682 0x27EB: 683 { 684 dir: V, 685 HW: [[1000,SYMBOLS], [1100,SIZE1], [1200,SIZE2], [1450,SIZE3], [1800,SIZE4], [2100,SIZE5], [2400,SIZE6], [3000,SIZE7]] 686 }, 687 0x2A00: 688 { 689 dir: V, 690 HW: [[986,OPERATORS], [1304,SIZE1]] 691 }, 692 0x2A01: 693 { 694 dir: V, 695 HW: [[986,OPERATORS], [1304,SIZE1]] 696 }, 697 0x2A02: 698 { 699 dir: V, 700 HW: [[986,OPERATORS], [1304,SIZE1]] 701 }, 702 0x2A03: 703 { 704 dir: V, 705 HW: [[1022,OPERATORS], [1356,SIZE1]] 706 }, 707 0x2A04: 708 { 709 dir: V, 710 HW: [[1022,OPERATORS], [1356,SIZE1]] 711 }, 712 0x2A05: 713 { 714 dir: V, 715 HW: [[1028,OPERATORS], [1372,SIZE1]] 716 }, 717 0x2A06: 718 { 719 dir: V, 720 HW: [[1028,OPERATORS], [1372,SIZE1]] 721 }, 722 0x2A09: 723 { 724 dir: V, 725 HW: [[980,OPERATORS], [1259,SIZE1]] 726 }, 727 0x2A0C: 728 { 729 dir: V, 730 HW: [[1111,OPERATORS], [2222,SIZE1]] 731 }, 732 0x2A11: 733 { 734 dir: V, 735 HW: [[1111,OPERATORS], [2222,SIZE1]] 736 }, 737 0x2B04: 738 { 739 dir: H, 740 HW: [[950,SHAPES], [1396,SIZE1]], 741 stretch: {left:[0xE0E0,SIZE7], rep:[0xE0E1,SIZE7], right:[0xE0E2,SIZE7]} 742 }, 743 0x2B05: 744 { 745 dir: H, 746 HW: [[865,SHAPES], [1311,SIZE1]], 747 stretch: {left:[0xE0E3,SIZE7], rep:[0xE0E4,SIZE7], right:[0xE0E5,SIZE7]} 748 }, 749 0x2B06: 750 { 751 dir: V, 752 HW: [[865,SHAPES], [1311,SIZE1]], 753 stretch: {bot:[0xE0E9,SIZE7], ext:[0xE0EA,SIZE7], top:[0xE0EB,SIZE7]} 754 }, 755 0x2B07: 756 { 757 dir: V, 758 HW: [[865,SHAPES], [1311,SIZE1]], 759 stretch: {bot:[0xE0EC,SIZE7], ext:[0xE0ED,SIZE7], top:[0xE0EE,SIZE7]} 760 }, 761 0x2B0C: 762 { 763 dir: H, 764 HW: [[844,SHAPES], [1290,SIZE1]], 765 stretch: {left:[0xE0EF,SIZE7], rep:[0xE0F0,SIZE7], right:[0xE0F1,SIZE7]} 766 }, 767 0x2B0D: 768 { 769 dir: V, 770 HW: [[844,SHAPES], [1290,SIZE1]], 771 stretch: {bot:[0xE0F2,SIZE7], ext:[0xE0F3,SIZE7], top:[0xE0F4,SIZE7]} 772 }, 773 0x2B31: 774 { 775 dir: H, 776 HW: [[885,SHAPES], [1351,SIZE1]], 777 stretch: {left:[0xE09E,SIZE7], rep:[0xE09F,SIZE7], right:[0xE0A0,SIZE7]} 778 } 779 }; 780 781 for (var id in delim) {if (delim.hasOwnProperty(id)) {DELIMITERS[id] = delim[id]}}; 782 783 MathJax.Ajax.loadComplete(SVG.fontDir + "/fontdata-extra.js"); 784 785 })(MathJax.OutputJax["SVG"]);