fontdata-extra.js 21 KB

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