fontdata.js 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628
  1. /*************************************************************
  2. *
  3. * MathJax/jax/output/HTML-CSS/fonts/Asana-Math/fontdata.js
  4. *
  5. * Initializes the HTML-CSS OutputJax to use the Asana-Math 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 (HTMLCSS,MML,AJAX) {
  21. var VERSION = "2.7.2";
  22. var ALPHABETS = "AsanaMathJax_Alphabets",
  23. ARROWS = "AsanaMathJax_Arrows",
  24. DOUBLESTRUCK = "AsanaMathJax_DoubleStruck",
  25. FRAKTUR = "AsanaMathJax_Fraktur",
  26. LATIN = "AsanaMathJax_Latin",
  27. MAIN = "AsanaMathJax_Main",
  28. MARKS = "AsanaMathJax_Marks",
  29. MISC = "AsanaMathJax_Misc",
  30. MONOSPACE = "AsanaMathJax_Monospace",
  31. NONUNICODE = "AsanaMathJax_NonUnicode",
  32. NORMAL = "AsanaMathJax_Normal",
  33. OPERATORS = "AsanaMathJax_Operators",
  34. SANSSERIF = "AsanaMathJax_SansSerif",
  35. SCRIPT = "AsanaMathJax_Script",
  36. SHAPES = "AsanaMathJax_Shapes",
  37. SIZE1 = "AsanaMathJax_Size1",
  38. SIZE2 = "AsanaMathJax_Size2",
  39. SIZE3 = "AsanaMathJax_Size3",
  40. SIZE4 = "AsanaMathJax_Size4",
  41. SIZE5 = "AsanaMathJax_Size5",
  42. SIZE6 = "AsanaMathJax_Size6",
  43. SYMBOLS = "AsanaMathJax_Symbols",
  44. VARIANTS = "AsanaMathJax_Variants";
  45. var H = "H", V = "V", EXTRAH = {load:"extra", dir:H}, EXTRAV = {load:"extra", dir:V};
  46. HTMLCSS.Augment({
  47. FONTDATA: {
  48. version: VERSION,
  49. TeX_factor: 1.058,
  50. baselineskip: 1.200,
  51. lineH: 0.800, lineD: 0.200,
  52. hasStyleChar: true, // char 0xEFFD encodes font style
  53. FONTS: {
  54. "AsanaMathJax_Alphabets": "Alphabets/Regular/Main.js",
  55. "AsanaMathJax_Arrows": "Arrows/Regular/Main.js",
  56. "AsanaMathJax_DoubleStruck": "DoubleStruck/Regular/Main.js",
  57. "AsanaMathJax_Fraktur": "Fraktur/Regular/Main.js",
  58. "AsanaMathJax_Latin": "Latin/Regular/Main.js",
  59. "AsanaMathJax_Main": "Main/Regular/Main.js",
  60. "AsanaMathJax_Marks": "Marks/Regular/Main.js",
  61. "AsanaMathJax_Misc": "Misc/Regular/Main.js",
  62. "AsanaMathJax_Monospace": "Monospace/Regular/Main.js",
  63. "AsanaMathJax_NonUnicode": "NonUnicode/Regular/Main.js",
  64. "AsanaMathJax_Normal": "Normal/Regular/Main.js",
  65. "AsanaMathJax_Operators": "Operators/Regular/Main.js",
  66. "AsanaMathJax_SansSerif": "SansSerif/Regular/Main.js",
  67. "AsanaMathJax_Script": "Script/Regular/Main.js",
  68. "AsanaMathJax_Shapes": "Shapes/Regular/Main.js",
  69. "AsanaMathJax_Size1": "Size1/Regular/Main.js",
  70. "AsanaMathJax_Size2": "Size2/Regular/Main.js",
  71. "AsanaMathJax_Size3": "Size3/Regular/Main.js",
  72. "AsanaMathJax_Size4": "Size4/Regular/Main.js",
  73. "AsanaMathJax_Size5": "Size5/Regular/Main.js",
  74. "AsanaMathJax_Size6": "Size6/Regular/Main.js",
  75. "AsanaMathJax_Symbols": "Symbols/Regular/Main.js",
  76. "AsanaMathJax_Variants": "Variants/Regular/Main.js"
  77. },
  78. VARIANT: {
  79. "normal": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1]},
  80. "bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], bold:true
  81. , offsetA: 0x1D400, offsetG: 0x1D6A8, offsetN: 0x1D7CE},
  82. "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}},
  83. "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},
  84. "double-struck": {
  85. fonts: [DOUBLESTRUCK],
  86. offsetA: 0x1D538,
  87. offsetN: 0x1D7D8,
  88. remap: {0x1D53A: 0x2102, 0x1D53F: 0x210D, 0x1D545: 0x2115, 0x1D547: 0x2119, 0x1D548: 0x211A, 0x1D549: 0x211D, 0x1D551: 0x2124}
  89. },
  90. "fraktur": {
  91. fonts: [FRAKTUR],
  92. offsetA: 0x1D504,
  93. remap: {0x1D506: 0x212D, 0x1D50B: 0x210C, 0x1D50C: 0x2111, 0x1D515: 0x211C, 0x1D51D: 0x2128}
  94. },
  95. "bold-fraktur": {
  96. fonts: [FRAKTUR], bold:true,
  97. offsetA: 0x1D56C
  98. },
  99. "script": {
  100. fonts: [SCRIPT], italic:true,
  101. offsetA: 0x1D49C,
  102. remap: {0x1D49D: 0x212C, 0x1D4A0: 0x2130, 0x1D4A1: 0x2131, 0x1D4A3: 0x210B, 0x1D4A4: 0x2110, 0x1D4A7: 0x2112, 0x1D4A8: 0x2133, 0x1D4AD: 0x211B, 0x1D4BA: 0x212F, 0x1D4BC: 0x210A, 0x1D4C4: 0x2134}
  103. },
  104. "bold-script": {
  105. fonts: [SCRIPT], bold:true, italic:true,
  106. offsetA: 0x1D4D0
  107. },
  108. "sans-serif": {
  109. fonts: [SANSSERIF],
  110. offsetA: 0x1D5A0,
  111. offsetN: 0x1D7E2
  112. },
  113. "bold-sans-serif": {
  114. fonts: [SANSSERIF], bold:true,
  115. offsetA: 0x1D5D4,
  116. offsetN: 0x1D7EC,
  117. offsetG: 0x1D756
  118. },
  119. "sans-serif-italic": {
  120. fonts: [SANSSERIF], italic: true,
  121. offsetA: 0x1D608
  122. },
  123. "sans-serif-bold-italic": {
  124. fonts: [SANSSERIF], bold:true, italic: true,
  125. offsetA: 0x1D63C,
  126. offsetG: 0x1D790
  127. },
  128. "monospace": {
  129. fonts: [MONOSPACE],
  130. offsetA: 0x1D670,
  131. offsetN: 0x1D7F6
  132. },
  133. "-Asana-Math-variant": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1]},
  134. "-tex-caligraphic": {offsetA: 0xE20A, noLowerCase: 1, fonts: [VARIANTS,MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,NONUNICODE,SIZE1], italic: true},
  135. "-tex-oldstyle": {offsetN: 0xE200, fonts: [VARIANTS,MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,NONUNICODE,SIZE1]},
  136. "-tex-caligraphic-bold": {offsetA: 0xE224, noLowerCase: 1, fonts: [VARIANTS,MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,NONUNICODE,SIZE1], italic: true, bold: true},
  137. "-tex-oldstyle-bold": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], bold: true},
  138. "-tex-mathit": {fonts: [MAIN,NORMAL,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,NONUNICODE,SIZE1], italic:true, noIC:true},
  139. "-largeOp": {fonts:[SIZE1,MAIN]},
  140. "-smallOp": {}
  141. },
  142. RANGES: [
  143. {name: "alpha", low: 0x61, high: 0x7A, offset: "A", add: 26},
  144. {name: "Alpha", low: 0x41, high: 0x5A, offset: "A"},
  145. {name: "number", low: 0x30, high: 0x39, offset: "N"},
  146. {name: "greek", low: 0x03B1, high: 0x03C9, offset: "G", add: 26},
  147. {name: "Greek", low: 0x0391, high: 0x03F6, offset: "G",
  148. remap: {0x03F5: 52, 0x03D1: 53, 0x03F0: 54, 0x03D5: 55, 0x03F1: 56, 0x03D6: 57, 0x03F4: 17}}
  149. ],
  150. RULECHAR: 0x2212,
  151. REMAP: {
  152. 0xA: 0x20,
  153. 0x25C2: 0x25C0,
  154. 0x25C3: 0x25C1,
  155. 0xFE38: 0x23DF,
  156. 0x3008: 0x27E8,
  157. 0x3009: 0x27E9,
  158. 0x25AA: 0x25A0,
  159. 0x00AF: 0x0304,
  160. 0x20F0: 0x002A,
  161. 0x2758: 0x2223,
  162. 0x03D2: 0x03A5,
  163. 0x25B4: 0x25B2,
  164. 0x25B5: 0x25B3,
  165. 0xFE37: 0x23DE,
  166. 0x25B8: 0x25B6,
  167. 0x02B9: 0x2032,
  168. 0x25BE: 0x25BC,
  169. 0x25BF: 0x25BD
  170. },
  171. REMAPACCENT: {
  172. "\u007E": "\u0303",
  173. "\u2192": "\u20D7",
  174. "\u0060": "\u0300",
  175. "\u005E": "\u0302",
  176. "\u00B4": "\u0301",
  177. "\u2032": "\u0301",
  178. "\u2035": "\u0300"
  179. },
  180. REMAPACCENTUNDER: {
  181. },
  182. DELIMITERS: {
  183. 0x28:
  184. {
  185. dir: V,
  186. HW: [[0.941,MAIN], [1.471,SIZE1], [2.041,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]],
  187. stretch: {bot:[0x239D,SYMBOLS], ext:[0x239C,SYMBOLS], top:[0x239B,SYMBOLS]}
  188. },
  189. 0x29:
  190. {
  191. dir: V,
  192. HW: [[0.941,MAIN], [1.471,SIZE1], [2.041,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]],
  193. stretch: {bot:[0x23A0,SYMBOLS], ext:[0x239F,SYMBOLS], top:[0x239E,SYMBOLS]}
  194. },
  195. 0x2D: {alias: 0x2212, dir: H},
  196. 0x2F: {alias: 0x2044, dir: H},
  197. 0x3D:
  198. {
  199. dir: H,
  200. HW: [[0.539,MAIN]],
  201. stretch: {rep:[0x3D,MAIN]}
  202. },
  203. 0x5B:
  204. {
  205. dir: V,
  206. HW: [[0.910,MAIN], [1.476,SIZE1], [2.045,SIZE2], [2.556,SIZE3], [2.615,SIZE3,1.023]],
  207. stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]}
  208. },
  209. 0x5C:
  210. {
  211. dir: V,
  212. HW: [[0.883,MAIN], [1.270,MAIN,1.439], [1.719,MAIN,1.946], [2.167,MAIN,2.454], [2.615,MAIN,2.961]]
  213. },
  214. 0x5D:
  215. {
  216. dir: V,
  217. HW: [[0.910,MAIN], [1.476,SIZE1], [2.045,SIZE2], [2.556,SIZE3], [2.615,SIZE3,1.023]],
  218. stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]}
  219. },
  220. 0x5E: {alias: 0x302, dir: H},
  221. 0x5F: {alias: 0x332, dir: H},
  222. 0x7B:
  223. {
  224. dir: V,
  225. HW: [[0.901,MAIN], [1.471,SIZE1], [2.041,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]],
  226. stretch: {bot:[0x23A9,SYMBOLS], ext:[0x23AA,SYMBOLS], mid:[0x23A8,SYMBOLS], top:[0x23A7,SYMBOLS]}
  227. },
  228. 0x7C:
  229. {
  230. dir: V,
  231. HW: [[0.885,MAIN], [1.275,SIZE1], [1.555,SIZE2], [1.897,SIZE3], [2.315,SIZE4], [2.712,SIZE5], [3.177,SIZE6]],
  232. stretch: {ext:[0xE000,SIZE6], top:[0xE000,SIZE6]}
  233. },
  234. 0x7D:
  235. {
  236. dir: V,
  237. HW: [[0.901,MAIN], [1.471,SIZE1], [2.041,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]],
  238. stretch: {bot:[0x23AD,SYMBOLS], ext:[0x23AA,SYMBOLS], mid:[0x23AC,SYMBOLS], top:[0x23AB,SYMBOLS]}
  239. },
  240. 0x7E: {alias: 0x303, dir: H},
  241. 0xAF: {alias: 0x2212, dir: H},
  242. 0x2C6: {alias: 0x302, dir: H},
  243. 0x2C9: {alias: 0x2212, dir: H},
  244. 0x2DC: {alias: 0x303, dir: H},
  245. 0x302:
  246. {
  247. dir: H,
  248. HW: [[0.312,MAIN], [0.453,SIZE1], [0.633,SIZE2], [1.055,SIZE3], [2.017,SIZE4], [3.026,SIZE5]]
  249. },
  250. 0x303:
  251. {
  252. dir: H,
  253. HW: [[0.330,MAIN], [0.701,SIZE1], [1.053,SIZE2], [1.403,SIZE3], [1.865,SIZE4], [2.797,SIZE5]]
  254. },
  255. 0x305:
  256. {
  257. dir: H,
  258. HW: [[0.433,MARKS], [0.511,SIZE1], [0.675,SIZE2], [1.127,SIZE3]],
  259. stretch: {rep:[0xE001,SIZE6], right:[0xE001,SIZE6]}
  260. },
  261. 0x306: EXTRAH,
  262. 0x30C:
  263. {
  264. dir: H,
  265. HW: [[0.312,MAIN], [0.737,SIZE1], [1.105,SIZE2], [1.474,SIZE3], [1.960,SIZE4], [2.940,SIZE5]]
  266. },
  267. 0x332:
  268. {
  269. dir: H,
  270. HW: [[0.433,MARKS], [0.511,SIZE1], [0.675,SIZE2], [1.127,SIZE3]],
  271. stretch: {rep:[0xE002,SIZE6], right:[0xE002,SIZE6]}
  272. },
  273. 0x333: EXTRAH,
  274. 0x33F: EXTRAH,
  275. 0x2015: {alias: 0x2212, dir: H},
  276. 0x2016:
  277. {
  278. dir: V,
  279. HW: [[0.885,MAIN], [1.275,SIZE1], [1.555,SIZE2], [1.897,SIZE3], [2.315,SIZE4]],
  280. stretch: {ext:[0xE005,SIZE6], top:[0xE005,SIZE6]}
  281. },
  282. 0x2017: {alias: 0x2212, dir: H},
  283. 0x203E: {alias: 0x2212, dir: H},
  284. 0x2044:
  285. {
  286. dir: V,
  287. HW: [[0.837,MAIN], [1.205,SIZE1], [1.471,SIZE2], [1.795,SIZE3], [2.189,SIZE4], [2.615,SIZE4,1.195]]
  288. },
  289. 0x2045: EXTRAV,
  290. 0x2046: EXTRAV,
  291. 0x20D0: EXTRAH,
  292. 0x20D1: EXTRAH,
  293. 0x20D6: EXTRAH,
  294. 0x20D7: EXTRAH,
  295. 0x20E1: EXTRAH,
  296. 0x20E9: EXTRAH,
  297. 0x20EE: EXTRAH,
  298. 0x20EF: EXTRAH,
  299. 0x2190:
  300. {
  301. dir: H,
  302. HW: [[0.884,MAIN]],
  303. stretch: {left:[0xE013,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE014,SIZE6]}
  304. },
  305. 0x2191:
  306. {
  307. dir: V,
  308. HW: [[0.885,MAIN]],
  309. stretch: {ext:[0xE015,SIZE6], top:[0x2191,MAIN]}
  310. },
  311. 0x2192:
  312. {
  313. dir: H,
  314. HW: [[0.884,MAIN]],
  315. stretch: {left:[0xE016,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE017,SIZE6]}
  316. },
  317. 0x2193:
  318. {
  319. dir: V,
  320. HW: [[0.885,MAIN]],
  321. stretch: {bot:[0x2193,MAIN], ext:[0xE015,SIZE6]}
  322. },
  323. 0x2194:
  324. {
  325. dir: H,
  326. HW: [[0.884,MAIN]],
  327. stretch: {left:[0xE013,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE017,SIZE6]}
  328. },
  329. 0x2195:
  330. {
  331. dir: V,
  332. HW: [[0.884,MAIN]],
  333. stretch: {top:[0x2191,MAIN], ext:[0xE015,SIZE6], bot:[0x2193,MAIN]}
  334. },
  335. 0x21A4:
  336. {
  337. dir: H,
  338. HW: [[0.942,ARROWS]],
  339. stretch: {left:[0xE013,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE018,SIZE6]}
  340. },
  341. 0x21A6:
  342. {
  343. dir: H,
  344. HW: [[0.942,MAIN]],
  345. stretch: {left:[0xE019,SIZE6], rep:[0x23AF,SYMBOLS], right:[0xE017,SIZE6]}
  346. },
  347. 0x21A9: EXTRAH,
  348. 0x21AA: EXTRAH,
  349. 0x21D0:
  350. {
  351. dir: H,
  352. HW: [[0.884,MAIN]],
  353. stretch: {left:[0xE01C,SIZE6], rep:[0xE01D,SIZE6], right:[0xE01E,SIZE6]}
  354. },
  355. 0x21D1:
  356. {
  357. dir: V,
  358. HW: [[0.885,MAIN]],
  359. stretch: {ext:[0xE01F,SIZE6], top:[0x21D1,MAIN]}
  360. },
  361. 0x21D2:
  362. {
  363. dir: H,
  364. HW: [[0.884,MAIN]],
  365. stretch: {left:[0xE020,SIZE6], rep:[0xE01D,SIZE6], right:[0xE021,SIZE6]}
  366. },
  367. 0x21D3:
  368. {
  369. dir: V,
  370. HW: [[0.885,MAIN]],
  371. stretch: {bot:[0x21D3,MAIN], ext:[0xE01F,SIZE6]}
  372. },
  373. 0x21D4:
  374. {
  375. dir: H,
  376. HW: [[0.895,MAIN]],
  377. stretch: {left:[0xE01C,SIZE6], rep:[0xE01D,SIZE6], right:[0xE021,SIZE6]}
  378. },
  379. 0x21D5:
  380. {
  381. dir: V,
  382. HW: [[0.884,MAIN,null,0x2195]],
  383. stretch: {top:[0x21D1,MAIN], ext:[0xE01F,SIZE6], bot:[0x21D3,MAIN]}
  384. },
  385. 0x220F:
  386. {
  387. dir: V,
  388. HW: [[0.937,OPERATORS], [1.349,SIZE1], [1.942,SIZE2], [2.797,SIZE3]]
  389. },
  390. 0x2210: EXTRAV,
  391. 0x2211: EXTRAV,
  392. 0x2212: {
  393. dir: H, HW: [],
  394. stretch: {rep:[0x2212,MAIN,0,0,0,-.23,-.23]}
  395. },
  396. 0x2215: {alias: 0x2044, dir: V},
  397. 0x221A:
  398. {
  399. dir: V,
  400. HW: [[1.138,MAIN], [1.280,SIZE1], [1.912,SIZE2], [2.543,SIZE3], [3.175,SIZE4]],
  401. stretch: {bot:[0x23B7,SYMBOLS], ext:[0x20D3,MARKS], top:[0xE022,SIZE6]}
  402. },
  403. 0x2223:
  404. {
  405. dir: V,
  406. HW: [[0.885,MAIN]],
  407. stretch: {ext:[0x2223,MAIN], top:[0x2223,MAIN]}
  408. },
  409. 0x2225:
  410. {
  411. dir: V,
  412. HW: [[0.885,MAIN]],
  413. stretch: {ext:[0x2225,MAIN], top:[0x2225,MAIN]}
  414. },
  415. 0x2229: EXTRAV,
  416. 0x222B: EXTRAV,
  417. 0x222C: EXTRAV,
  418. 0x222D: EXTRAV,
  419. 0x222E: EXTRAV,
  420. 0x222F: EXTRAV,
  421. 0x2230: EXTRAV,
  422. 0x2231: EXTRAV,
  423. 0x2232: EXTRAV,
  424. 0x2233: EXTRAV,
  425. 0x22C0: EXTRAV,
  426. 0x22C1: EXTRAV,
  427. 0x22C2: EXTRAV,
  428. 0x22C3: EXTRAV,
  429. 0x2308:
  430. {
  431. dir: V,
  432. HW: [[0.885,MAIN], [1.470,SIZE1], [2.041,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]],
  433. stretch: {ext:[0x23A2,SYMBOLS], top:[0x23A1,SYMBOLS]}
  434. },
  435. 0x2309:
  436. {
  437. dir: V,
  438. HW: [[0.885,MAIN], [1.470,SIZE1], [2.041,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]],
  439. stretch: {ext:[0x23A5,SYMBOLS], top:[0x23A4,SYMBOLS]}
  440. },
  441. 0x230A:
  442. {
  443. dir: V,
  444. HW: [[0.885,MAIN], [1.470,SIZE1], [2.041,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]],
  445. stretch: {bot:[0x23A3,SYMBOLS], ext:[0x23A2,SYMBOLS]}
  446. },
  447. 0x230B:
  448. {
  449. dir: V,
  450. HW: [[0.885,MAIN], [1.470,SIZE1], [2.041,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]],
  451. stretch: {bot:[0x23A6,SYMBOLS], ext:[0x23A5,SYMBOLS]}
  452. },
  453. 0x2312: {alias: 0x23DC, dir:H},
  454. 0x2322: {alias: 0x23DC, dir:H},
  455. 0x2323: {alias: 0x23DD, dir:H},
  456. 0x2329: {alias: 0x27E8, dir: V},
  457. 0x232A: {alias: 0x27E9, dir: V},
  458. 0x23AA:
  459. {
  460. dir: V,
  461. HW: [[0.688,SYMBOLS]],
  462. stretch: {ext:[0x23AA,SYMBOLS]}
  463. },
  464. 0x23AF:
  465. {
  466. dir: H,
  467. HW: [[0.638,SYMBOLS]],
  468. stretch: {rep:[0x23AF,SYMBOLS]}
  469. },
  470. 0x23B0: {alias: 0x27C6, dir: V},
  471. 0x23B1: {alias: 0x27C5, dir: V},
  472. 0x23B4: EXTRAH,
  473. 0x23B5: EXTRAH,
  474. 0x23D0:
  475. {
  476. dir: V,
  477. HW: [[0.885,MAIN,null,0x7C], [1.270,MAIN,1.435,0x7C], [1.719,MAIN,1.942,0x7C], [2.167,MAIN,2.448,0x7C], [2.615,MAIN,2.955,0x7C]],
  478. stretch: {ext:[0x7C,MAIN]}
  479. },
  480. 0x23DC: EXTRAH,
  481. 0x23DD: EXTRAH,
  482. 0x23DE:
  483. {
  484. dir: H,
  485. HW: [[0.902,MAIN], [1.471,SIZE1], [2.041,SIZE2], [2.552,SIZE3]],
  486. stretch: {left:[0xE026,SIZE6], rep:[0xE027,SIZE6], mid:[0xE02C,SIZE6], right:[0xE028,SIZE6]}
  487. },
  488. 0x23DF:
  489. {
  490. dir: H,
  491. HW: [[0.902,MAIN], [1.471,SIZE1], [2.041,SIZE2], [2.552,SIZE3]],
  492. stretch: {left:[0xE029,SIZE6], rep:[0xE02A,SIZE6], mid:[0xE02D,SIZE6], right:[0xE02B,SIZE6]}
  493. },
  494. 0x23E0: EXTRAH,
  495. 0x23E1: EXTRAH,
  496. 0x2500: {alias: 0x2212, dir: H},
  497. 0x2758: {alias: 0x2223, dir: V},
  498. 0x27C5:
  499. {
  500. dir: V,
  501. HW: [[0.910,SYMBOLS], [1.021,SIZE1], [1.531,SIZE2], [2.041,SIZE3], [2.552,SIZE4], [3.063,SIZE5]]
  502. },
  503. 0x27C6:
  504. {
  505. dir: V,
  506. HW: [[0.910,SYMBOLS], [1.021,SIZE1], [1.531,SIZE2], [2.041,SIZE3], [2.552,SIZE4], [3.063,SIZE5]]
  507. },
  508. 0x27E6: EXTRAV,
  509. 0x27E7: EXTRAV,
  510. 0x27E8:
  511. {
  512. dir: V,
  513. HW: [[0.885,MAIN], [1.021,SIZE1], [1.270,SIZE1,1.244], [2.042,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]]
  514. },
  515. 0x27E9:
  516. {
  517. dir: V,
  518. HW: [[0.885,MAIN], [1.021,SIZE1], [1.270,SIZE1,1.244], [2.042,SIZE2], [2.552,SIZE3], [2.615,SIZE3,1.025]]
  519. },
  520. 0x27EA: EXTRAV,
  521. 0x27EB: EXTRAV,
  522. 0x27EE: {alias: 0x28, dir: V},
  523. 0x27EF: {alias: 0x29, dir: V},
  524. 0x27F5: {alias: 0x2190, dir: H},
  525. 0x27F6: {alias: 0x2192, dir: H},
  526. 0x27F7: {alias: 0x2194, dir: H},
  527. 0x27F8: {alias: 0x21D0, dir: H},
  528. 0x27F9: {alias: 0x21D2, dir: H},
  529. 0x27FA: {alias: 0x21D4, dir: H},
  530. 0x27FB: {alias: 0x21A4, dir: H},
  531. 0x27FC: {alias: 0x21A6, dir: H},
  532. 0x27FD: {alias: 0x2906, dir: H},
  533. 0x27FE: {alias: 0x2907, dir: H},
  534. 0x2906:
  535. {
  536. dir: H,
  537. HW: [[0.884,ARROWS]],
  538. stretch: {left:[0xE01C,SIZE6], rep:[0xE01D,SIZE6], right:[0xE02E,SIZE6]}
  539. },
  540. 0x2907:
  541. {
  542. dir: H,
  543. HW: [[0.884,ARROWS]],
  544. stretch: {left:[0xE02F,SIZE6], rep:[0xE01D,SIZE6], right:[0xE021,SIZE6]}
  545. },
  546. 0x29FC: EXTRAV,
  547. 0x29FD: EXTRAV,
  548. 0x2A00: EXTRAV,
  549. 0x2A01: EXTRAV,
  550. 0x2A02: EXTRAV,
  551. 0x2A03: EXTRAV,
  552. 0x2A04: EXTRAV,
  553. 0x2A05: EXTRAV,
  554. 0x2A06: EXTRAV,
  555. 0x2A07: EXTRAV,
  556. 0x2A08: EXTRAV,
  557. 0x2A09: EXTRAV,
  558. 0x2A0C: EXTRAV,
  559. 0x2A0D: EXTRAV,
  560. 0x2A0E: EXTRAV,
  561. 0x2A0F: EXTRAV,
  562. 0x2A10: EXTRAV,
  563. 0x2A11: EXTRAV,
  564. 0x2A12: EXTRAV,
  565. 0x2A13: EXTRAV,
  566. 0x2A14: EXTRAV,
  567. 0x2A15: EXTRAV,
  568. 0x2A16: EXTRAV,
  569. 0x2A17: EXTRAV,
  570. 0x2A18: EXTRAV,
  571. 0x2A19: EXTRAV,
  572. 0x2A1A: EXTRAV,
  573. 0x2A1B: EXTRAV,
  574. 0x2A1C: EXTRAV,
  575. 0x3008: {alias: 0x27E8, dir: V},
  576. 0x3009: {alias: 0x27E9, dir: V},
  577. 0xFE37: {alias: 0x23DE, dir: H},
  578. 0xFE38: {alias: 0x23DF, dir: H}
  579. }
  580. }
  581. });
  582. MathJax.Hub.Register.LoadHook(HTMLCSS.fontDir+"/Main/Regular/Main.js",function () {
  583. HTMLCSS.FONTDATA.FONTS[MAIN][0x2212][0] = HTMLCSS.FONTDATA.FONTS[MAIN][0x002B][0]; // - needs height and depth of +
  584. HTMLCSS.FONTDATA.FONTS[MAIN][0x2212][1] = HTMLCSS.FONTDATA.FONTS[MAIN][0x002B][1]; // - needs height and depth of +
  585. });
  586. MathJax.Hub.Register.LoadHook(HTMLCSS.fontDir+"/Size6/Regular/Main.js",function () {
  587. var u;
  588. u = HTMLCSS.FONTDATA.DELIMITERS[0x23DE].stretch.rep[0];
  589. HTMLCSS.FONTDATA.FONTS[SIZE6][u][0] += 100; // adjust height for brace extender
  590. HTMLCSS.FONTDATA.FONTS[SIZE6][u][1] += 100; // adjust depth for brace extender
  591. u = HTMLCSS.FONTDATA.DELIMITERS[0x23DF].stretch.rep[0];
  592. HTMLCSS.FONTDATA.FONTS[SIZE6][u][0] += 100; // adjust height for brace extender
  593. HTMLCSS.FONTDATA.FONTS[SIZE6][u][1] += 100; // adjust depth for brace extender
  594. });
  595. MathJax.Hub.Register.LoadHook(HTMLCSS.fontDir+"/Size1/Regular/Main.js",function () {
  596. var i;
  597. HTMLCSS.FONTDATA.FONTS[SIZE1][0x222B][2] -= 300;
  598. HTMLCSS.FONTDATA.FONTS[SIZE1][0x222B][5] = {rfix:-300};
  599. for (i = 0x222C; i <= 0x2233; i++) {
  600. HTMLCSS.FONTDATA.FONTS[SIZE1][i][2] -= 420;
  601. HTMLCSS.FONTDATA.FONTS[SIZE1][i][5] = {rfix:-420};
  602. }
  603. for (i = 0x2A0C; i <= 0x2A1C; i++) {
  604. HTMLCSS.FONTDATA.FONTS[SIZE1][i][2] -= 420;
  605. HTMLCSS.FONTDATA.FONTS[SIZE1][i][5] = {rfix:-420};
  606. }
  607. });
  608. AJAX.loadComplete(HTMLCSS.fontDir + "/fontdata.js");
  609. })(MathJax.OutputJax["HTML-CSS"],MathJax.ElementJax.mml,MathJax.Ajax);