fontdata-extra.js 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934
  1. /*************************************************************
  2. *
  3. * MathJax/jax/output/SVG/fonts/STIX-Web/fontdata-extra.js
  4. *
  5. * Adds extra stretchy characters to the STIX-Web 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) {
  21. var VERSION = "2.7.2";
  22. var DELIMITERS = SVG.FONTDATA.DELIMITERS;
  23. var H = "H", V = "V";
  24. var ARROWREP = [0x2212,MAIN,0,0,0,-.26,-.26];
  25. var ALPHABETSBOLDITALIC = "STIXMathJax_Alphabets-bold-italic",
  26. ALPHABETSBOLD = "STIXMathJax_Alphabets-bold",
  27. ALPHABETSITALIC = "STIXMathJax_Alphabets-italic",
  28. ALPHABETS = "STIXMathJax_Alphabets",
  29. ARROWSBOLD = "STIXMathJax_Arrows-bold",
  30. ARROWS = "STIXMathJax_Arrows",
  31. DOUBLESTRUCKBOLDITALIC = "STIXMathJax_DoubleStruck-bold-italic",
  32. DOUBLESTRUCKBOLD = "STIXMathJax_DoubleStruck-bold",
  33. DOUBLESTRUCKITALIC = "STIXMathJax_DoubleStruck-italic",
  34. DOUBLESTRUCK = "STIXMathJax_DoubleStruck",
  35. FRAKTURBOLD = "STIXMathJax_Fraktur-bold",
  36. FRAKTUR = "STIXMathJax_Fraktur",
  37. LATINBOLDITALIC = "STIXMathJax_Latin-bold-italic",
  38. LATINBOLD = "STIXMathJax_Latin-bold",
  39. LATINITALIC = "STIXMathJax_Latin-italic",
  40. LATIN = "STIXMathJax_Latin",
  41. MAINBOLDITALIC = "STIXMathJax_Main-bold-italic",
  42. MAINBOLD = "STIXMathJax_Main-bold",
  43. MAINITALIC = "STIXMathJax_Main-italic",
  44. MAIN = "STIXMathJax_Main",
  45. MARKSBOLDITALIC = "STIXMathJax_Marks-bold-italic",
  46. MARKSBOLD = "STIXMathJax_Marks-bold",
  47. MARKSITALIC = "STIXMathJax_Marks-italic",
  48. MARKS = "STIXMathJax_Marks",
  49. MISCBOLDITALIC = "STIXMathJax_Misc-bold-italic",
  50. MISCBOLD = "STIXMathJax_Misc-bold",
  51. MISCITALIC = "STIXMathJax_Misc-italic",
  52. MISC = "STIXMathJax_Misc",
  53. MONOSPACE = "STIXMathJax_Monospace",
  54. NORMALBOLDITALIC = "STIXMathJax_Normal-bold-italic",
  55. NORMALBOLD = "STIXMathJax_Normal-bold",
  56. NORMALITALIC = "STIXMathJax_Normal-italic",
  57. OPERATORSBOLD = "STIXMathJax_Operators-bold",
  58. OPERATORS = "STIXMathJax_Operators",
  59. SANSSERIFBOLDITALIC = "STIXMathJax_SansSerif-bold-italic",
  60. SANSSERIFBOLD = "STIXMathJax_SansSerif-bold",
  61. SANSSERIFITALIC = "STIXMathJax_SansSerif-italic",
  62. SANSSERIF = "STIXMathJax_SansSerif",
  63. SCRIPTBOLDITALIC = "STIXMathJax_Script-bold-italic",
  64. SCRIPTITALIC = "STIXMathJax_Script-italic",
  65. SCRIPT = "STIXMathJax_Script",
  66. SHAPESBOLDITALIC = "STIXMathJax_Shapes-bold-italic",
  67. SHAPESBOLD = "STIXMathJax_Shapes-bold",
  68. SHAPES = "STIXMathJax_Shapes",
  69. SIZE1 = "STIXMathJax_Size1",
  70. SIZE2 = "STIXMathJax_Size2",
  71. SIZE3 = "STIXMathJax_Size3",
  72. SIZE4 = "STIXMathJax_Size4",
  73. SIZE5 = "STIXMathJax_Size5",
  74. SYMBOLSBOLD = "STIXMathJax_Symbols-bold",
  75. SYMBOLS = "STIXMathJax_Symbols",
  76. VARIANTSBOLDITALIC = "STIXMathJax_Variants-bold-italic",
  77. VARIANTSBOLD = "STIXMathJax_Variants-bold",
  78. VARIANTSITALIC = "STIXMathJax_Variants-italic",
  79. VARIANTS = "STIXMathJax_Variants";
  80. var delim = {
  81. 0x3D:
  82. {
  83. dir: H,
  84. HW: [[589,MAIN]],
  85. stretch: {rep:[0x3D,MAIN]}
  86. },
  87. 0x2C7:
  88. {
  89. dir: H,
  90. HW: [[311,MAIN], [560,SIZE1], [979,SIZE2], [1460,SIZE3], [1886,SIZE4], [2328,SIZE5]]
  91. },
  92. 0x2CD:
  93. {
  94. dir: H,
  95. HW: [[312,MARKS]],
  96. stretch: {rep:[0x2CD,MARKS]}
  97. },
  98. 0x2F7:
  99. {
  100. dir: H,
  101. HW: [[330,MARKS], [560,SIZE1], [979,SIZE2], [1460,SIZE3], [1886,SIZE4], [2328,SIZE5]]
  102. },
  103. 0x20D0:
  104. {
  105. dir: H,
  106. HW: [[436,MARKS], [871,SIZE1], [1308,SIZE2], [1744,SIZE3], [2180,SIZE4], [3000,SIZE5]],
  107. stretch: {left:[0xE015,SIZE5], rep:[0xE016,SIZE5]}
  108. },
  109. 0x20D1:
  110. {
  111. dir: H,
  112. HW: [[436,MARKS], [871,SIZE1], [1308,SIZE2], [1744,SIZE3], [2180,SIZE4], [3000,SIZE5]],
  113. stretch: {rep:[0xE016,SIZE5], right:[0xE017,SIZE5]}
  114. },
  115. 0x20D6:
  116. {
  117. dir: H,
  118. HW: [[436,MARKS], [872,SIZE1], [1308,SIZE2], [1744,SIZE3], [2180,SIZE4], [3000,SIZE5]],
  119. stretch: {left:[0xE018,SIZE5], rep:[0xE016,SIZE5]}
  120. },
  121. 0x20E1:
  122. {
  123. dir: H,
  124. HW: [[478,MARKS]],
  125. stretch: {left:[0xE018,SIZE5], rep:[0xE016,SIZE5], right:[0xE019,SIZE5]}
  126. },
  127. 0x20EC:
  128. {
  129. dir: H,
  130. HW: [[436,MARKS], [871,SIZE1], [1308,SIZE2], [1744,SIZE3], [2180,SIZE4], [3000,SIZE5]],
  131. stretch: {rep:[0xE01A,SIZE5], right:[0xE01B,SIZE5]}
  132. },
  133. 0x20ED:
  134. {
  135. dir: H,
  136. HW: [[436,MARKS], [871,SIZE1], [1308,SIZE2], [1744,SIZE3], [2180,SIZE4], [3000,SIZE5]],
  137. stretch: {left:[0xE01C,SIZE5], rep:[0xE01A,SIZE5]}
  138. },
  139. 0x20EE:
  140. {
  141. dir: H,
  142. HW: [[436,MARKS], [872,SIZE1], [1308,SIZE2], [1744,SIZE3], [2180,SIZE4], [3000,SIZE5]],
  143. stretch: {left:[0xE01D,SIZE5], rep:[0xE01A,SIZE5]}
  144. },
  145. 0x20EF:
  146. {
  147. dir: H,
  148. HW: [[436,MARKS], [872,SIZE1], [1308,SIZE2], [1744,SIZE3], [2180,SIZE4], [3000,SIZE5]],
  149. stretch: {rep:[0xE01A,SIZE5], right:[0xE01E,SIZE5]}
  150. },
  151. 0x2140:
  152. {
  153. dir: V,
  154. HW: [[1022,DOUBLESTRUCK], [1450,SIZE1]]
  155. },
  156. 0x219E:
  157. {
  158. dir: H,
  159. HW: [[786,MAIN]],
  160. stretch: {left:[0x219E,MAIN], rep:ARROWREP}
  161. },
  162. 0x219F:
  163. {
  164. dir: V,
  165. HW: [[816,ARROWS]],
  166. stretch: {ext:[0x23D0,MAIN], top:[0x219F,ARROWS]}
  167. },
  168. 0x21A0:
  169. {
  170. dir: H,
  171. HW: [[786,MAIN]],
  172. stretch: {right:[0x21A0,MAIN], rep:ARROWREP}
  173. },
  174. 0x21A1:
  175. {
  176. dir: V,
  177. HW: [[816,ARROWS]],
  178. stretch: {ext:[0x23D0,MAIN], bot:[0x21A1,ARROWS]}
  179. },
  180. 0x21A4:
  181. {
  182. dir: H,
  183. HW: [[787,ARROWS]],
  184. stretch: {left:[0x2190,MAIN], rep:[0x23AF,SYMBOLS], right:[0x27DE,SYMBOLS]}
  185. },
  186. 0x21A5:
  187. {
  188. dir: V,
  189. HW: [[816,ARROWS]],
  190. stretch: {bot:[0x5F,MAIN,0.050,-0.010,0.800], ext:[0x23D0,MAIN], top:[0x2191,MAIN]}
  191. },
  192. 0x21A6:
  193. {
  194. dir: H,
  195. HW: [[787,MAIN]],
  196. stretch: {left:[0x27DD,SYMBOLS], rep:[0x23AF,SYMBOLS], right:[0x2192,MAIN]}
  197. },
  198. 0x21A7:
  199. {
  200. dir: V,
  201. HW: [[816,ARROWS]],
  202. stretch: {top:[0x22A4,MAINBOLD,0.040,0.000,0.600], ext:[0x23D0,MAIN], bot:[0x2193,MAIN]}
  203. },
  204. 0x21A8:
  205. {
  206. dir: V,
  207. HW: [[816,ARROWS]],
  208. stretch: {top:[0x2191,MAIN], ext:[0x23D0,MAIN], bot:[0x2913,ARROWS]}
  209. },
  210. 0x21A9:
  211. {
  212. dir: H,
  213. HW: [[786,MAIN]],
  214. stretch: {left:[0x2190,MAIN], rep:ARROWREP, right:[0xE0B5,ARROWS]}
  215. },
  216. 0x21AA:
  217. {
  218. dir: H,
  219. HW: [[786,MAIN]],
  220. stretch: {left:[0xE0B4,ARROWS], rep:ARROWREP, right:[0x2192,MAIN]}
  221. },
  222. 0x21B0:
  223. {
  224. dir: V,
  225. HW: [[818,MAIN]],
  226. stretch: {top:[0x21B0,MAIN], ext:[0x23D0,MAIN,0.152]}
  227. },
  228. 0x21B1:
  229. {
  230. dir: V,
  231. HW: [[818,MAIN]],
  232. stretch: {top:[0x21B1,MAIN], ext:[0x23D0,MAIN,-0.195]}
  233. },
  234. 0x21B2:
  235. {
  236. dir: V,
  237. HW: [[816,ARROWS]],
  238. stretch: {bot:[0x21B2,ARROWS], ext:[0x23D0,MAIN,0.152]}
  239. },
  240. 0x21B3:
  241. {
  242. dir: V,
  243. HW: [[816,ARROWS]],
  244. stretch: {bot:[0x21B3,ARROWS], ext:[0x23D0,MAIN,-0.195]}
  245. },
  246. 0x21B4:
  247. {
  248. dir: H,
  249. HW: [[786,ARROWS]],
  250. stretch: {rep:[0x2212,MAIN,0.000,0.400], right:[0x21B4,ARROWS]}
  251. },
  252. 0x21B5:
  253. {
  254. dir: V,
  255. HW: [[818,ARROWS]],
  256. stretch: {bot:[0x21B5,ARROWS], ext:[0x23D0,MAIN,0.570]}
  257. },
  258. 0x21BC:
  259. {
  260. dir: H,
  261. HW: [[847,MAIN]],
  262. stretch: {left:[0x21BC,MAIN], rep:[0x23AF,SYMBOLS]}
  263. },
  264. 0x21BD:
  265. {
  266. dir: H,
  267. HW: [[847,MAIN]],
  268. stretch: {left:[0x21BD,MAIN], rep:[0x23AF,SYMBOLS]}
  269. },
  270. 0x21BE:
  271. {
  272. dir: V,
  273. HW: [[818,MAIN]],
  274. stretch: {ext:[0x23D0,MAIN], top:[0x21BE,MAIN]}
  275. },
  276. 0x21BF:
  277. {
  278. dir: V,
  279. HW: [[818,MAIN]],
  280. stretch: {ext:[0x23D0,MAIN], top:[0x21BF,MAIN]}
  281. },
  282. 0x21C0:
  283. {
  284. dir: H,
  285. HW: [[847,MAIN]],
  286. stretch: {rep:[0x23AF,SYMBOLS], right:[0x21C0,MAIN]}
  287. },
  288. 0x21C1:
  289. {
  290. dir: H,
  291. HW: [[847,MAIN]],
  292. stretch: {right:[0x21C1,MAIN], rep:ARROWREP}
  293. },
  294. 0x21C2:
  295. {
  296. dir: V,
  297. HW: [[818,MAIN]],
  298. stretch: {bot:[0x21C2,MAIN], ext:[0x23D0,MAIN]}
  299. },
  300. 0x21C3:
  301. {
  302. dir: V,
  303. HW: [[818,MAIN]],
  304. stretch: {bot:[0x21C3,MAIN], ext:[0x23D0,MAIN]}
  305. },
  306. 0x21CB:
  307. {
  308. dir: H,
  309. HW: [[786,MAIN]],
  310. stretch: {left:[0x296A,ARROWS], rep:[0x3D,MAIN], right:[0x296D,ARROWS]}
  311. },
  312. 0x21CC:
  313. {
  314. dir: H,
  315. HW: [[786,MAIN]],
  316. stretch: {left:[0x296B,ARROWS], rep:[0x3D,MAIN], right:[0x296C,ARROWS]}
  317. },
  318. 0x21DA:
  319. {
  320. dir: H,
  321. HW: [[806,MAIN]],
  322. stretch: {left:[0x21DA,MAIN], rep:[0xE021,SIZE5]}
  323. },
  324. 0x21DB:
  325. {
  326. dir: H,
  327. HW: [[806,MAIN]],
  328. stretch: {rep:[0xE021,SIZE5], right:[0x21DB,MAIN]}
  329. },
  330. 0x21E0:
  331. {
  332. dir: H,
  333. HW: [[806,MAIN]],
  334. stretch: {left:[0x21E0,MAIN], rep:[0xE121,ARROWS]}
  335. },
  336. 0x21E1:
  337. {
  338. dir: V,
  339. HW: [[818,ARROWS]],
  340. stretch: {ext:[0xE12D,ARROWS], top:[0x21E1,ARROWS]}
  341. },
  342. 0x21E2:
  343. {
  344. dir: H,
  345. HW: [[806,MAIN]],
  346. stretch: {right:[0x21E2,MAIN], rep:[0xE12E,ARROWS]}
  347. },
  348. 0x21E3:
  349. {
  350. dir: V,
  351. HW: [[818,ARROWS]],
  352. stretch: {ext:[0xE12C,ARROWS], bot:[0x21E3,ARROWS]}
  353. },
  354. 0x21E4:
  355. {
  356. dir: H,
  357. HW: [[806,ARROWS]],
  358. stretch: {left:[0x21E4,ARROWS], rep:ARROWREP}
  359. },
  360. 0x21E5:
  361. {
  362. dir: H,
  363. HW: [[806,ARROWS]],
  364. stretch: {right:[0x21E5,ARROWS], rep:ARROWREP}
  365. },
  366. 0x21FD:
  367. {
  368. dir: H,
  369. HW: [[806,ARROWS]],
  370. stretch: {left:[0x21FD,ARROWS], rep:ARROWREP}
  371. },
  372. 0x21FE:
  373. {
  374. dir: H,
  375. HW: [[806,ARROWS]],
  376. stretch: {right:[0x21FE,ARROWS], rep:ARROWREP}
  377. },
  378. 0x21FF:
  379. {
  380. dir: H,
  381. HW: [[886,ARROWS]],
  382. stretch: {left:[0x21FD,ARROWS], rep:ARROWREP, right:[0x21FE,ARROWS]}
  383. },
  384. 0x220F:
  385. {
  386. dir: V,
  387. HW: [[1022,OPERATORS], [1451,SIZE1]]
  388. },
  389. 0x2210:
  390. {
  391. dir: V,
  392. HW: [[1022,OPERATORS], [1451,SIZE1]]
  393. },
  394. 0x2211:
  395. {
  396. dir: V,
  397. HW: [[1022,OPERATORS], [1450,SIZE1]]
  398. },
  399. 0x221B:
  400. {
  401. dir: V,
  402. HW: [[1232,OPERATORS], [1847,SIZE1], [2460,SIZE2], [3075,SIZE3]],
  403. stretch: {bot:[0xE025,SIZE5], ext:[0xE023,SIZE5], top:[0xE024,SIZE5]}
  404. },
  405. 0x221C:
  406. {
  407. dir: V,
  408. HW: [[1232,OPERATORS], [1847,SIZE1], [2460,SIZE2], [3075,SIZE3]],
  409. stretch: {bot:[0xE026,SIZE5], ext:[0xE023,SIZE5], top:[0xE024,SIZE5]}
  410. },
  411. 0x222B:
  412. {
  413. dir: V,
  414. HW: [[607,MAIN], [979,SIZE1]],
  415. stretch: {top:[0xE03C,SIZE5], ext:[0xE03D,SIZE5], bot:[0xE03E,SIZE5]}
  416. },
  417. 0x222C:
  418. {
  419. dir: V,
  420. HW: [[1144,OPERATORS], [2269,SIZE1]]
  421. },
  422. 0x222D:
  423. {
  424. dir: V,
  425. HW: [[1144,OPERATORS], [2269,SIZE1]]
  426. },
  427. 0x222E:
  428. {
  429. dir: V,
  430. HW: [[1144,OPERATORS], [2269,SIZE1]]
  431. },
  432. 0x222F:
  433. {
  434. dir: V,
  435. HW: [[1144,OPERATORS], [2269,SIZE1]]
  436. },
  437. 0x2230:
  438. {
  439. dir: V,
  440. HW: [[1144,OPERATORS], [2269,SIZE1]]
  441. },
  442. 0x2231:
  443. {
  444. dir: V,
  445. HW: [[1144,OPERATORS], [2269,SIZE1]]
  446. },
  447. 0x2232:
  448. {
  449. dir: V,
  450. HW: [[1144,OPERATORS], [2269,SIZE1]]
  451. },
  452. 0x2233:
  453. {
  454. dir: V,
  455. HW: [[1144,OPERATORS], [2269,SIZE1]]
  456. },
  457. 0x22C0:
  458. {
  459. dir: V,
  460. HW: [[1022,OPERATORS], [1451,SIZE1]]
  461. },
  462. 0x22C1:
  463. {
  464. dir: V,
  465. HW: [[1022,OPERATORS], [1451,SIZE1]]
  466. },
  467. 0x22C2:
  468. {
  469. dir: V,
  470. HW: [[1032,OPERATORS], [1461,SIZE1]]
  471. },
  472. 0x22C3:
  473. {
  474. dir: V,
  475. HW: [[1032,OPERATORS], [1461,SIZE1]]
  476. },
  477. 0x23AA:
  478. {
  479. dir: V,
  480. HW: [[1010,SIZE5,null,0xE00D]],
  481. stretch: {top:[0xE00D,SIZE5], ext:[0xE00D,SIZE5], bot:[0xE00D,SIZE5]}
  482. },
  483. 0x23B4:
  484. {
  485. dir: H,
  486. HW: [[816,MAIN], [925,SIZE1], [1458,SIZE2], [1991,SIZE3], [2524,SIZE4], [3057,SIZE5]],
  487. stretch: {left:[0xE027,SIZE5], rep:[0xE028,SIZE5], right:[0xE029,SIZE5]}
  488. },
  489. 0x23B5:
  490. {
  491. dir: H,
  492. HW: [[816,MAIN], [925,SIZE1], [1458,SIZE2], [1991,SIZE3], [2524,SIZE4], [3057,SIZE5]],
  493. stretch: {left:[0xE02A,SIZE5], rep:[0xE02B,SIZE5], right:[0xE02C,SIZE5]}
  494. },
  495. 0x23D0:
  496. {
  497. dir: V,
  498. HW: [[304,MAIN], [690,SIZE1], [879,SIZE2], [1350,SIZE2,1.536], [1827,SIZE2,2.078], [2303,SIZE2,2.620], [2780,SIZE2,3.162]],
  499. stretch: {ext:[0x2223,MAIN]}
  500. },
  501. 0x23DC:
  502. {
  503. dir: H,
  504. HW: [[1000,MAIN], [926,SIZE1], [1460,SIZE2], [1886,SIZE3], [2328,SIZE4], [3237,SIZE5]],
  505. stretch: {left:[0xE02D,SIZE5], rep:[0xE028,SIZE5], right:[0xE02E,SIZE5]}
  506. },
  507. 0x23DD:
  508. {
  509. dir: H,
  510. HW: [[1000,MAIN], [926,SIZE1], [1460,SIZE2], [1886,SIZE3], [2328,SIZE4], [3237,SIZE5]],
  511. stretch: {left:[0xE02F,SIZE5], rep:[0xE02B,SIZE5], right:[0xE030,SIZE5]}
  512. },
  513. 0x23E0:
  514. {
  515. dir: H,
  516. HW: [[1000,MAIN], [1460,SIZE1], [1886,SIZE2], [2312,SIZE3], [2738,SIZE4], [3164,SIZE5]]
  517. },
  518. 0x23E1:
  519. {
  520. dir: H,
  521. HW: [[1000,MAIN], [1460,SIZE1], [1886,SIZE2], [2312,SIZE3], [2738,SIZE4], [3164,SIZE5]]
  522. },
  523. 0x2772:
  524. {
  525. dir: V,
  526. HW: [[932,MISC], [1230,SIZE1], [1845,SIZE2], [2459,SIZE3], [3075,SIZE4]]
  527. },
  528. 0x2773:
  529. {
  530. dir: V,
  531. HW: [[932,MISC], [1230,SIZE1], [1845,SIZE2], [2459,SIZE3], [3075,SIZE4]]
  532. },
  533. 0x27E6:
  534. {
  535. dir: V,
  536. HW: [[930,SYMBOLS], [1230,SIZE1], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
  537. stretch: {top:[0x2553,SHAPES], ext:[0x2551,SHAPES], bot:[0x2559,SHAPES]}
  538. },
  539. 0x27E7:
  540. {
  541. dir: V,
  542. HW: [[930,SYMBOLS], [1230,SIZE1], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]],
  543. stretch: {top:[0x2556,SHAPES], ext:[0x2551,SHAPES], bot:[0x255C,SHAPES]}
  544. },
  545. 0x27EA:
  546. {
  547. dir: V,
  548. HW: [[932,SYMBOLS], [1230,SIZE1], [1845,SIZE2], [2461,SIZE3], [3075,SIZE4]]
  549. },
  550. 0x27EB:
  551. {
  552. dir: V,
  553. HW: [[932,SYMBOLS], [1230,SIZE1], [1845,SIZE2], [2461,SIZE3], [3075,SIZE4]]
  554. },
  555. 0x27F0:
  556. {
  557. dir: V,
  558. HW: [[818,ARROWS]],
  559. stretch: {ext:[0xE037,SIZE5], top:[0x27F0,ARROWS]}
  560. },
  561. 0x27F1:
  562. {
  563. dir: V,
  564. HW: [[818,ARROWS]],
  565. stretch: {bot:[0x27F1,ARROWS], ext:[0xE037,SIZE5]}
  566. },
  567. 0x2906:
  568. {
  569. dir: H,
  570. HW: [[816,ARROWS]],
  571. stretch: {left:[0x21D0,MAIN], rep:[0x3D,MAIN], right:[0x2AE4,OPERATORS,0.000,-0.090]}
  572. },
  573. 0x2907:
  574. {
  575. dir: H,
  576. HW: [[816,ARROWS]],
  577. stretch: {left:[0x22A8,MAIN,0.000,-0.090], rep:[0x3D,MAIN], right:[0x21D2,MAIN]}
  578. },
  579. 0x290A:
  580. {
  581. dir: V,
  582. HW: [[818,ARROWS]],
  583. stretch: {ext:[0xE038,SIZE5], top:[0x290A,ARROWS]}
  584. },
  585. 0x290B:
  586. {
  587. dir: V,
  588. HW: [[818,ARROWS]],
  589. stretch: {bot:[0x290B,ARROWS], ext:[0xE038,SIZE5]}
  590. },
  591. 0x2912:
  592. {
  593. dir: V,
  594. HW: [[818,ARROWS]],
  595. stretch: {top:[0x2912,ARROWS], ext:[0x23D0,MAIN]}
  596. },
  597. 0x2913:
  598. {
  599. dir: V,
  600. HW: [[818,ARROWS]],
  601. stretch: {bot:[0x2913,ARROWS], ext:[0x23D0,MAIN]}
  602. },
  603. 0x294E:
  604. {
  605. dir: H,
  606. HW: [[850,ARROWS]],
  607. stretch: {left:[0x21BC,MAIN], rep:ARROWREP, right:[0x21C0,MAIN]}
  608. },
  609. 0x294F:
  610. {
  611. dir: V,
  612. HW: [[818,ARROWS]],
  613. stretch: {top:[0x21BE,MAIN], ext:[0x23D0,MAIN], bot:[0x21C2,MAIN]}
  614. },
  615. 0x2950:
  616. {
  617. dir: H,
  618. HW: [[850,ARROWS]],
  619. stretch: {left:[0x21BD,MAIN], rep:ARROWREP, right:[0x21C1,MAIN]}
  620. },
  621. 0x2951:
  622. {
  623. dir: V,
  624. HW: [[818,ARROWS]],
  625. stretch: {top:[0x21BF,MAIN], ext:[0x23D0,MAIN], bot:[0x21C3,MAIN]}
  626. },
  627. 0x2952:
  628. {
  629. dir: H,
  630. HW: [[816,ARROWS]],
  631. stretch: {left:[0x2952,ARROWS], rep:ARROWREP}
  632. },
  633. 0x2953:
  634. {
  635. dir: H,
  636. HW: [[816,ARROWS]],
  637. stretch: {right:[0x2953,ARROWS], rep:ARROWREP}
  638. },
  639. 0x2954:
  640. {
  641. dir: V,
  642. HW: [[818,ARROWS]],
  643. stretch: {top:[0x2954,ARROWS], ext:[0x23D0,MAIN]}
  644. },
  645. 0x2955:
  646. {
  647. dir: V,
  648. HW: [[818,ARROWS]],
  649. stretch: {bot:[0x2955,ARROWS], ext:[0x23D0,MAIN]}
  650. },
  651. 0x2956:
  652. {
  653. dir: H,
  654. HW: [[816,ARROWS]],
  655. stretch: {left:[0x2956,ARROWS], rep:ARROWREP}
  656. },
  657. 0x2957:
  658. {
  659. dir: H,
  660. HW: [[816,ARROWS]],
  661. stretch: {right:[0x2957,ARROWS], rep:ARROWREP}
  662. },
  663. 0x2958:
  664. {
  665. dir: V,
  666. HW: [[818,ARROWS]],
  667. stretch: {top:[0x2958,ARROWS], ext:[0x23D0,MAIN]}
  668. },
  669. 0x2959:
  670. {
  671. dir: V,
  672. HW: [[818,ARROWS]],
  673. stretch: {bot:[0x2959,ARROWS], ext:[0x23D0,MAIN]}
  674. },
  675. 0x295A:
  676. {
  677. dir: H,
  678. HW: [[816,ARROWS]],
  679. stretch: {left:[0x21BC,MAIN], rep:ARROWREP, right:[0x22A3,MAINBOLD,0.000,0.100,0.600]}
  680. },
  681. 0x295B:
  682. {
  683. dir: H,
  684. HW: [[816,ARROWS]],
  685. stretch: {left:[0xE0B6,ARROWS], rep:ARROWREP, right:[0x21C0,MAIN]}
  686. },
  687. 0x295C:
  688. {
  689. dir: V,
  690. HW: [[818,ARROWS]],
  691. stretch: {bot:[0x5F,MAIN,0.050,-0.010,0.800], ext:[0x23D0,MAIN], top:[0x21BE,MAIN]}
  692. },
  693. 0x295D:
  694. {
  695. dir: V,
  696. HW: [[818,ARROWS]],
  697. stretch: {top:[0x22A4,MAINBOLD,0.040,0.000,0.600], ext:[0x23D0,MAIN], bot:[0x21C2,MAIN]}
  698. },
  699. 0x295E:
  700. {
  701. dir: H,
  702. HW: [[816,ARROWS]],
  703. stretch: {left:[0x21BD,MAIN], rep:ARROWREP, right:[0x22A3,MAINBOLD,0.000,0.100,0.600]}
  704. },
  705. 0x295F:
  706. {
  707. dir: H,
  708. HW: [[816,ARROWS]],
  709. stretch: {left:[0xE0B6,ARROWS], rep:ARROWREP, right:[0x21C1,MAIN]}
  710. },
  711. 0x2960:
  712. {
  713. dir: V,
  714. HW: [[818,ARROWS]],
  715. stretch: {bot:[0x5F,MAIN,0.050,-0.010,0.800], ext:[0x23D0,MAIN], top:[0x21BF,MAIN]}
  716. },
  717. 0x2961:
  718. {
  719. dir: V,
  720. HW: [[818,ARROWS]],
  721. stretch: {top:[0x22A4,MAINBOLD,0.040,0.000,0.600], ext:[0x23D0,MAIN], bot:[0x21C3,MAIN]}
  722. },
  723. 0x2980:
  724. {
  725. dir: V,
  726. HW: [[884,SYMBOLS]],
  727. stretch: {ext:[0x2980,SYMBOLS]}
  728. },
  729. 0x2983:
  730. {
  731. dir: V,
  732. HW: [[932,SYMBOLS], [1230,SIZE1], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]]
  733. },
  734. 0x2984:
  735. {
  736. dir: V,
  737. HW: [[932,SYMBOLS], [1230,SIZE1], [1845,SIZE2], [2460,SIZE3], [3075,SIZE4]]
  738. },
  739. 0x2985:
  740. {
  741. dir: V,
  742. HW: [[932,SYMBOLS], [1230,SIZE1], [1848,SIZE2], [2459,SIZE3], [3075,SIZE4]]
  743. },
  744. 0x2986:
  745. {
  746. dir: V,
  747. HW: [[932,SYMBOLS], [1230,SIZE1], [1848,SIZE2], [2459,SIZE3], [3075,SIZE4]]
  748. },
  749. 0x2997:
  750. {
  751. dir: V,
  752. HW: [[932,MAIN]],
  753. stretch: {top:[0xE10D,SHAPES,0.100,0.050], ext:[0x23D0,MAIN,-0.100], bot:[0xE10C,SHAPES,0.100]}
  754. },
  755. 0x2998:
  756. {
  757. dir: V,
  758. HW: [[932,MAIN]],
  759. stretch: {top:[0xE10C,SHAPES,-0.100,0.050], ext:[0x23D0,MAIN], bot:[0xE10D,SHAPES,-0.100]}
  760. },
  761. 0x2A00:
  762. {
  763. dir: V,
  764. HW: [[1022,OPERATORS], [1451,SIZE1]]
  765. },
  766. 0x2A01:
  767. {
  768. dir: V,
  769. HW: [[1022,OPERATORS], [1451,SIZE1]]
  770. },
  771. 0x2A02:
  772. {
  773. dir: V,
  774. HW: [[1022,OPERATORS], [1451,SIZE1]]
  775. },
  776. 0x2A03:
  777. {
  778. dir: V,
  779. HW: [[1032,OPERATORS], [1461,SIZE1]]
  780. },
  781. 0x2A04:
  782. {
  783. dir: V,
  784. HW: [[1032,OPERATORS], [1461,SIZE1]]
  785. },
  786. 0x2A05:
  787. {
  788. dir: V,
  789. HW: [[1022,OPERATORS], [1451,SIZE1]]
  790. },
  791. 0x2A06:
  792. {
  793. dir: V,
  794. HW: [[1022,OPERATORS], [1451,SIZE1]]
  795. },
  796. 0x2A07:
  797. {
  798. dir: V,
  799. HW: [[1022,OPERATORS], [1451,SIZE1]]
  800. },
  801. 0x2A08:
  802. {
  803. dir: V,
  804. HW: [[1022,OPERATORS], [1451,SIZE1]]
  805. },
  806. 0x2A09:
  807. {
  808. dir: V,
  809. HW: [[1022,OPERATORS], [1451,SIZE1]]
  810. },
  811. 0x2A0A:
  812. {
  813. dir: V,
  814. HW: [[1022,OPERATORS], [1450,SIZE1]]
  815. },
  816. 0x2A0B:
  817. {
  818. dir: V,
  819. HW: [[1144,OPERATORS], [2269,SIZE1]]
  820. },
  821. 0x2A0C:
  822. {
  823. dir: V,
  824. HW: [[1144,OPERATORS], [2269,SIZE1]]
  825. },
  826. 0x2A0D:
  827. {
  828. dir: V,
  829. HW: [[1144,OPERATORS], [2269,SIZE1]]
  830. },
  831. 0x2A0E:
  832. {
  833. dir: V,
  834. HW: [[1144,OPERATORS], [2269,SIZE1]]
  835. },
  836. 0x2A0F:
  837. {
  838. dir: V,
  839. HW: [[1144,OPERATORS], [2269,SIZE1]]
  840. },
  841. 0x2A10:
  842. {
  843. dir: V,
  844. HW: [[1144,OPERATORS], [2269,SIZE1]]
  845. },
  846. 0x2A11:
  847. {
  848. dir: V,
  849. HW: [[1144,OPERATORS], [2269,SIZE1]]
  850. },
  851. 0x2A12:
  852. {
  853. dir: V,
  854. HW: [[1144,OPERATORS], [2269,SIZE1]]
  855. },
  856. 0x2A13:
  857. {
  858. dir: V,
  859. HW: [[1144,OPERATORS], [2269,SIZE1]]
  860. },
  861. 0x2A14:
  862. {
  863. dir: V,
  864. HW: [[1144,OPERATORS], [2269,SIZE1]]
  865. },
  866. 0x2A15:
  867. {
  868. dir: V,
  869. HW: [[1144,OPERATORS], [2269,SIZE1]]
  870. },
  871. 0x2A16:
  872. {
  873. dir: V,
  874. HW: [[1144,OPERATORS], [2269,SIZE1]]
  875. },
  876. 0x2A17:
  877. {
  878. dir: V,
  879. HW: [[1144,OPERATORS], [2269,SIZE1]]
  880. },
  881. 0x2A18:
  882. {
  883. dir: V,
  884. HW: [[1144,OPERATORS], [2269,SIZE1]]
  885. },
  886. 0x2A19:
  887. {
  888. dir: V,
  889. HW: [[1144,OPERATORS], [2269,SIZE1]]
  890. },
  891. 0x2A1A:
  892. {
  893. dir: V,
  894. HW: [[1144,OPERATORS], [2269,SIZE1]]
  895. },
  896. 0x2A1B:
  897. {
  898. dir: V,
  899. HW: [[1267,OPERATORS], [2426,SIZE1]]
  900. },
  901. 0x2A1C:
  902. {
  903. dir: V,
  904. HW: [[1267,OPERATORS], [2426,SIZE1]]
  905. },
  906. 0x2AFC:
  907. {
  908. dir: V,
  909. HW: [[1022,OPERATORS], [1230,SIZE1], [1875,SIZE2]]
  910. },
  911. 0x2AFF:
  912. {
  913. dir: V,
  914. HW: [[1022,OPERATORS], [1230,SIZE1], [1875,SIZE2]]
  915. },
  916. 0x2B45:
  917. {
  918. dir: H,
  919. HW: [[818,SHAPES]],
  920. stretch: {left:[0x2B45,SHAPES], rep:[0xE039,SIZE5]}
  921. }
  922. };
  923. for (var id in delim) {if (delim.hasOwnProperty(id)) {DELIMITERS[id] = delim[id]}};
  924. MathJax.Ajax.loadComplete(SVG.fontDir + "/fontdata-extra.js");
  925. })(MathJax.OutputJax["SVG"]);