fontdata.js 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686
  1. /*************************************************************
  2. *
  3. * MathJax/jax/output/SVG/fonts/Gyre-Pagella/fontdata.js
  4. *
  5. * Initializes the SVG OutputJax to use the Gyre-Pagella fonts
  6. * Copyright (c) 2013-2017 The MathJax Consortium
  7. *
  8. * Licensed under the Apache License, Version 2.0 (the "License");
  9. * you may not use this file except in compliance with the License.
  10. * You may obtain a copy of the License at
  11. *
  12. * http://www.apache.org/licenses/LICENSE-2.0
  13. *
  14. * Unless required by applicable law or agreed to in writing, software
  15. * distributed under the License is distributed on an "AS IS" BASIS,
  16. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  17. * See the License for the specific language governing permissions and
  18. * limitations under the License.
  19. */
  20. (function (SVG,MML,AJAX,HUB) {
  21. var VERSION = "2.7.2";
  22. var ALPHABETS = "GyrePagellaMathJax_Alphabets",
  23. ARROWS = "GyrePagellaMathJax_Arrows",
  24. DOUBLESTRUCK = "GyrePagellaMathJax_DoubleStruck",
  25. FRAKTUR = "GyrePagellaMathJax_Fraktur",
  26. LATIN = "GyrePagellaMathJax_Latin",
  27. MAIN = "GyrePagellaMathJax_Main",
  28. MARKS = "GyrePagellaMathJax_Marks",
  29. MISC = "GyrePagellaMathJax_Misc",
  30. MONOSPACE = "GyrePagellaMathJax_Monospace",
  31. NONUNICODE = "GyrePagellaMathJax_NonUnicode",
  32. NORMAL = "GyrePagellaMathJax_Normal",
  33. OPERATORS = "GyrePagellaMathJax_Operators",
  34. SANSSERIF = "GyrePagellaMathJax_SansSerif",
  35. SCRIPT = "GyrePagellaMathJax_Script",
  36. SHAPES = "GyrePagellaMathJax_Shapes",
  37. SIZE1 = "GyrePagellaMathJax_Size1",
  38. SIZE2 = "GyrePagellaMathJax_Size2",
  39. SIZE3 = "GyrePagellaMathJax_Size3",
  40. SIZE4 = "GyrePagellaMathJax_Size4",
  41. SIZE5 = "GyrePagellaMathJax_Size5",
  42. SIZE6 = "GyrePagellaMathJax_Size6",
  43. SYMBOLS = "GyrePagellaMathJax_Symbols",
  44. VARIANTS = "GyrePagellaMathJax_Variants";
  45. var H = "H", V = "V", EXTRAH = {load:"extra", dir:H}, EXTRAV = {load:"extra", dir:V};
  46. SVG.Augment({
  47. FONTDATA: {
  48. version: VERSION,
  49. baselineskip: 1200,
  50. lineH: 800, lineD: 200,
  51. FONTS: {
  52. "GyrePagellaMathJax_Alphabets": "Alphabets/Regular/Main.js",
  53. "GyrePagellaMathJax_Arrows": "Arrows/Regular/Main.js",
  54. "GyrePagellaMathJax_DoubleStruck": "DoubleStruck/Regular/Main.js",
  55. "GyrePagellaMathJax_Fraktur": "Fraktur/Regular/Main.js",
  56. "GyrePagellaMathJax_Latin": "Latin/Regular/Main.js",
  57. "GyrePagellaMathJax_Main": "Main/Regular/Main.js",
  58. "GyrePagellaMathJax_Marks": "Marks/Regular/Main.js",
  59. "GyrePagellaMathJax_Misc": "Misc/Regular/Main.js",
  60. "GyrePagellaMathJax_Monospace": "Monospace/Regular/Main.js",
  61. "GyrePagellaMathJax_NonUnicode": "NonUnicode/Regular/Main.js",
  62. "GyrePagellaMathJax_Normal": "Normal/Regular/Main.js",
  63. "GyrePagellaMathJax_Operators": "Operators/Regular/Main.js",
  64. "GyrePagellaMathJax_SansSerif": "SansSerif/Regular/Main.js",
  65. "GyrePagellaMathJax_Script": "Script/Regular/Main.js",
  66. "GyrePagellaMathJax_Shapes": "Shapes/Regular/Main.js",
  67. "GyrePagellaMathJax_Size1": "Size1/Regular/Main.js",
  68. "GyrePagellaMathJax_Size2": "Size2/Regular/Main.js",
  69. "GyrePagellaMathJax_Size3": "Size3/Regular/Main.js",
  70. "GyrePagellaMathJax_Size4": "Size4/Regular/Main.js",
  71. "GyrePagellaMathJax_Size5": "Size5/Regular/Main.js",
  72. "GyrePagellaMathJax_Size6": "Size6/Regular/Main.js",
  73. "GyrePagellaMathJax_Symbols": "Symbols/Regular/Main.js",
  74. "GyrePagellaMathJax_Variants": "Variants/Regular/Main.js"
  75. },
  76. VARIANT: {
  77. "normal": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1]},
  78. "bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], bold:true
  79. , offsetA: 0x1D400, offsetG: 0x1D6A8, offsetN: 0x1D7CE},
  80. "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}},
  81. "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},
  82. "double-struck": {
  83. fonts: [DOUBLESTRUCK],
  84. offsetA: 0x1D538,
  85. offsetN: 0x1D7D8,
  86. remap: {0x1D53A: 0x2102, 0x1D53F: 0x210D, 0x1D545: 0x2115, 0x1D547: 0x2119, 0x1D548: 0x211A, 0x1D549: 0x211D, 0x1D551: 0x2124}
  87. },
  88. "fraktur": {
  89. fonts: [FRAKTUR],
  90. offsetA: 0x1D504,
  91. remap: {0x1D506: 0x212D, 0x1D50B: 0x210C, 0x1D50C: 0x2111, 0x1D515: 0x211C, 0x1D51D: 0x2128}
  92. },
  93. "bold-fraktur": {
  94. fonts: [FRAKTUR], bold:true,
  95. offsetA: 0x1D56C
  96. },
  97. "script": {
  98. fonts: [SCRIPT], italic:true,
  99. offsetA: 0x1D49C,
  100. remap: {0x1D49D: 0x212C, 0x1D4A0: 0x2130, 0x1D4A1: 0x2131, 0x1D4A3: 0x210B, 0x1D4A4: 0x2110, 0x1D4A7: 0x2112, 0x1D4A8: 0x2133, 0x1D4AD: 0x211B, 0x1D4BA: 0x212F, 0x1D4BC: 0x210A, 0x1D4C4: 0x2134}
  101. },
  102. "bold-script": {
  103. fonts: [SCRIPT], bold:true, italic:true,
  104. offsetA: 0x1D4D0
  105. },
  106. "sans-serif": {
  107. fonts: [SANSSERIF],
  108. offsetA: 0x1D5A0,
  109. offsetN: 0x1D7E2
  110. },
  111. "bold-sans-serif": {
  112. fonts: [SANSSERIF], bold:true,
  113. offsetA: 0x1D5D4,
  114. offsetN: 0x1D7EC,
  115. offsetG: 0x1D756
  116. },
  117. "sans-serif-italic": {
  118. fonts: [SANSSERIF], italic: true,
  119. offsetA: 0x1D608
  120. },
  121. "sans-serif-bold-italic": {
  122. fonts: [SANSSERIF], bold:true, italic: true,
  123. offsetA: 0x1D63C,
  124. offsetG: 0x1D790
  125. },
  126. "monospace": {
  127. fonts: [MONOSPACE],
  128. offsetA: 0x1D670,
  129. offsetN: 0x1D7F6
  130. },
  131. "-Gyre-Pagella-variant": {fonts: [VARIANTS,MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,NONUNICODE,SIZE1]},
  132. "-tex-caligraphic": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic: true},
  133. "-tex-oldstyle": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1]},
  134. "-tex-caligraphic-bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic: true, bold: true},
  135. "-tex-oldstyle-bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], bold: true},
  136. "-tex-mathit": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic:true, noIC:true},
  137. "-largeOp": {fonts:[SIZE1,MAIN]},
  138. "-smallOp": {}
  139. },
  140. RANGES: [
  141. {name: "alpha", low: 0x61, high: 0x7A, offset: "A", add: 26},
  142. {name: "Alpha", low: 0x41, high: 0x5A, offset: "A"},
  143. {name: "number", low: 0x30, high: 0x39, offset: "N"},
  144. {name: "greek", low: 0x03B1, high: 0x03C9, offset: "G", add: 26},
  145. {name: "Greek", low: 0x0391, high: 0x03F6, offset: "G",
  146. remap: {0x03F5: 52, 0x03D1: 53, 0x03F0: 54, 0x03D5: 55, 0x03F1: 56, 0x03D6: 57, 0x03F4: 17}}
  147. ],
  148. RULECHAR: 0x2212,
  149. REMAP: {
  150. 0xA: 0x20,
  151. 0x25C2: 0x25C0,
  152. 0x3008: 0x27E8,
  153. 0x3009: 0x27E9,
  154. 0x2758: 0x2223,
  155. 0x25B8: 0x25B6,
  156. 0x03D2: 0x03A5,
  157. 0x25B4: 0x25B2,
  158. 0x25B5: 0x25B3,
  159. 0xFE37: 0x23DE,
  160. 0xFE38: 0x23DF,
  161. 0x02B9: 0x2032,
  162. 0x25FB: 0x25A1,
  163. 0x25FC: 0x25A0,
  164. 0x25BE: 0x25BC,
  165. 0x203E: 0x0305,
  166. 0x25BF: 0x25BD
  167. },
  168. REMAPACCENT: {
  169. "\u007E": "\u0303",
  170. "\u2192": "\u20D7",
  171. "\u0060": "\u0300",
  172. "\u005E": "\u0302",
  173. "\u00B4": "\u0301",
  174. "\u2032": "\u0301",
  175. "\u2035": "\u0300"
  176. },
  177. REMAPACCENTUNDER: {
  178. },
  179. DELIMITERS: {
  180. 0x28:
  181. {
  182. dir: V,
  183. HW: [[828,MAIN], [988,SIZE1], [1180,SIZE2], [1410,SIZE3], [1686,SIZE4], [2017,SIZE5], [2416,SIZE6], [2612,SIZE6,1.081]],
  184. stretch: {bot:[0x239D,SYMBOLS], ext:[0x239C,SYMBOLS], top:[0x239B,SYMBOLS]}
  185. },
  186. 0x29:
  187. {
  188. dir: V,
  189. HW: [[828,MAIN], [988,SIZE1], [1180,SIZE2], [1410,SIZE3], [1686,SIZE4], [2017,SIZE5], [2416,SIZE6], [2612,SIZE6,1.081]],
  190. stretch: {bot:[0x23A0,SYMBOLS], ext:[0x239F,SYMBOLS], top:[0x239E,SYMBOLS]}
  191. },
  192. 0x2D: {alias: 0x2212, dir: H},
  193. 0x2F:
  194. {
  195. dir: V,
  196. HW: [[800,MAIN], [1048,SIZE1], [1372,SIZE2], [1798,SIZE3], [2356,SIZE4], [3086,SIZE5], [4043,SIZE6]]
  197. },
  198. 0x3D:
  199. {
  200. dir: H,
  201. HW: [[600,MAIN]],
  202. stretch: {left:[0xE000,SIZE6], rep:[0xE001,SIZE6], right:[0xE002,SIZE6]}
  203. },
  204. 0x5B:
  205. {
  206. dir: V,
  207. HW: [[840,MAIN], [1000,SIZE1], [1192,SIZE2], [1422,SIZE3], [1698,SIZE4], [2029,SIZE5], [2428,SIZE6], [2612,SIZE6,1.076]],
  208. stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]}
  209. },
  210. 0x5C:
  211. {
  212. dir: V,
  213. HW: [[800,MAIN], [1048,SIZE1], [1372,SIZE2], [1798,SIZE3], [2356,SIZE4], [3086,SIZE5], [4043,SIZE6]]
  214. },
  215. 0x5D:
  216. {
  217. dir: V,
  218. HW: [[840,MAIN], [1000,SIZE1], [1192,SIZE2], [1422,SIZE3], [1698,SIZE4], [2029,SIZE5], [2428,SIZE6], [2612,SIZE6,1.076]],
  219. stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]}
  220. },
  221. 0x5E: {alias: 0x302, dir: H},
  222. 0x5F: {alias: 0x332, dir: H},
  223. 0x7B:
  224. {
  225. dir: V,
  226. HW: [[838,MAIN], [998,SIZE1], [1190,SIZE2], [1420,SIZE3], [1696,SIZE4], [2028,SIZE5], [2426,SIZE6], [2612,SIZE6,1.077]],
  227. stretch: {bot:[0x23A9,SYMBOLS], ext:[0xE003,SIZE6], mid:[0x23A8,SYMBOLS], top:[0x23A7,SYMBOLS]}
  228. },
  229. 0x7C:
  230. {
  231. dir: V,
  232. HW: [[800,MAIN], [960,SIZE1], [1152,SIZE2], [1382,SIZE3], [1658,SIZE4], [1990,SIZE5], [2388,SIZE6]],
  233. stretch: {bot:[0xE004,SIZE6], ext:[0xE005,SIZE6], top:[0xE006,SIZE6]}
  234. },
  235. 0x7D:
  236. {
  237. dir: V,
  238. HW: [[838,MAIN], [998,SIZE1], [1190,SIZE2], [1420,SIZE3], [1696,SIZE4], [2028,SIZE5], [2426,SIZE6], [2612,SIZE6,1.077]],
  239. stretch: {bot:[0x23AD,SYMBOLS], ext:[0xE007,SIZE6], mid:[0x23AC,SYMBOLS], top:[0x23AB,SYMBOLS]}
  240. },
  241. 0x7E: {alias: 0x303, dir: H},
  242. 0xAF: {alias: 0x332, dir: H},
  243. 0x2C6: {alias: 0x302, dir: H},
  244. 0x2C9: {alias: 0x2212, dir: H},
  245. 0x2DC: {alias: 0x303, dir: H},
  246. 0x302:
  247. {
  248. dir: H,
  249. HW: [[348,MAIN], [613,SIZE1], [731,SIZE2], [874,SIZE3], [1045,SIZE4], [1251,SIZE5], [1498,SIZE6]]
  250. },
  251. 0x303:
  252. {
  253. dir: H,
  254. HW: [[342,MAIN], [608,SIZE1], [727,SIZE2], [870,SIZE3], [1042,SIZE4], [1247,SIZE5], [1496,SIZE6]]
  255. },
  256. 0x305:
  257. {
  258. dir: H,
  259. HW: [[333,MARKS], [500,SIZE1]],
  260. stretch: {left:[0xE0FB,SIZE6], rep:[0xE0FC,SIZE6], right:[0xE0FD,SIZE6]}
  261. },
  262. 0x306: EXTRAH,
  263. 0x30C:
  264. {
  265. dir: H,
  266. HW: [[348,MAIN], [613,SIZE1], [731,SIZE2], [874,SIZE3], [1045,SIZE4], [1251,SIZE5], [1498,SIZE6]]
  267. },
  268. 0x311: EXTRAH,
  269. 0x32C: EXTRAH,
  270. 0x32D: EXTRAH,
  271. 0x32E: EXTRAH,
  272. 0x32F: EXTRAH,
  273. 0x330: EXTRAH,
  274. 0x332:
  275. {
  276. dir: H,
  277. HW: [[333,MARKS], [500,SIZE1]],
  278. stretch: {left:[0xE0F5,SIZE6], rep:[0xE0F6,SIZE6], right:[0xE0F7,SIZE6]}
  279. },
  280. 0x333: EXTRAH,
  281. 0x33F: EXTRAH,
  282. 0x2015: {alias: 0x2212, dir: H},
  283. 0x2016:
  284. {
  285. dir: V,
  286. HW: [[800,MAIN], [960,SIZE1], [1152,SIZE2], [1382,SIZE3], [1658,SIZE4], [1990,SIZE5], [2388,SIZE6]],
  287. stretch: {bot:[0xE12A,SIZE6], ext:[0xE12B,SIZE6], top:[0xE12C,SIZE6]}
  288. },
  289. 0x2017: {alias: 0x2212, dir: H},
  290. 0x203E: {alias: 0x2212, dir: H},
  291. 0x2044:
  292. {
  293. dir: V,
  294. HW: [[800,MAIN], [1048,SIZE1], [1372,SIZE2], [1798,SIZE3], [2356,SIZE4], [3086,SIZE5], [4043,SIZE6]]
  295. },
  296. 0x20D0: EXTRAH,
  297. 0x20D1: EXTRAH,
  298. 0x20D6: EXTRAH,
  299. 0x20D7: EXTRAH,
  300. 0x20E1: EXTRAH,
  301. 0x20E9: EXTRAH,
  302. 0x20EC: EXTRAH,
  303. 0x20ED: EXTRAH,
  304. 0x20EE: EXTRAH,
  305. 0x20EF: EXTRAH,
  306. 0x2140:
  307. {
  308. dir: V,
  309. HW: [[1000,DOUBLESTRUCK], [1442,SIZE1]]
  310. },
  311. 0x2190:
  312. {
  313. dir: H,
  314. HW: [[760,MAIN], [1210,SIZE1]],
  315. stretch: {left:[0xE023,SIZE6], rep:[0xE024,SIZE6], right:[0xE025,SIZE6]}
  316. },
  317. 0x2191:
  318. {
  319. dir: V,
  320. HW: [[760,MAIN], [1210,SIZE1]],
  321. stretch: {bot:[0xE029,SIZE6], ext:[0xE02A,SIZE6], top:[0xE02B,SIZE6]}
  322. },
  323. 0x2192:
  324. {
  325. dir: H,
  326. HW: [[760,MAIN], [1210,SIZE1]],
  327. stretch: {left:[0xE026,SIZE6], rep:[0xE027,SIZE6], right:[0xE028,SIZE6]}
  328. },
  329. 0x2193:
  330. {
  331. dir: V,
  332. HW: [[760,MAIN], [1210,SIZE1]],
  333. stretch: {bot:[0xE02C,SIZE6], ext:[0xE02D,SIZE6], top:[0xE02E,SIZE6]}
  334. },
  335. 0x2194:
  336. {
  337. dir: H,
  338. HW: [[845,MAIN], [1295,SIZE1]],
  339. stretch: {left:[0xE037,SIZE6], rep:[0xE038,SIZE6], right:[0xE039,SIZE6]}
  340. },
  341. 0x2195:
  342. {
  343. dir: V,
  344. HW: [[845,MAIN], [1295,SIZE1]],
  345. stretch: {bot:[0xE03A,SIZE6], ext:[0xE03B,SIZE6], top:[0xE03C,SIZE6]}
  346. },
  347. 0x2196: EXTRAV,
  348. 0x2197: EXTRAV,
  349. 0x2198: EXTRAV,
  350. 0x2199: EXTRAV,
  351. 0x219A: EXTRAH,
  352. 0x219B: EXTRAH,
  353. 0x219E: EXTRAH,
  354. 0x219F: EXTRAV,
  355. 0x21A0: EXTRAH,
  356. 0x21A1: EXTRAV,
  357. 0x21A2: EXTRAH,
  358. 0x21A3: EXTRAH,
  359. 0x21A4:
  360. {
  361. dir: H,
  362. HW: [[760,ARROWS], [1210,SIZE1]],
  363. stretch: {left:[0xE053,SIZE6], rep:[0xE054,SIZE6], right:[0xE055,SIZE6]}
  364. },
  365. 0x21A5: EXTRAV,
  366. 0x21A6:
  367. {
  368. dir: H,
  369. HW: [[760,MAIN], [1210,SIZE1]],
  370. stretch: {left:[0xE056,SIZE6], rep:[0xE057,SIZE6], right:[0xE058,SIZE6]}
  371. },
  372. 0x21A7: EXTRAV,
  373. 0x21A9: EXTRAH,
  374. 0x21AA: EXTRAH,
  375. 0x21AB: EXTRAH,
  376. 0x21AC: EXTRAH,
  377. 0x21AD: EXTRAH,
  378. 0x21AE: EXTRAH,
  379. 0x21B0: EXTRAV,
  380. 0x21B1: EXTRAV,
  381. 0x21B2: EXTRAV,
  382. 0x21B3: EXTRAV,
  383. 0x21B6: EXTRAH,
  384. 0x21B7: EXTRAH,
  385. 0x21BC: EXTRAH,
  386. 0x21BD: EXTRAH,
  387. 0x21BE: EXTRAV,
  388. 0x21BF: EXTRAV,
  389. 0x21C0: EXTRAH,
  390. 0x21C1: EXTRAH,
  391. 0x21C2: EXTRAV,
  392. 0x21C3: EXTRAV,
  393. 0x21C4: EXTRAH,
  394. 0x21C5: EXTRAV,
  395. 0x21C6: EXTRAH,
  396. 0x21C7: EXTRAH,
  397. 0x21C8: EXTRAV,
  398. 0x21C9: EXTRAH,
  399. 0x21CA: EXTRAV,
  400. 0x21CB: EXTRAH,
  401. 0x21CC: EXTRAH,
  402. 0x21CD: EXTRAH,
  403. 0x21CE: EXTRAH,
  404. 0x21CF: EXTRAH,
  405. 0x21D0:
  406. {
  407. dir: H,
  408. HW: [[760,MAIN], [1210,SIZE1]],
  409. stretch: {left:[0xE0A7,SIZE6], rep:[0xE0A8,SIZE6], right:[0xE0A9,SIZE6]}
  410. },
  411. 0x21D1:
  412. {
  413. dir: V,
  414. HW: [[760,MAIN], [1210,SIZE1]],
  415. stretch: {bot:[0xE0AD,SIZE6], ext:[0xE0AE,SIZE6], top:[0xE0AF,SIZE6]}
  416. },
  417. 0x21D2:
  418. {
  419. dir: H,
  420. HW: [[760,MAIN], [1210,SIZE1]],
  421. stretch: {left:[0xE0AA,SIZE6], rep:[0xE0AB,SIZE6], right:[0xE0AC,SIZE6]}
  422. },
  423. 0x21D3:
  424. {
  425. dir: V,
  426. HW: [[760,MAIN], [1210,SIZE1]],
  427. stretch: {bot:[0xE0B0,SIZE6], ext:[0xE0B1,SIZE6], top:[0xE0B2,SIZE6]}
  428. },
  429. 0x21D4:
  430. {
  431. dir: H,
  432. HW: [[845,MAIN], [1295,SIZE1]],
  433. stretch: {left:[0xE0B3,SIZE6], rep:[0xE0B4,SIZE6], right:[0xE0B5,SIZE6]}
  434. },
  435. 0x21D5:
  436. {
  437. dir: V,
  438. HW: [[845,MAIN], [1295,SIZE1]],
  439. stretch: {bot:[0xE0B6,SIZE6], ext:[0xE0B7,SIZE6], top:[0xE0B8,SIZE6]}
  440. },
  441. 0x21D6: EXTRAV,
  442. 0x21D7: EXTRAV,
  443. 0x21D8: EXTRAV,
  444. 0x21D9: EXTRAV,
  445. 0x21DA: EXTRAH,
  446. 0x21DB: EXTRAH,
  447. 0x21DC: EXTRAH,
  448. 0x21DD: EXTRAH,
  449. 0x21E6: EXTRAH,
  450. 0x21E7: EXTRAV,
  451. 0x21E8: EXTRAH,
  452. 0x21E9: EXTRAV,
  453. 0x21F3: EXTRAV,
  454. 0x21F5: EXTRAV,
  455. 0x21F6: EXTRAH,
  456. 0x220F: EXTRAV,
  457. 0x2210: EXTRAV,
  458. 0x2211: EXTRAV,
  459. 0x2212:
  460. {
  461. HW: [],
  462. stretch: {rep:[0x2212,MAIN,0,0,0,-.27,-.28]}
  463. },
  464. 0x2215: {alias: 0x2044, dir: V},
  465. 0x221A:
  466. {
  467. dir: V,
  468. HW: [[790,MAIN], [1150,SIZE1], [1510,SIZE2], [1870,SIZE3], [2230,SIZE4], [2590,SIZE5], [2950,SIZE6]],
  469. stretch: {bot:[0x23B7,SYMBOLS], ext:[0xE133,SIZE6], top:[0xE134,SIZE6]}
  470. },
  471. 0x2223:
  472. {
  473. dir: V,
  474. HW: [[800,MAIN], [960,SIZE1], [1152,SIZE2], [1382,SIZE3], [1658,SIZE4], [1990,SIZE5], [2388,SIZE6]],
  475. stretch: {bot:[0xE004,SIZE6], ext:[0xE005,SIZE6], top:[0xE006,SIZE6]}
  476. },
  477. 0x2225:
  478. {
  479. dir: V,
  480. HW: [[800,MAIN], [960,SIZE1], [1152,SIZE2], [1382,SIZE3], [1658,SIZE4], [1990,SIZE5], [2388,SIZE6]],
  481. stretch: {bot:[0xE12A,SIZE6], ext:[0xE12B,SIZE6], top:[0xE12C,SIZE6]}
  482. },
  483. 0x222B: EXTRAV,
  484. 0x222C: EXTRAV,
  485. 0x222D: EXTRAV,
  486. 0x222E: EXTRAV,
  487. 0x222F: EXTRAV,
  488. 0x2230: EXTRAV,
  489. 0x2231: EXTRAV,
  490. 0x2232: EXTRAV,
  491. 0x2233: EXTRAV,
  492. 0x2261: EXTRAH,
  493. 0x2263: EXTRAH,
  494. 0x22A2: EXTRAV,
  495. 0x22A3: EXTRAV,
  496. 0x22A4: EXTRAV,
  497. 0x22A5: EXTRAV,
  498. 0x22C0: EXTRAV,
  499. 0x22C1: EXTRAV,
  500. 0x22C2: EXTRAV,
  501. 0x22C3: EXTRAV,
  502. 0x2308:
  503. {
  504. dir: V,
  505. HW: [[820,MAIN], [980,SIZE1], [1172,SIZE2], [1402,SIZE3], [1678,SIZE4], [2009,SIZE5], [2408,SIZE6], [2612,SIZE6,1.085]],
  506. stretch: {ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]}
  507. },
  508. 0x2309:
  509. {
  510. dir: V,
  511. HW: [[820,MAIN], [980,SIZE1], [1172,SIZE2], [1402,SIZE3], [1678,SIZE4], [2009,SIZE5], [2408,SIZE6], [2612,SIZE6,1.085]],
  512. stretch: {ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]}
  513. },
  514. 0x230A:
  515. {
  516. dir: V,
  517. HW: [[820,MAIN], [980,SIZE1], [1172,SIZE2], [1402,SIZE3], [1678,SIZE4], [2009,SIZE5], [2408,SIZE6], [2612,SIZE6,1.085]],
  518. stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS]}
  519. },
  520. 0x230B:
  521. {
  522. dir: V,
  523. HW: [[820,MAIN], [980,SIZE1], [1172,SIZE2], [1402,SIZE3], [1678,SIZE4], [2009,SIZE5], [2408,SIZE6], [2612,SIZE6,1.085]],
  524. stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
  525. },
  526. 0x2312: {alias: 0x23DC, dir:H},
  527. 0x2322: {alias: 0x23DC, dir:H},
  528. 0x2323: {alias: 0x23DD, dir:H},
  529. 0x2329:
  530. {
  531. dir: V,
  532. HW: [[816,SYMBOLS], [1062,SIZE1], [1386,SIZE2], [1810,SIZE3], [2366,SIZE4], [3095,SIZE5], [4050,SIZE6]]
  533. },
  534. 0x232A:
  535. {
  536. dir: V,
  537. HW: [[816,SYMBOLS], [1062,SIZE1], [1386,SIZE2], [1810,SIZE3], [2366,SIZE4], [3095,SIZE5], [4050,SIZE6]]
  538. },
  539. 0x23AA:
  540. {
  541. dir: V,
  542. HW: [[596,SYMBOLS]],
  543. stretch: {ext:[0x23AA,SYMBOLS]}
  544. },
  545. 0x23AF: {alias: 0x2212, dir: H},
  546. 0x23B0:
  547. {
  548. dir: V,
  549. HW: [[616,SYMBOLS,null,0x23A7]],
  550. stretch: {top:[0x23A7,SYMBOLS], ext:[0x23AA,SYMBOLS], bot:[0x23AD,SYMBOLS]}
  551. },
  552. 0x23B1:
  553. {
  554. dir: V,
  555. HW: [[616,SYMBOLS,null,0x23AB]],
  556. stretch: {top:[0x23AB,SYMBOLS], ext:[0x23AA,SYMBOLS], bot:[0x23A9,SYMBOLS]}
  557. },
  558. 0x23B4: EXTRAH,
  559. 0x23B5: EXTRAH,
  560. 0x23D0:
  561. {
  562. dir: V,
  563. HW: [[800,MAIN,null,0x7C], [1269,MAIN,1.586,0x7C], [1717,MAIN,2.146,0x7C], [2164,MAIN,2.705,0x7C], [2612,MAIN,3.265,0x7C]],
  564. stretch: {ext:[0x7C,MAIN]}
  565. },
  566. 0x23DC: EXTRAH,
  567. 0x23DD: EXTRAH,
  568. 0x23DE:
  569. {
  570. dir: H,
  571. HW: [[540,MAIN], [1038,SIZE1], [1538,SIZE2], [2037,SIZE3], [2538,SIZE4], [3038,SIZE5], [3538,SIZE6]],
  572. stretch: {left:[0xE10D,SIZE6], rep:[0xE10E,SIZE6], mid:[0xE10F,SIZE6], right:[0xE110,SIZE6]}
  573. },
  574. 0x23DF:
  575. {
  576. dir: H,
  577. HW: [[540,MAIN], [1038,SIZE1], [1538,SIZE2], [2037,SIZE3], [2538,SIZE4], [3038,SIZE5], [3538,SIZE6]],
  578. stretch: {left:[0xE111,SIZE6], rep:[0xE112,SIZE6], mid:[0xE113,SIZE6], right:[0xE114,SIZE6]}
  579. },
  580. 0x23E0: EXTRAH,
  581. 0x23E1: EXTRAH,
  582. 0x2500: {alias: 0x2212, dir: H},
  583. 0x27A1: EXTRAH,
  584. 0x27E6: EXTRAV,
  585. 0x27E7: EXTRAV,
  586. 0x27E8:
  587. {
  588. dir: V,
  589. HW: [[816,MAIN], [1062,SIZE1], [1386,SIZE2], [1810,SIZE3], [2366,SIZE4], [3095,SIZE5], [4050,SIZE6]]
  590. },
  591. 0x27E9:
  592. {
  593. dir: V,
  594. HW: [[816,MAIN], [1062,SIZE1], [1386,SIZE2], [1810,SIZE3], [2366,SIZE4], [3095,SIZE5], [4050,SIZE6]]
  595. },
  596. 0x27EA: EXTRAV,
  597. 0x27EB: EXTRAV,
  598. 0x27EE:
  599. {
  600. dir: V,
  601. HW: [[828,MAIN], [988,SIZE1], [1180,SIZE2], [1410,SIZE3], [1686,SIZE4], [2017,SIZE5], [2416,SIZE6]],
  602. stretch: {bot:[0xE101,SIZE6], ext:[0xE102,SIZE6], top:[0xE103,SIZE6]}
  603. },
  604. 0x27EF:
  605. {
  606. dir: V,
  607. HW: [[828,MAIN], [988,SIZE1], [1180,SIZE2], [1410,SIZE3], [1686,SIZE4], [2017,SIZE5], [2416,SIZE6]],
  608. stretch: {bot:[0xE104,SIZE6], ext:[0xE105,SIZE6], top:[0xE106,SIZE6]}
  609. },
  610. 0x27F5: {alias: 0x2190, dir: H},
  611. 0x27F6: {alias: 0x2192, dir: H},
  612. 0x27F7: {alias: 0x2194, dir: H},
  613. 0x27F8: {alias: 0x21D0, dir: H},
  614. 0x27F9: {alias: 0x21D2, dir: H},
  615. 0x27FA: {alias: 0x21D4, dir: H},
  616. 0x27FB: {alias: 0x21A4, dir: H},
  617. 0x27FC: {alias: 0x21A6, dir: H},
  618. 0x27FD: {alias: 0x2906, dir: H},
  619. 0x27FE: {alias: 0x2907, dir: H},
  620. 0x2906:
  621. {
  622. dir: H,
  623. HW: [[835,ARROWS], [1285,SIZE1]],
  624. stretch: {left:[0xE0C5,SIZE6], rep:[0xE0C6,SIZE6], right:[0xE0C7,SIZE6]}
  625. },
  626. 0x2907:
  627. {
  628. dir: H,
  629. HW: [[835,ARROWS], [1285,SIZE1]],
  630. stretch: {left:[0xE0C8,SIZE6], rep:[0xE0C9,SIZE6], right:[0xE0CA,SIZE6]}
  631. },
  632. 0x2A00: EXTRAV,
  633. 0x2A01: EXTRAV,
  634. 0x2A02: EXTRAV,
  635. 0x2A03: EXTRAV,
  636. 0x2A04: EXTRAV,
  637. 0x2A05: EXTRAV,
  638. 0x2A06: EXTRAV,
  639. 0x2A09: EXTRAV,
  640. 0x2A0C: EXTRAV,
  641. 0x2A11: EXTRAV,
  642. 0x2B04: EXTRAH,
  643. 0x2B05: EXTRAH,
  644. 0x2B06: EXTRAV,
  645. 0x2B07: EXTRAV,
  646. 0x2B0C: EXTRAH,
  647. 0x2B0D: EXTRAV,
  648. 0x2B31: EXTRAH,
  649. 0x3008: {alias: 0x27E8, dir: V},
  650. 0x3009: {alias: 0x27E9, dir: V},
  651. 0xFE37: {alias: 0x23DE, dir: H},
  652. 0xFE38: {alias: 0x23DF, dir: H}
  653. }
  654. }
  655. });
  656. MathJax.Hub.Register.LoadHook(SVG.fontDir+"/Main/Regular/Main.js",function () {
  657. SVG.FONTDATA.FONTS[MAIN][0x2212][0] = SVG.FONTDATA.FONTS[MAIN][0x002B][0]; // - needs height and depth of +
  658. SVG.FONTDATA.FONTS[MAIN][0x2212][1] = SVG.FONTDATA.FONTS[MAIN][0x002B][1]; // - needs height and depth of +
  659. });
  660. MathJax.Hub.Register.LoadHook(SVG.fontDir+"/Size1/Regular/Main.js",function () {
  661. var i;
  662. for (i = 0x222B; i <= 0x222D; i++)
  663. SVG.FONTDATA.FONTS[SIZE1][i][2] -= 190;
  664. for (i = 0x222E; i <= 0x2231; i++)
  665. SVG.FONTDATA.FONTS[SIZE1][i][2] -= 100;
  666. });
  667. AJAX.loadComplete(SVG.fontDir + "/fontdata.js");
  668. })(MathJax.OutputJax.SVG,MathJax.ElementJax.mml,MathJax.Ajax,MathJax.Hub);