fontdata.js (24732B)
1 /************************************************************* 2 * 3 * MathJax/jax/output/HTML-CSS/fonts/Gyre-Termes/fontdata.js 4 * 5 * Initializes the HTML-CSS OutputJax to use 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 (HTMLCSS,MML,AJAX) { 23 24 var VERSION = "2.6.0"; 25 26 var ALPHABETS = "GyreTermesMathJax_Alphabets", 27 ARROWS = "GyreTermesMathJax_Arrows", 28 DOUBLESTRUCK = "GyreTermesMathJax_DoubleStruck", 29 FRAKTUR = "GyreTermesMathJax_Fraktur", 30 LATIN = "GyreTermesMathJax_Latin", 31 MAIN = "GyreTermesMathJax_Main", 32 MARKS = "GyreTermesMathJax_Marks", 33 MISC = "GyreTermesMathJax_Misc", 34 MONOSPACE = "GyreTermesMathJax_Monospace", 35 NONUNICODE = "GyreTermesMathJax_NonUnicode", 36 NORMAL = "GyreTermesMathJax_Normal", 37 OPERATORS = "GyreTermesMathJax_Operators", 38 SANSSERIF = "GyreTermesMathJax_SansSerif", 39 SCRIPT = "GyreTermesMathJax_Script", 40 SHAPES = "GyreTermesMathJax_Shapes", 41 SIZE1 = "GyreTermesMathJax_Size1", 42 SIZE2 = "GyreTermesMathJax_Size2", 43 SIZE3 = "GyreTermesMathJax_Size3", 44 SIZE4 = "GyreTermesMathJax_Size4", 45 SIZE5 = "GyreTermesMathJax_Size5", 46 SIZE6 = "GyreTermesMathJax_Size6", 47 SYMBOLS = "GyreTermesMathJax_Symbols", 48 VARIANTS = "GyreTermesMathJax_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.125, 58 baselineskip: 1.200, 59 lineH: 0.800, lineD: 0.200, 60 61 hasStyleChar: true, // char 0xEFFD encodes font style 62 63 FONTS: { 64 "GyreTermesMathJax_Alphabets": "Alphabets/Regular/Main.js", 65 "GyreTermesMathJax_Arrows": "Arrows/Regular/Main.js", 66 "GyreTermesMathJax_DoubleStruck": "DoubleStruck/Regular/Main.js", 67 "GyreTermesMathJax_Fraktur": "Fraktur/Regular/Main.js", 68 "GyreTermesMathJax_Latin": "Latin/Regular/Main.js", 69 "GyreTermesMathJax_Main": "Main/Regular/Main.js", 70 "GyreTermesMathJax_Marks": "Marks/Regular/Main.js", 71 "GyreTermesMathJax_Misc": "Misc/Regular/Main.js", 72 "GyreTermesMathJax_Monospace": "Monospace/Regular/Main.js", 73 "GyreTermesMathJax_NonUnicode": "NonUnicode/Regular/Main.js", 74 "GyreTermesMathJax_Normal": "Normal/Regular/Main.js", 75 "GyreTermesMathJax_Operators": "Operators/Regular/Main.js", 76 "GyreTermesMathJax_SansSerif": "SansSerif/Regular/Main.js", 77 "GyreTermesMathJax_Script": "Script/Regular/Main.js", 78 "GyreTermesMathJax_Shapes": "Shapes/Regular/Main.js", 79 "GyreTermesMathJax_Size1": "Size1/Regular/Main.js", 80 "GyreTermesMathJax_Size2": "Size2/Regular/Main.js", 81 "GyreTermesMathJax_Size3": "Size3/Regular/Main.js", 82 "GyreTermesMathJax_Size4": "Size4/Regular/Main.js", 83 "GyreTermesMathJax_Size5": "Size5/Regular/Main.js", 84 "GyreTermesMathJax_Size6": "Size6/Regular/Main.js", 85 "GyreTermesMathJax_Symbols": "Symbols/Regular/Main.js", 86 "GyreTermesMathJax_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 "-Gyre-Termes-variant": {fonts: [VARIANTS,MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,NONUNICODE,SIZE1]}, 145 "-tex-caligraphic": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic: true}, 146 "-tex-oldstyle": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1]}, 147 "-tex-caligraphic-bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,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 0x3008: 0x27E8, 168 0x3009: 0x27E9, 169 0x2758: 0x2223, 170 0x25B8: 0x25B6, 171 0x03D2: 0x03A5, 172 0x25B4: 0x25B2, 173 0x25B5: 0x25B3, 174 0xFE37: 0x23DE, 175 0xFE38: 0x23DF, 176 0x02B9: 0x2032, 177 0x25FB: 0x25A1, 178 0x25FC: 0x25A0, 179 0x25BE: 0x25BC, 180 0x203E: 0x0305, 181 0x25BF: 0x25BD 182 }, 183 184 REMAPACCENT: { 185 "\u007E": "\u0303", 186 "\u2192": "\u20D7", 187 "\u0060": "\u0300", 188 "\u005E": "\u0302", 189 "\u00B4": "\u0301", 190 "\u2032": "\u0301", 191 "\u2035": "\u0300" 192 }, 193 194 REMAPACCENTUNDER: { 195 }, 196 197 DELIMITERS: { 198 0x28: 199 { 200 dir: V, 201 HW: [[0.816,MAIN], [0.976,SIZE1], [1.168,SIZE2], [1.398,SIZE3], [1.674,SIZE4], [2.006,SIZE5], [2.404,SIZE6], [2.780,SIZE6,1.157]], 202 stretch: {bot:[0x239D,SYMBOLS], ext:[0x239C,SYMBOLS], top:[0x239B,SYMBOLS]} 203 }, 204 0x29: 205 { 206 dir: V, 207 HW: [[0.816,MAIN], [0.976,SIZE1], [1.168,SIZE2], [1.398,SIZE3], [1.674,SIZE4], [2.006,SIZE5], [2.404,SIZE6], [2.780,SIZE6,1.157]], 208 stretch: {bot:[0x23A0,SYMBOLS], ext:[0x239F,SYMBOLS], top:[0x239E,SYMBOLS]} 209 }, 210 0x2D: {alias: 0x305, dir: H}, 211 0x2F: 212 { 213 dir: V, 214 HW: [[0.800,MAIN], [1.048,SIZE1], [1.372,SIZE2], [1.798,SIZE3], [1.827,SIZE3,1.016], [2.356,SIZE4], [3.086,SIZE5], [4.044,SIZE6]] 215 }, 216 0x3D: 217 { 218 dir: H, 219 HW: [[0.500,MAIN]], 220 stretch: {left:[0xE000,SIZE6], rep:[0xE001,SIZE6], right:[0xE002,SIZE6]} 221 }, 222 0x5B: 223 { 224 dir: V, 225 HW: [[0.836,MAIN], [0.998,SIZE1], [1.190,SIZE2], [1.422,SIZE3], [1.698,SIZE4], [2.032,SIZE5], [2.432,SIZE6], [2.780,SIZE6,1.143]], 226 stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]} 227 }, 228 0x5C: 229 { 230 dir: V, 231 HW: [[0.800,MAIN], [1.048,SIZE1], [1.372,SIZE2], [1.798,SIZE3], [1.827,SIZE3,1.016], [2.356,SIZE4], [3.086,SIZE5], [4.044,SIZE6]] 232 }, 233 0x5D: 234 { 235 dir: V, 236 HW: [[0.836,MAIN], [0.998,SIZE1], [1.190,SIZE2], [1.422,SIZE3], [1.698,SIZE4], [2.032,SIZE5], [2.432,SIZE6], [2.780,SIZE6,1.143]], 237 stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]} 238 }, 239 0x5E: {alias: 0x302, dir: H}, 240 0x5F: {alias: 0x332, dir: H}, 241 0x7B: 242 { 243 dir: V, 244 HW: [[0.820,MAIN], [0.980,SIZE1], [1.172,SIZE2], [1.402,SIZE3], [1.678,SIZE4], [2.010,SIZE5], [2.408,SIZE6], [2.780,SIZE6,1.155]], 245 stretch: {bot:[0x23A9,SYMBOLS], ext:[0xE003,SIZE6], mid:[0x23A8,SYMBOLS], top:[0x23A7,SYMBOLS]} 246 }, 247 0x7C: 248 { 249 dir: V, 250 HW: [[0.800,MAIN], [0.960,SIZE1], [1.152,SIZE2], [1.382,SIZE3], [1.658,SIZE4], [1.990,SIZE5], [2.388,SIZE6]], 251 stretch: {bot:[0xE004,SIZE6], ext:[0xE005,SIZE6], top:[0xE006,SIZE6]} 252 }, 253 0x7D: 254 { 255 dir: V, 256 HW: [[0.820,MAIN], [0.980,SIZE1], [1.172,SIZE2], [1.402,SIZE3], [1.678,SIZE4], [2.010,SIZE5], [2.408,SIZE6], [2.780,SIZE6,1.155]], 257 stretch: {bot:[0x23AD,SYMBOLS], ext:[0xE007,SIZE6], mid:[0x23AC,SYMBOLS], top:[0x23AB,SYMBOLS]} 258 }, 259 0x7E: {alias: 0x303, dir: H}, 260 0xAF: {alias: 0x332, dir: H}, 261 0x2C6: {alias: 0x302, dir: H}, 262 0x2C9: {alias: 0x305, dir: H}, 263 0x2DC: {alias: 0x303, dir: H}, 264 0x302: 265 { 266 dir: H, 267 HW: [[0.342,MAIN], [0.608,SIZE1], [0.727,SIZE2], [0.870,SIZE3], [1.041,SIZE4], [1.249,SIZE5], [1.496,SIZE6]] 268 }, 269 0x303: 270 { 271 dir: H, 272 HW: [[0.334,MAIN], [0.601,SIZE1], [0.720,SIZE2], [0.863,SIZE3], [1.037,SIZE4], [1.241,SIZE5], [1.491,SIZE6]] 273 }, 274 0x305: 275 { 276 dir: H, 277 HW: [[0.333,MARKS], [0.500,SIZE1]], 278 stretch: {left:[0xE0FB,SIZE6], rep:[0xE0FC,SIZE6], right:[0xE0FD,SIZE6]} 279 }, 280 0x306: EXTRAH, 281 0x30C: 282 { 283 dir: H, 284 HW: [[0.342,MAIN], [0.608,SIZE1], [0.727,SIZE2], [0.870,SIZE3], [1.041,SIZE4], [1.249,SIZE5], [1.496,SIZE6]] 285 }, 286 0x311: EXTRAH, 287 0x32C: EXTRAH, 288 0x32D: EXTRAH, 289 0x32E: EXTRAH, 290 0x32F: EXTRAH, 291 0x330: EXTRAH, 292 0x332: 293 { 294 dir: H, 295 HW: [[0.333,MARKS], [0.500,SIZE1]], 296 stretch: {left:[0xE0F5,SIZE6], rep:[0xE0F6,SIZE6], right:[0xE0F7,SIZE6]} 297 }, 298 0x333: EXTRAH, 299 0x33F: EXTRAH, 300 0x2015: {alias: 0x305, dir: H}, 301 0x2016: 302 { 303 dir: V, 304 HW: [[0.800,MAIN], [0.960,SIZE1], [1.152,SIZE2], [1.382,SIZE3], [1.658,SIZE4], [1.990,SIZE5], [2.388,SIZE6]], 305 stretch: {bot:[0xE12A,SIZE6], ext:[0xE12B,SIZE6], top:[0xE12C,SIZE6]} 306 }, 307 0x2017: {alias: 0x305, dir: H}, 308 0x203E: {alias: 0x305, dir: H}, 309 0x2044: 310 { 311 dir: V, 312 HW: [[0.800,MAIN], [1.048,SIZE1], [1.372,SIZE2], [1.798,SIZE3], [2.356,SIZE4], [3.086,SIZE5], [4.044,SIZE6]] 313 }, 314 0x20D0: EXTRAH, 315 0x20D1: EXTRAH, 316 0x20D6: EXTRAH, 317 0x20D7: EXTRAH, 318 0x20E1: EXTRAH, 319 0x20E9: EXTRAH, 320 0x20EC: EXTRAH, 321 0x20ED: EXTRAH, 322 0x20EE: EXTRAH, 323 0x20EF: EXTRAH, 324 0x2140: 325 { 326 dir: V, 327 HW: [[0.956,DOUBLESTRUCK], [1.360,SIZE1]] 328 }, 329 0x2190: 330 { 331 dir: H, 332 HW: [[0.690,MAIN], [1.010,SIZE1]], 333 stretch: {left:[0xE023,SIZE6], rep:[0xE024,SIZE6], right:[0xE025,SIZE6]} 334 }, 335 0x2191: 336 { 337 dir: V, 338 HW: [[0.690,MAIN], [1.010,SIZE1]], 339 stretch: {bot:[0xE029,SIZE6], ext:[0xE02A,SIZE6], top:[0xE02B,SIZE6]} 340 }, 341 0x2192: 342 { 343 dir: H, 344 HW: [[0.690,MAIN], [1.010,SIZE1]], 345 stretch: {left:[0xE026,SIZE6], rep:[0xE027,SIZE6], right:[0xE028,SIZE6]} 346 }, 347 0x2193: 348 { 349 dir: V, 350 HW: [[0.690,MAIN], [1.010,SIZE1]], 351 stretch: {bot:[0xE02C,SIZE6], ext:[0xE02D,SIZE6], top:[0xE02E,SIZE6]} 352 }, 353 0x2194: 354 { 355 dir: H, 356 HW: [[0.880,MAIN], [1.200,SIZE1]], 357 stretch: {left:[0xE037,SIZE6], rep:[0xE038,SIZE6], right:[0xE039,SIZE6]} 358 }, 359 0x2195: 360 { 361 dir: V, 362 HW: [[0.880,MAIN], [1.200,SIZE1]], 363 stretch: {bot:[0xE03A,SIZE6], ext:[0xE03B,SIZE6], top:[0xE03C,SIZE6]} 364 }, 365 0x2196: EXTRAV, 366 0x2197: EXTRAV, 367 0x2198: EXTRAV, 368 0x2199: EXTRAV, 369 0x219A: EXTRAH, 370 0x219B: EXTRAH, 371 0x219E: EXTRAH, 372 0x219F: EXTRAV, 373 0x21A0: EXTRAH, 374 0x21A1: EXTRAV, 375 0x21A2: EXTRAH, 376 0x21A3: EXTRAH, 377 0x21A4: 378 { 379 dir: H, 380 HW: [[0.690,ARROWS], [1.010,SIZE1]], 381 stretch: {left:[0xE053,SIZE6], rep:[0xE054,SIZE6], right:[0xE055,SIZE6]} 382 }, 383 0x21A5: EXTRAV, 384 0x21A6: 385 { 386 dir: H, 387 HW: [[0.690,MAIN], [1.010,SIZE1]], 388 stretch: {left:[0xE056,SIZE6], rep:[0xE057,SIZE6], right:[0xE058,SIZE6]} 389 }, 390 0x21A7: EXTRAV, 391 0x21A9: EXTRAH, 392 0x21AA: EXTRAH, 393 0x21AB: EXTRAH, 394 0x21AC: EXTRAH, 395 0x21AD: EXTRAH, 396 0x21AE: EXTRAH, 397 0x21B0: EXTRAV, 398 0x21B1: EXTRAV, 399 0x21B2: EXTRAV, 400 0x21B3: EXTRAV, 401 0x21B6: EXTRAH, 402 0x21B7: EXTRAH, 403 0x21BC: EXTRAH, 404 0x21BD: EXTRAH, 405 0x21BE: EXTRAV, 406 0x21BF: EXTRAV, 407 0x21C0: EXTRAH, 408 0x21C1: EXTRAH, 409 0x21C2: EXTRAV, 410 0x21C3: EXTRAV, 411 0x21C4: EXTRAH, 412 0x21C5: EXTRAV, 413 0x21C6: EXTRAH, 414 0x21C7: EXTRAH, 415 0x21C8: EXTRAV, 416 0x21C9: EXTRAH, 417 0x21CA: EXTRAV, 418 0x21CB: EXTRAH, 419 0x21CC: EXTRAH, 420 0x21CD: EXTRAH, 421 0x21CE: EXTRAH, 422 0x21CF: EXTRAH, 423 0x21D0: 424 { 425 dir: H, 426 HW: [[0.690,MAIN], [1.010,SIZE1]], 427 stretch: {left:[0xE0A7,SIZE6], rep:[0xE0A8,SIZE6], right:[0xE0A9,SIZE6]} 428 }, 429 0x21D1: 430 { 431 dir: V, 432 HW: [[0.690,MAIN], [1.010,SIZE1]], 433 stretch: {bot:[0xE0AD,SIZE6], ext:[0xE0AE,SIZE6], top:[0xE0AF,SIZE6]} 434 }, 435 0x21D2: 436 { 437 dir: H, 438 HW: [[0.690,MAIN], [1.010,SIZE1]], 439 stretch: {left:[0xE0AA,SIZE6], rep:[0xE0AB,SIZE6], right:[0xE0AC,SIZE6]} 440 }, 441 0x21D3: 442 { 443 dir: V, 444 HW: [[0.690,MAIN], [1.010,SIZE1]], 445 stretch: {bot:[0xE0B0,SIZE6], ext:[0xE0B1,SIZE6], top:[0xE0B2,SIZE6]} 446 }, 447 0x21D4: 448 { 449 dir: H, 450 HW: [[0.880,MAIN], [1.200,SIZE1]], 451 stretch: {left:[0xE0B3,SIZE6], rep:[0xE0B4,SIZE6], right:[0xE0B5,SIZE6]} 452 }, 453 0x21D5: 454 { 455 dir: V, 456 HW: [[0.880,MAIN], [1.200,SIZE1]], 457 stretch: {bot:[0xE0B6,SIZE6], ext:[0xE0B7,SIZE6], top:[0xE0B8,SIZE6]} 458 }, 459 0x21D6: EXTRAV, 460 0x21D7: EXTRAV, 461 0x21D8: EXTRAV, 462 0x21D9: EXTRAV, 463 0x21DA: EXTRAH, 464 0x21DB: EXTRAH, 465 0x21DC: EXTRAH, 466 0x21DD: EXTRAH, 467 0x21E6: EXTRAH, 468 0x21E7: EXTRAV, 469 0x21E8: EXTRAH, 470 0x21E9: EXTRAV, 471 0x21F3: EXTRAV, 472 0x21F5: EXTRAV, 473 0x21F6: EXTRAH, 474 0x220F: EXTRAV, 475 0x2210: EXTRAV, 476 0x2211: EXTRAV, 477 0x2212: 478 { 479 dir: H, 480 HW: [[0.500,MAIN]], 481 stretch: {left:[0xE127,SIZE6], rep:[0xE128,SIZE6], right:[0xE129,SIZE6]} 482 }, 483 0x2215: {alias: 0x2044, dir: V}, 484 0x221A: 485 { 486 dir: V, 487 HW: [[0.706,MAIN], [1.090,SIZE1], [1.474,SIZE2], [1.858,SIZE3], [2.242,SIZE4], [2.626,SIZE5], [3.010,SIZE6]], 488 stretch: {bot:[0x23B7,SYMBOLS], ext:[0xE133,SIZE6], top:[0xE134,SIZE6]} 489 }, 490 0x2223: 491 { 492 dir: V, 493 HW: [[0.800,MAIN], [0.960,SIZE1], [1.152,SIZE2], [1.382,SIZE3], [1.658,SIZE4], [1.990,SIZE5], [2.388,SIZE6]], 494 stretch: {bot:[0xE004,SIZE6], ext:[0xE005,SIZE6], top:[0xE006,SIZE6]} 495 }, 496 0x2225: 497 { 498 dir: V, 499 HW: [[0.800,MAIN], [0.960,SIZE1], [1.152,SIZE2], [1.382,SIZE3], [1.658,SIZE4], [1.990,SIZE5], [2.388,SIZE6]], 500 stretch: {bot:[0xE12A,SIZE6], ext:[0xE12B,SIZE6], top:[0xE12C,SIZE6]} 501 }, 502 0x222B: EXTRAV, 503 0x222C: EXTRAV, 504 0x222D: EXTRAV, 505 0x222E: EXTRAV, 506 0x222F: EXTRAV, 507 0x2230: EXTRAV, 508 0x2231: EXTRAV, 509 0x2232: EXTRAV, 510 0x2233: EXTRAV, 511 0x2261: EXTRAH, 512 0x2263: EXTRAH, 513 0x22A2: EXTRAV, 514 0x22A3: EXTRAV, 515 0x22A4: EXTRAV, 516 0x22A5: EXTRAV, 517 0x22C0: EXTRAV, 518 0x22C1: EXTRAV, 519 0x22C2: EXTRAV, 520 0x22C3: EXTRAV, 521 0x2308: 522 { 523 dir: V, 524 HW: [[0.818,MAIN], [0.979,SIZE1], [1.171,SIZE2], [1.402,SIZE3], [1.678,SIZE4], [2.011,SIZE5], [2.410,SIZE6], [2.780,SIZE6,1.154]], 525 stretch: {ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]} 526 }, 527 0x2309: 528 { 529 dir: V, 530 HW: [[0.818,MAIN], [0.979,SIZE1], [1.171,SIZE2], [1.402,SIZE3], [1.678,SIZE4], [2.011,SIZE5], [2.410,SIZE6], [2.780,SIZE6,1.154]], 531 stretch: {ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]} 532 }, 533 0x230A: 534 { 535 dir: V, 536 HW: [[0.818,MAIN], [0.979,SIZE1], [1.171,SIZE2], [1.402,SIZE3], [1.678,SIZE4], [2.011,SIZE5], [2.410,SIZE6], [2.780,SIZE6,1.154]], 537 stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS]} 538 }, 539 0x230B: 540 { 541 dir: V, 542 HW: [[0.818,MAIN], [0.979,SIZE1], [1.171,SIZE2], [1.402,SIZE3], [1.678,SIZE4], [2.011,SIZE5], [2.410,SIZE6], [2.780,SIZE6,1.154]], 543 stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]} 544 }, 545 0x2312: {alias: 0x23DC, dir:H}, 546 0x2322: {alias: 0x23DC, dir:H}, 547 0x2323: {alias: 0x23DD, dir:H}, 548 0x2329: 549 { 550 dir: V, 551 HW: [[0.812,SYMBOLS], [1.060,SIZE1], [1.382,SIZE2], [1.806,SIZE3], [2.364,SIZE4], [3.092,SIZE5], [4.048,SIZE6]] 552 }, 553 0x232A: 554 { 555 dir: V, 556 HW: [[0.812,SYMBOLS], [1.060,SIZE1], [1.382,SIZE2], [1.806,SIZE3], [2.364,SIZE4], [3.092,SIZE5], [4.048,SIZE6]] 557 }, 558 0x23AA: 559 { 560 dir: V, 561 HW: [[0.596,SYMBOLS]], 562 stretch: {ext:[0x23AA,SYMBOLS]} 563 }, 564 0x23AF: {alias: 0x305, dir: H}, 565 0x23B0: 566 { 567 dir: V, 568 HW: [[0.607,SYMBOLS,null,0x23A7]], 569 stretch: {top:[0x23A7,SYMBOLS], ext:[0x23AA,SYMBOLS], bot:[0x23AD,SYMBOLS]} 570 }, 571 0x23B1: 572 { 573 dir: V, 574 HW: [[0.607,SYMBOLS,null,0x23AB]], 575 stretch: {top:[0x23AB,SYMBOLS], ext:[0x23AA,SYMBOLS], bot:[0x23A9,SYMBOLS]} 576 }, 577 0x23B4: EXTRAH, 578 0x23B5: EXTRAH, 579 0x23D0: 580 { 581 dir: V, 582 HW: [[0.800,MAIN,null,0x7C], [1.350,MAIN,1.688,0x7C], [1.827,MAIN,2.283,0x7C], [2.303,MAIN,2.879,0x7C], [2.780,MAIN,3.474,0x7C]], 583 stretch: {ext:[0x7C,MAIN]} 584 }, 585 0x23DC: EXTRAH, 586 0x23DD: EXTRAH, 587 0x23DE: 588 { 589 dir: H, 590 HW: [[0.520,MAIN], [1.019,SIZE1], [1.519,SIZE2], [2.019,SIZE3], [2.519,SIZE4], [3.019,SIZE5], [3.519,SIZE6]], 591 stretch: {left:[0xE10D,SIZE6], rep:[0xE10E,SIZE6], mid:[0xE10F,SIZE6], right:[0xE110,SIZE6]} 592 }, 593 0x23DF: 594 { 595 dir: H, 596 HW: [[0.520,MAIN], [1.019,SIZE1], [1.519,SIZE2], [2.019,SIZE3], [2.519,SIZE4], [3.019,SIZE5], [3.519,SIZE6]], 597 stretch: {left:[0xE111,SIZE6], rep:[0xE112,SIZE6], mid:[0xE113,SIZE6], right:[0xE114,SIZE6]} 598 }, 599 0x23E0: EXTRAH, 600 0x23E1: EXTRAH, 601 0x2500: {alias: 0x305, dir: H}, 602 0x27A1: EXTRAH, 603 0x27E6: EXTRAV, 604 0x27E7: EXTRAV, 605 0x27E8: 606 { 607 dir: V, 608 HW: [[0.812,MAIN], [1.060,SIZE1], [1.382,SIZE2], [1.806,SIZE3], [1.827,SIZE3,1.012], [2.364,SIZE4], [3.092,SIZE5], [4.048,SIZE6]] 609 }, 610 0x27E9: 611 { 612 dir: V, 613 HW: [[0.812,MAIN], [1.060,SIZE1], [1.382,SIZE2], [1.806,SIZE3], [1.827,SIZE3,1.012], [2.364,SIZE4], [3.092,SIZE5], [4.048,SIZE6]] 614 }, 615 0x27EA: EXTRAV, 616 0x27EB: EXTRAV, 617 0x27EE: 618 { 619 dir: V, 620 HW: [[0.814,MAIN], [0.974,SIZE1], [1.166,SIZE2], [1.396,SIZE3], [1.672,SIZE4], [2.004,SIZE5], [2.402,SIZE6]], 621 stretch: {bot:[0xE101,SIZE6], ext:[0xE102,SIZE6], top:[0xE103,SIZE6]} 622 }, 623 0x27EF: 624 { 625 dir: V, 626 HW: [[0.814,MAIN], [0.974,SIZE1], [1.166,SIZE2], [1.396,SIZE3], [1.672,SIZE4], [2.004,SIZE5], [2.402,SIZE6]], 627 stretch: {bot:[0xE104,SIZE6], ext:[0xE105,SIZE6], top:[0xE106,SIZE6]} 628 }, 629 0x27F5: {alias: 0x2190, dir: H}, 630 0x27F6: {alias: 0x2192, dir: H}, 631 0x27F7: {alias: 0x2194, dir: H}, 632 0x27F8: {alias: 0x21D0, dir: H}, 633 0x27F9: {alias: 0x21D2, dir: H}, 634 0x27FA: {alias: 0x21D4, dir: H}, 635 0x27FB: {alias: 0x21A4, dir: H}, 636 0x27FC: {alias: 0x21A6, dir: H}, 637 0x27FD: {alias: 0x2906, dir: H}, 638 0x27FE: {alias: 0x2907, dir: H}, 639 0x2906: 640 { 641 dir: H, 642 HW: [[0.870,ARROWS], [1.190,SIZE1]], 643 stretch: {left:[0xE0C5,SIZE6], rep:[0xE0C6,SIZE6], right:[0xE0C7,SIZE6]} 644 }, 645 0x2907: 646 { 647 dir: H, 648 HW: [[0.870,ARROWS], [1.190,SIZE1]], 649 stretch: {left:[0xE0C8,SIZE6], rep:[0xE0C9,SIZE6], right:[0xE0CA,SIZE6]} 650 }, 651 0x2A00: EXTRAV, 652 0x2A01: EXTRAV, 653 0x2A02: EXTRAV, 654 0x2A03: EXTRAV, 655 0x2A04: EXTRAV, 656 0x2A05: EXTRAV, 657 0x2A06: EXTRAV, 658 0x2A09: EXTRAV, 659 0x2A0C: EXTRAV, 660 0x2A11: EXTRAV, 661 0x2B04: EXTRAH, 662 0x2B05: EXTRAH, 663 0x2B06: EXTRAV, 664 0x2B07: EXTRAV, 665 0x2B0C: EXTRAH, 666 0x2B0D: EXTRAV, 667 0x2B31: EXTRAH, 668 0x3008: {alias: 0x27E8, dir: V}, 669 0x3009: {alias: 0x27E9, dir: V}, 670 0xFE37: {alias: 0x23DE, dir: H}, 671 0xFE38: {alias: 0x23DF, dir: H} 672 } 673 674 } 675 }); 676 MathJax.Hub.Register.LoadHook(HTMLCSS.fontDir+"/Size1/Regular/Main.js",function () { 677 var i; 678 for (i = 0x222B; i <= 0x222D; i++) { 679 HTMLCSS.FONTDATA.FONTS[SIZE1][i][2] -= 200; 680 HTMLCSS.FONTDATA.FONTS[SIZE1][i][5] = {rfix:-200}; 681 } 682 for (i = 0x222E; i <= 0x2231; i++) { 683 HTMLCSS.FONTDATA.FONTS[SIZE1][i][2] -= 150; 684 HTMLCSS.FONTDATA.FONTS[SIZE1][i][5] = {rfix:-150}; 685 } 686 }); 687 AJAX.loadComplete(HTMLCSS.fontDir + "/fontdata.js"); 688 689 })(MathJax.OutputJax["HTML-CSS"],MathJax.ElementJax.mml,MathJax.Ajax);