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