fontdata.js 28 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765
  1. /*************************************************************
  2. *
  3. * MathJax/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js
  4. *
  5. * Initializes the HTML-CSS OutputJax to use 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 (HTMLCSS,MML,AJAX) {
  21. var VERSION = "2.7.2";
  22. var ALPHABETSBOLDITALIC = "STIXMathJax_Alphabets-bold-italic",
  23. ALPHABETSBOLD = "STIXMathJax_Alphabets-bold",
  24. ALPHABETSITALIC = "STIXMathJax_Alphabets-italic",
  25. ALPHABETS = "STIXMathJax_Alphabets",
  26. ARROWSBOLD = "STIXMathJax_Arrows-bold",
  27. ARROWS = "STIXMathJax_Arrows",
  28. DOUBLESTRUCKBOLDITALIC = "STIXMathJax_DoubleStruck-bold-italic",
  29. DOUBLESTRUCKBOLD = "STIXMathJax_DoubleStruck-bold",
  30. DOUBLESTRUCKITALIC = "STIXMathJax_DoubleStruck-italic",
  31. DOUBLESTRUCK = "STIXMathJax_DoubleStruck",
  32. FRAKTURBOLD = "STIXMathJax_Fraktur-bold",
  33. FRAKTUR = "STIXMathJax_Fraktur",
  34. LATINBOLDITALIC = "STIXMathJax_Latin-bold-italic",
  35. LATINBOLD = "STIXMathJax_Latin-bold",
  36. LATINITALIC = "STIXMathJax_Latin-italic",
  37. LATIN = "STIXMathJax_Latin",
  38. MAINBOLDITALIC = "STIXMathJax_Main-bold-italic",
  39. MAINBOLD = "STIXMathJax_Main-bold",
  40. MAINITALIC = "STIXMathJax_Main-italic",
  41. MAIN = "STIXMathJax_Main",
  42. MARKSBOLDITALIC = "STIXMathJax_Marks-bold-italic",
  43. MARKSBOLD = "STIXMathJax_Marks-bold",
  44. MARKSITALIC = "STIXMathJax_Marks-italic",
  45. MARKS = "STIXMathJax_Marks",
  46. MISCBOLDITALIC = "STIXMathJax_Misc-bold-italic",
  47. MISCBOLD = "STIXMathJax_Misc-bold",
  48. MISCITALIC = "STIXMathJax_Misc-italic",
  49. MISC = "STIXMathJax_Misc",
  50. MONOSPACE = "STIXMathJax_Monospace",
  51. NORMALBOLDITALIC = "STIXMathJax_Normal-bold-italic",
  52. NORMALBOLD = "STIXMathJax_Normal-bold",
  53. NORMALITALIC = "STIXMathJax_Normal-italic",
  54. OPERATORSBOLD = "STIXMathJax_Operators-bold",
  55. OPERATORS = "STIXMathJax_Operators",
  56. SANSSERIFBOLDITALIC = "STIXMathJax_SansSerif-bold-italic",
  57. SANSSERIFBOLD = "STIXMathJax_SansSerif-bold",
  58. SANSSERIFITALIC = "STIXMathJax_SansSerif-italic",
  59. SANSSERIF = "STIXMathJax_SansSerif",
  60. SCRIPTBOLDITALIC = "STIXMathJax_Script-bold-italic",
  61. SCRIPTITALIC = "STIXMathJax_Script-italic",
  62. SCRIPT = "STIXMathJax_Script",
  63. SHAPESBOLDITALIC = "STIXMathJax_Shapes-bold-italic",
  64. SHAPESBOLD = "STIXMathJax_Shapes-bold",
  65. SHAPES = "STIXMathJax_Shapes",
  66. SIZE1 = "STIXMathJax_Size1",
  67. SIZE2 = "STIXMathJax_Size2",
  68. SIZE3 = "STIXMathJax_Size3",
  69. SIZE4 = "STIXMathJax_Size4",
  70. SIZE5 = "STIXMathJax_Size5",
  71. SYMBOLSBOLD = "STIXMathJax_Symbols-bold",
  72. SYMBOLS = "STIXMathJax_Symbols",
  73. VARIANTSBOLDITALIC = "STIXMathJax_Variants-bold-italic",
  74. VARIANTSBOLD = "STIXMathJax_Variants-bold",
  75. VARIANTSITALIC = "STIXMathJax_Variants-italic",
  76. VARIANTS = "STIXMathJax_Variants";
  77. var H = "H", V = "V", EXTRAH = {load:"extra", dir:H}, EXTRAV = {load:"extra", dir:V};
  78. var ARROWREP = [0x2212,MAIN,0,0,0,-.26,-.26];
  79. HTMLCSS.Augment({
  80. FONTDATA: {
  81. version: VERSION,
  82. TeX_factor: 1.125,
  83. baselineskip: 1.200,
  84. lineH: 0.800, lineD: 0.200,
  85. hasStyleChar: true, // char 0xEFFD encodes font style
  86. FONTS: {
  87. "STIXMathJax_Alphabets-bold-italic": "Alphabets/BoldItalic/Main.js",
  88. "STIXMathJax_Alphabets-bold": "Alphabets/Bold/Main.js",
  89. "STIXMathJax_Alphabets-italic": "Alphabets/Italic/Main.js",
  90. "STIXMathJax_Alphabets": "Alphabets/Regular/Main.js",
  91. "STIXMathJax_Arrows-bold": "Arrows/Bold/Main.js",
  92. "STIXMathJax_Arrows": "Arrows/Regular/Main.js",
  93. "STIXMathJax_DoubleStruck-bold-italic": "DoubleStruck/BoldItalic/Main.js",
  94. "STIXMathJax_DoubleStruck-bold": "DoubleStruck/Bold/Main.js",
  95. "STIXMathJax_DoubleStruck-italic": "DoubleStruck/Italic/Main.js",
  96. "STIXMathJax_DoubleStruck": "DoubleStruck/Regular/Main.js",
  97. "STIXMathJax_Fraktur-bold": "Fraktur/Bold/Main.js",
  98. "STIXMathJax_Fraktur": "Fraktur/Regular/Main.js",
  99. "STIXMathJax_Latin-bold-italic": "Latin/BoldItalic/Main.js",
  100. "STIXMathJax_Latin-bold": "Latin/Bold/Main.js",
  101. "STIXMathJax_Latin-italic": "Latin/Italic/Main.js",
  102. "STIXMathJax_Latin": "Latin/Regular/Main.js",
  103. "STIXMathJax_Main-bold-italic": "Main/BoldItalic/Main.js",
  104. "STIXMathJax_Main-bold": "Main/Bold/Main.js",
  105. "STIXMathJax_Main-italic": "Main/Italic/Main.js",
  106. "STIXMathJax_Main": "Main/Regular/Main.js",
  107. "STIXMathJax_Marks-bold-italic": "Marks/BoldItalic/Main.js",
  108. "STIXMathJax_Marks-bold": "Marks/Bold/Main.js",
  109. "STIXMathJax_Marks-italic": "Marks/Italic/Main.js",
  110. "STIXMathJax_Marks": "Marks/Regular/Main.js",
  111. "STIXMathJax_Misc-bold-italic": "Misc/BoldItalic/Main.js",
  112. "STIXMathJax_Misc-bold": "Misc/Bold/Main.js",
  113. "STIXMathJax_Misc-italic": "Misc/Italic/Main.js",
  114. "STIXMathJax_Misc": "Misc/Regular/Main.js",
  115. "STIXMathJax_Monospace": "Monospace/Regular/Main.js",
  116. "STIXMathJax_Normal-bold-italic": "Normal/BoldItalic/Main.js",
  117. "STIXMathJax_Normal-bold": "Normal/Bold/Main.js",
  118. "STIXMathJax_Normal-italic": "Normal/Italic/Main.js",
  119. "STIXMathJax_Operators-bold": "Operators/Bold/Main.js",
  120. "STIXMathJax_Operators": "Operators/Regular/Main.js",
  121. "STIXMathJax_SansSerif-bold-italic": "SansSerif/BoldItalic/Main.js",
  122. "STIXMathJax_SansSerif-bold": "SansSerif/Bold/Main.js",
  123. "STIXMathJax_SansSerif-italic": "SansSerif/Italic/Main.js",
  124. "STIXMathJax_SansSerif": "SansSerif/Regular/Main.js",
  125. "STIXMathJax_Script-bold-italic": "Script/BoldItalic/Main.js",
  126. "STIXMathJax_Script-italic": "Script/Italic/Main.js",
  127. "STIXMathJax_Script": "Script/Regular/Main.js",
  128. "STIXMathJax_Shapes-bold-italic": "Shapes/BoldItalic/Main.js",
  129. "STIXMathJax_Shapes-bold": "Shapes/Bold/Main.js",
  130. "STIXMathJax_Shapes": "Shapes/Regular/Main.js",
  131. "STIXMathJax_Size1": "Size1/Regular/Main.js",
  132. "STIXMathJax_Size2": "Size2/Regular/Main.js",
  133. "STIXMathJax_Size3": "Size3/Regular/Main.js",
  134. "STIXMathJax_Size4": "Size4/Regular/Main.js",
  135. "STIXMathJax_Size5": "Size5/Regular/Main.js",
  136. "STIXMathJax_Symbols-bold": "Symbols/Bold/Main.js",
  137. "STIXMathJax_Symbols": "Symbols/Regular/Main.js",
  138. "STIXMathJax_Variants-bold-italic": "Variants/BoldItalic/Main.js",
  139. "STIXMathJax_Variants-bold": "Variants/Bold/Main.js",
  140. "STIXMathJax_Variants-italic": "Variants/Italic/Main.js",
  141. "STIXMathJax_Variants": "Variants/Regular/Main.js"
  142. },
  143. VARIANT: {
  144. "normal": {remap: {0x007C: [0x007C, "-STIX-Web-variant"]}, fonts: [MAIN,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,VARIANTS,SIZE1]},
  145. "bold": {fonts: [MAINBOLD,NORMALBOLD,FRAKTURBOLD,DOUBLESTRUCKBOLD,SANSSERIFBOLD,LATINBOLD,ALPHABETSBOLD,MARKSBOLD,ARROWSBOLD,OPERATORSBOLD,SYMBOLSBOLD,SHAPESBOLD,MISCBOLD,VARIANTSBOLD,SIZE1], bold:true},
  146. "italic": {fonts: [MAINITALIC,NORMALITALIC,SCRIPTITALIC,DOUBLESTRUCKITALIC,SANSSERIFITALIC,LATINITALIC,ALPHABETSITALIC,MARKSITALIC,MISCITALIC,VARIANTSITALIC,SIZE1], italic:true},
  147. "bold-italic": {fonts: [MAINBOLDITALIC,NORMALBOLDITALIC,SCRIPTBOLDITALIC,DOUBLESTRUCKBOLDITALIC,SANSSERIFBOLDITALIC,LATINBOLDITALIC,ALPHABETSBOLDITALIC,MARKSBOLDITALIC,SHAPESBOLDITALIC,MISCBOLDITALIC,VARIANTSBOLDITALIC,SIZE1], bold: true, italic:true},
  148. "double-struck": {
  149. fonts: [DOUBLESTRUCK],
  150. offsetA: 0x1D538,
  151. offsetN: 0x1D7D8,
  152. remap: {0x1D53A: 0x2102, 0x1D53F: 0x210D, 0x1D545: 0x2115, 0x1D547: 0x2119, 0x1D548: 0x211A, 0x1D549: 0x211D, 0x1D551: 0x2124}
  153. },
  154. "fraktur": {
  155. fonts: [FRAKTUR],
  156. offsetA: 0x1D504,
  157. remap: {0x1D506: 0x212D, 0x1D50B: 0x210C, 0x1D50C: 0x2111, 0x1D515: 0x211C, 0x1D51D: 0x2128}
  158. },
  159. "bold-fraktur": {
  160. fonts: [FRAKTURBOLD], bold:true,
  161. offsetA: 0x1D56C
  162. },
  163. "script": {
  164. fonts: [SCRIPTITALIC], italic:true,
  165. offsetA: 0x1D49C,
  166. remap: {0x1D49D: 0x212C, 0x1D4A0: 0x2130, 0x1D4A1: 0x2131, 0x1D4A3: 0x210B, 0x1D4A4: 0x2110, 0x1D4A7: 0x2112, 0x1D4A8: 0x2133, 0x1D4AD: 0x211B, 0x1D4BA: 0x212F, 0x1D4BC: 0x210A, 0x1D4C4: 0x2134}
  167. },
  168. "bold-script": {
  169. fonts: [SCRIPTBOLDITALIC], bold:true, italic:true,
  170. offsetA: 0x1D4D0
  171. },
  172. "sans-serif": {
  173. fonts: [SANSSERIF],
  174. offsetA: 0x1D5A0,
  175. offsetN: 0x1D7E2,
  176. offsetG: 0xE17D,
  177. offsetE: 0xE17D
  178. },
  179. "bold-sans-serif": {
  180. fonts: [SANSSERIFBOLD], bold:true,
  181. offsetA: 0x1D5D4,
  182. offsetN: 0x1D7EC,
  183. offsetG: 0x1D756
  184. },
  185. "sans-serif-italic": {
  186. fonts: [SANSSERIFITALIC], italic: true,
  187. offsetA: 0x1D608,
  188. offsetN: 0xE1B4,
  189. offsetG: 0xE1BF,
  190. offsetE: 0xE1BF
  191. },
  192. "sans-serif-bold-italic": {
  193. fonts: [SANSSERIFBOLDITALIC], bold:true, italic: true,
  194. offsetA: 0x1D63C,
  195. offsetN: 0xE1F6,
  196. offsetG: 0x1D790
  197. },
  198. "monospace": {
  199. fonts: [MONOSPACE],
  200. offsetA: 0x1D670,
  201. offsetN: 0x1D7F6
  202. },
  203. "-STIX-Web-variant": {remap: {0x2A87: 0xE010, 0x2A88: 0xE00F, 0x25B3: 0x25B5, 0x25BD: 0x25BF, 0x007C: [0x007C, MML.VARIANT.NORMAL]}, fonts: [VARIANTS,SHAPES,OPERATORS,MAIN,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,SYMBOLS,MISC,SIZE1]},
  204. "-tex-caligraphic": {offsetA: 0xE22D, noLowerCase: 1, fonts: [VARIANTSITALIC,MAINITALIC,NORMALITALIC,SCRIPTITALIC,DOUBLESTRUCKITALIC,SANSSERIFITALIC,LATINITALIC,ALPHABETSITALIC,MARKSITALIC,MISCITALIC,SIZE1], italic: true},
  205. "-tex-oldstyle": {offsetN: 0xE261, remap: {0xE262: 0xE265, 0xE263: 0xE269, 0xE264: 0xE26D, 0xE265: 0xE271, 0xE266: 0xE275, 0xE267: 0xE279, 0xE268: 0xE27D, 0xE269: 0xE281, 0xE26A: 0xE285}, fonts: [VARIANTS,MAIN,MONOSPACE,LATIN,ALPHABETS,MARKS,ARROWS,OPERATORS,SYMBOLS,SHAPES,MISC,SIZE1]},
  206. "-tex-caligraphic-bold": {offsetA: 0xE247, noLowerCase: 1, fonts: [VARIANTSBOLDITALIC,MAINBOLDITALIC,NORMALBOLDITALIC,SCRIPTBOLDITALIC,DOUBLESTRUCKBOLDITALIC,SANSSERIFBOLDITALIC,LATINBOLDITALIC,ALPHABETSBOLDITALIC,MARKSBOLDITALIC,SHAPESBOLDITALIC,MISCBOLDITALIC,SIZE1], italic: true, bold: true},
  207. "-tex-oldstyle-bold": {offsetN: 0xE261, remap: {0xE264: 0xE267, 0xE265: 0xE26B, 0xE266: 0xE26F, 0xE267: 0xE273, 0xE268: 0xE277, 0xE269: 0xE27B, 0xE26A: 0xE27F, 0xE26B: 0xE283, 0xE26C: 0xE287}, fonts: [VARIANTSBOLD,MAINBOLD,NORMALBOLD,FRAKTURBOLD,DOUBLESTRUCKBOLD,SANSSERIFBOLD,LATINBOLD,ALPHABETSBOLD,MARKSBOLD,ARROWSBOLD,OPERATORSBOLD,SYMBOLSBOLD,SHAPESBOLD,MISCBOLD,SIZE1], bold: true},
  208. "-tex-mathit": {fonts: [MAINITALIC,NORMALITALIC,SCRIPTITALIC,DOUBLESTRUCKITALIC,SANSSERIFITALIC,LATINITALIC,ALPHABETSITALIC,MARKSITALIC,MISCITALIC,VARIANTSITALIC,SIZE1], italic:true, noIC:true},
  209. "-largeOp": {fonts:[SIZE1,MAIN]},
  210. "-smallOp": {}
  211. },
  212. RANGES: [
  213. {name: "alpha", low: 0x61, high: 0x7A, offset: "A", add: 26},
  214. {name: "Alpha", low: 0x41, high: 0x5A, offset: "A"},
  215. {name: "number", low: 0x30, high: 0x39, offset: "N"},
  216. {name: "greek-non-unicode", low: 0x03B1, high: 0x03C9, offset: "E", add: 25},
  217. {name: "greek", low: 0x03B1, high: 0x03C9, offset: "G", add: 26},
  218. {name: "Greek", low: 0x0391, high: 0x03F6, offset: "G",
  219. remap: {0x03F5: 52, 0x03D1: 53, 0x03F0: 54, 0x03D5: 55, 0x03F1: 56, 0x03D6: 57, 0x03F4: 17}}
  220. ],
  221. RULECHAR: 0x23AF,
  222. REMAP: {
  223. 0xA: 0x20,
  224. 0x3008: 0x27E8,
  225. 0x3009: 0x27E9,
  226. 0x2758: 0x2223,
  227. 0x02F3: 0x02DA,
  228. 0x02F4: 0x02CA,
  229. 0xFE37: 0x23DE,
  230. 0xFE38: 0x23DF
  231. },
  232. REMAPACCENT: {
  233. "\u007E": "\u0303",
  234. "\u2192": "\u20D7",
  235. "\u2190": "\u20D6",
  236. "\u0060": "\u0300",
  237. "\u005E": "\u0302",
  238. "\u00B4": "\u0301",
  239. "\u2032": "\u0301",
  240. "\u2035": "\u0300"
  241. },
  242. REMAPACCENTUNDER: {
  243. },
  244. DELIMITERS: {
  245. 0x28:
  246. {
  247. dir: V,
  248. HW: [[0.853,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  249. stretch: {bot:[0xE000,SIZE5], ext:[0xE001,SIZE5], top:[0xE002,SIZE5]}
  250. },
  251. 0x29:
  252. {
  253. dir: V,
  254. HW: [[0.853,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  255. stretch: {bot:[0xE003,SIZE5], ext:[0xE004,SIZE5], top:[0xE005,SIZE5]}
  256. },
  257. 0x2D: {alias: 0x23AF, dir: H},
  258. 0x2F:
  259. {
  260. dir: V,
  261. HW: [[0.690,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]]
  262. },
  263. 0x3D: EXTRAH,
  264. 0x5B:
  265. {
  266. dir: V,
  267. HW: [[0.818,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  268. stretch: {bot:[0xE006,SIZE5], ext:[0xE007,SIZE5], top:[0xE008,SIZE5]}
  269. },
  270. 0x5C:
  271. {
  272. dir: V,
  273. HW: [[0.690,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]]
  274. },
  275. 0x5D:
  276. {
  277. dir: V,
  278. HW: [[0.818,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  279. stretch: {bot:[0xE009,SIZE5], ext:[0xE00A,SIZE5], top:[0xE00B,SIZE5]}
  280. },
  281. 0x5E: {alias: 0x2C6, dir: H},
  282. 0x5F: {alias: 0x23AF, dir: H},
  283. 0x7B:
  284. {
  285. dir: V,
  286. HW: [[0.861,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  287. stretch: {bot:[0xE00C,SIZE5], ext:[0xE00D,SIZE5], mid:[0xE00E,SIZE5], top:[0xE00F,SIZE5]}
  288. },
  289. 0x7C:
  290. {
  291. dir: V,
  292. HW: [[0.690,MAIN]],
  293. stretch: {bot:[0x7C,MAIN], ext:[0x7C,MAIN]}
  294. },
  295. 0x7D:
  296. {
  297. dir: V,
  298. HW: [[0.861,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  299. stretch: {bot:[0xE010,SIZE5], ext:[0xE00D,SIZE5], mid:[0xE011,SIZE5], top:[0xE012,SIZE5]}
  300. },
  301. 0x7E: {alias: 0x2DC, dir: H},
  302. 0xAF: {alias: 0x23AF, dir: H},
  303. 0x2C6:
  304. {
  305. dir: H,
  306. HW: [[0.311,MAIN], [0.560,SIZE1], [0.979,SIZE2], [1.460,SIZE3], [1.886,SIZE4], [2.328,SIZE5]]
  307. },
  308. 0x2C7: EXTRAH,
  309. 0x2C9: {alias: 0x23AF, dir: H},
  310. 0x2CD: EXTRAH,
  311. 0x2DC:
  312. {
  313. dir: H,
  314. HW: [[0.330,MAIN], [0.560,SIZE1], [0.979,SIZE2], [1.460,SIZE3], [1.886,SIZE4], [2.328,SIZE5]]
  315. },
  316. 0x2F7: EXTRAH,
  317. 0x302:
  318. {
  319. dir: H,
  320. HW: [[0.311,MAIN], [0.560,SIZE1], [0.979,SIZE2], [1.460,SIZE3], [1.886,SIZE4], [2.328,SIZE5]]
  321. },
  322. 0x303:
  323. {
  324. dir: H,
  325. HW: [[0.330,MAIN], [0.560,SIZE1], [0.979,SIZE2], [1.460,SIZE3], [1.886,SIZE4], [2.328,SIZE5]]
  326. },
  327. 0x305:
  328. {
  329. dir: H,
  330. HW: [[0.500,MARKS], [1.000,SIZE1], [1.500,SIZE2], [2.000,SIZE3], [2.500,SIZE4], [3.000,SIZE5]],
  331. stretch: {left:[0xE013,SIZE5], rep:[0xE013,SIZE5]}
  332. },
  333. 0x30C:
  334. {
  335. dir: H,
  336. HW: [[0.311,MAIN], [0.560,SIZE1], [0.979,SIZE2], [1.460,SIZE3], [1.886,SIZE4], [2.328,SIZE5]]
  337. },
  338. 0x330:
  339. {
  340. dir: H,
  341. HW: [[0.330,MARKS], [0.560,SIZE1], [0.979,SIZE2], [1.460,SIZE3], [1.886,SIZE4], [2.328,SIZE5]]
  342. },
  343. 0x332:
  344. {
  345. dir: H,
  346. HW: [[0.500,MARKS], [1.000,SIZE1], [1.500,SIZE2], [2.000,SIZE3], [2.500,SIZE4], [3.000,SIZE5]],
  347. stretch: {left:[0xE014,SIZE5], rep:[0xE014,SIZE5]}
  348. },
  349. 0x338:
  350. {
  351. dir: V,
  352. HW: [[0.818,MAIN], [0.553,SIZE1], [0.662,SIZE2], [0.818,SIZE3], [0.959,SIZE4], [1.414,SIZE5]]
  353. },
  354. 0x2015: {alias: 0x23AF, dir: H},
  355. 0x2016:
  356. {
  357. dir: V,
  358. HW: [[0.879,MAIN]],
  359. stretch: {bot:[0x2016,MAIN], ext:[0x2016,MAIN]}
  360. },
  361. 0x2017: {alias: 0x23AF, dir: H},
  362. 0x203E:
  363. {
  364. dir: H,
  365. HW: [[0.500,MAIN], [1.000,SIZE1], [1.500,SIZE2], [2.000,SIZE3], [2.500,SIZE4], [3.000,SIZE5]],
  366. stretch: {left:[0x203E,MAIN], rep:[0x203E,MAIN]}
  367. },
  368. 0x20D0: EXTRAH,
  369. 0x20D1: EXTRAH,
  370. 0x20D6: EXTRAH,
  371. 0x20D7:
  372. {
  373. dir: H,
  374. HW: [[0.436,MAIN], [0.872,SIZE1], [1.308,SIZE2], [1.744,SIZE3], [2.180,SIZE4], [3.000,SIZE5]],
  375. stretch: {rep:[0xE016,SIZE5], right:[0xE019,SIZE5]}
  376. },
  377. 0x20E1: EXTRAH,
  378. 0x20EC: EXTRAH,
  379. 0x20ED: EXTRAH,
  380. 0x20EE: EXTRAH,
  381. 0x20EF: EXTRAH,
  382. 0x2140: EXTRAV,
  383. 0x2190:
  384. {
  385. dir: H,
  386. HW: [[0.786,MAIN]],
  387. stretch: {left:[0x2190,MAIN], rep:ARROWREP}
  388. },
  389. 0x2191:
  390. {
  391. dir: V,
  392. HW: [[0.818,MAIN]],
  393. stretch: {ext:[0x23D0,MAIN], top:[0x2191,MAIN]}
  394. },
  395. 0x2192:
  396. {
  397. dir: H,
  398. HW: [[0.786,MAIN]],
  399. stretch: {rep:ARROWREP, right:[0x2192,MAIN]}
  400. },
  401. 0x2193:
  402. {
  403. dir: V,
  404. HW: [[0.818,MAIN]],
  405. stretch: {bot:[0x2193,MAIN], ext:[0x23D0,MAIN]}
  406. },
  407. 0x2194:
  408. {
  409. dir: H,
  410. HW: [[0.850,MAIN]],
  411. stretch: {left:[0x2190,MAIN], rep:ARROWREP, right:[0x2192,MAIN]}
  412. },
  413. 0x2195:
  414. {
  415. dir: V,
  416. HW: [[0.954,MAIN]],
  417. stretch: {bot:[0x2193,MAIN], ext:[0x23D0,MAIN], top:[0x2191,MAIN]}
  418. },
  419. 0x219E: EXTRAH,
  420. 0x219F: EXTRAV,
  421. 0x21A0: EXTRAH,
  422. 0x21A1: EXTRAV,
  423. 0x21A4: EXTRAH,
  424. 0x21A5: EXTRAV,
  425. 0x21A6: EXTRAH,
  426. 0x21A7: EXTRAV,
  427. 0x21A8: EXTRAV,
  428. 0x21A9: EXTRAH,
  429. 0x21AA: EXTRAH,
  430. 0x21B0: EXTRAV,
  431. 0x21B1: EXTRAV,
  432. 0x21B2: EXTRAV,
  433. 0x21B3: EXTRAV,
  434. 0x21B4: EXTRAH,
  435. 0x21B5: EXTRAV,
  436. 0x21BC: EXTRAH,
  437. 0x21BD: EXTRAH,
  438. 0x21BE: EXTRAV,
  439. 0x21BF: EXTRAV,
  440. 0x21C0: EXTRAH,
  441. 0x21C1: EXTRAH,
  442. 0x21C2: EXTRAV,
  443. 0x21C3: EXTRAV,
  444. 0x21CB: EXTRAH,
  445. 0x21CC: EXTRAH,
  446. 0x21D0:
  447. {
  448. dir: H,
  449. HW: [[0.806,MAIN]],
  450. stretch: {left:[0x21D0,MAIN], rep:[0xE01F,SIZE5]}
  451. },
  452. 0x21D1:
  453. {
  454. dir: V,
  455. HW: [[0.818,MAIN]],
  456. stretch: {ext:[0xE020,SIZE5], top:[0x21D1,MAIN]}
  457. },
  458. 0x21D2:
  459. {
  460. dir: H,
  461. HW: [[0.806,MAIN]],
  462. stretch: {rep:[0xE01F,SIZE5], right:[0x21D2,MAIN]}
  463. },
  464. 0x21D3:
  465. {
  466. dir: V,
  467. HW: [[0.818,MAIN]],
  468. stretch: {bot:[0x21D3,MAIN], ext:[0xE020,SIZE5]}
  469. },
  470. 0x21D4:
  471. {
  472. dir: H,
  473. HW: [[0.886,MAIN]],
  474. stretch: {left:[0x21D0,MAIN], rep:[0xE01F,SIZE5], right:[0x21D2,MAIN]}
  475. },
  476. 0x21D5:
  477. {
  478. dir: V,
  479. HW: [[0.954,MAIN]],
  480. stretch: {bot:[0x21D3,MAIN], ext:[0xE020,SIZE5], top:[0x21D1,MAIN]}
  481. },
  482. 0x21DA: EXTRAH,
  483. 0x21DB: EXTRAH,
  484. 0x21E0: EXTRAH,
  485. 0x21E1: EXTRAV,
  486. 0x21E2: EXTRAH,
  487. 0x21E3: EXTRAV,
  488. 0x21E4: EXTRAH,
  489. 0x21E5: EXTRAH,
  490. 0x21FD: EXTRAH,
  491. 0x21FE: EXTRAH,
  492. 0x21FF: EXTRAH,
  493. 0x220F: EXTRAV,
  494. 0x2210: EXTRAV,
  495. 0x2211: EXTRAV,
  496. 0x2212: {alias: 0x23AF, dir: H},
  497. 0x2215: {alias: 0x2F, dir: V},
  498. 0x221A:
  499. {
  500. dir: V,
  501. HW: [[1.232,MAIN], [1.847,SIZE1], [2.460,SIZE2], [3.075,SIZE3]],
  502. stretch: {bot:[0xE022,SIZE5], ext:[0xE023,SIZE5], top:[0xE024,SIZE5]}
  503. },
  504. 0x221B: EXTRAV,
  505. 0x221C: EXTRAV,
  506. 0x2223:
  507. {
  508. dir: V,
  509. HW: [[0.879,MAIN]],
  510. stretch: {ext:[0x2223,MAIN]}
  511. },
  512. 0x2225:
  513. {
  514. dir: V,
  515. HW: [[0.879,MAIN]],
  516. stretch: {ext:[0x2225,MAIN]}
  517. },
  518. 0x222B: EXTRAV,
  519. 0x222C: EXTRAV,
  520. 0x222D: EXTRAV,
  521. 0x222E: EXTRAV,
  522. 0x222F: EXTRAV,
  523. 0x2230: EXTRAV,
  524. 0x2231: EXTRAV,
  525. 0x2232: EXTRAV,
  526. 0x2233: EXTRAV,
  527. 0x22C0: EXTRAV,
  528. 0x22C1: EXTRAV,
  529. 0x22C2: EXTRAV,
  530. 0x22C3: EXTRAV,
  531. 0x2308:
  532. {
  533. dir: V,
  534. HW: [[0.926,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  535. stretch: {ext:[0xE007,SIZE5], top:[0xE008,SIZE5]}
  536. },
  537. 0x2309:
  538. {
  539. dir: V,
  540. HW: [[0.926,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  541. stretch: {ext:[0xE00A,SIZE5], top:[0xE00B,SIZE5]}
  542. },
  543. 0x230A:
  544. {
  545. dir: V,
  546. HW: [[0.926,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  547. stretch: {bot:[0xE006,SIZE5], ext:[0xE007,SIZE5]}
  548. },
  549. 0x230B:
  550. {
  551. dir: V,
  552. HW: [[0.926,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]],
  553. stretch: {bot:[0xE009,SIZE5], ext:[0xE00A,SIZE5]}
  554. },
  555. 0x2312: {alias: 0x23DC, dir:H},
  556. 0x2322: {alias: 0x23DC, dir:H},
  557. 0x2323: {alias: 0x23DD, dir:H},
  558. 0x2329: {alias: 0x27E8, dir: V},
  559. 0x232A: {alias: 0x27E9, dir: V},
  560. 0x23AA: EXTRAV,
  561. 0x23AF:
  562. {
  563. dir: H,
  564. HW: [[0.315,SYMBOLS]],
  565. stretch: {rep:[0x23AF,SYMBOLS]}
  566. },
  567. 0x23B0:
  568. {
  569. dir: V,
  570. HW: [[1.001,SIZE5,null,0xE03A]],
  571. stretch: {top:[0xE00F,SIZE5], ext:[0xE00D,SIZE5], bot:[0xE010,SIZE5]}
  572. },
  573. 0x23B1:
  574. {
  575. dir: V,
  576. HW: [[1.001,SIZE5,null,0xE03B]],
  577. stretch: {top:[0xE012,SIZE5], ext:[0xE00D,SIZE5], bot:[0xE00C,SIZE5]}
  578. },
  579. 0x23B4: EXTRAH,
  580. 0x23B5: EXTRAH,
  581. 0x23D0: EXTRAV,
  582. 0x23DC: EXTRAH,
  583. 0x23DD: EXTRAH,
  584. 0x23DE:
  585. {
  586. dir: H,
  587. HW: [[1.000,MAIN], [0.925,SIZE1], [1.460,SIZE2], [1.886,SIZE3], [2.328,SIZE4], [3.238,SIZE5]],
  588. stretch: {left:[0xE031,SIZE5], rep:[0xE028,SIZE5], mid:[0xE032,SIZE5], right:[0xE033,SIZE5]}
  589. },
  590. 0x23DF:
  591. {
  592. dir: H,
  593. HW: [[1.000,MAIN], [0.925,SIZE1], [1.460,SIZE2], [1.886,SIZE3], [2.328,SIZE4], [3.238,SIZE5]],
  594. stretch: {left:[0xE034,SIZE5], rep:[0xE02B,SIZE5], mid:[0xE035,SIZE5], right:[0xE036,SIZE5]}
  595. },
  596. 0x23E0: EXTRAH,
  597. 0x23E1: EXTRAH,
  598. 0x2500: {alias: 0x2212, dir: H},
  599. 0x2758: {alias: 0x2223, dir: V},
  600. 0x2772: EXTRAV,
  601. 0x2773: EXTRAV,
  602. 0x27E6: EXTRAV,
  603. 0x27E7: EXTRAV,
  604. 0x27E8:
  605. {
  606. dir: V,
  607. HW: [[0.926,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]]
  608. },
  609. 0x27E9:
  610. {
  611. dir: V,
  612. HW: [[0.926,MAIN], [1.230,SIZE1], [1.350,SIZE1,1.098], [1.845,SIZE2], [2.460,SIZE3], [3.075,SIZE4]]
  613. },
  614. 0x27EA: EXTRAV,
  615. 0x27EB: EXTRAV,
  616. 0x27EE:
  617. {
  618. dir: V,
  619. HW: [[0.853,MAIN]],
  620. stretch: {bot:[0xE000,SIZE5], ext:[0xE001,SIZE5], top:[0xE002,SIZE5]}
  621. },
  622. 0x27EF:
  623. {
  624. dir: V,
  625. HW: [[0.853,MAIN]],
  626. stretch: {bot:[0xE003,SIZE5], ext:[0xE004,SIZE5], top:[0xE005,SIZE5]}
  627. },
  628. 0x27F0: EXTRAV,
  629. 0x27F1: EXTRAV,
  630. 0x27F5: {alias: 0x2190, dir: H},
  631. 0x27F6: {alias: 0x2192, dir: H},
  632. 0x27F7: {alias: 0x2194, dir: H},
  633. 0x27F8: {alias: 0x21D0, dir: H},
  634. 0x27F9: {alias: 0x21D2, dir: H},
  635. 0x27FA: {alias: 0x21D4, dir: H},
  636. 0x27FB: {alias: 0x21A4, dir: H},
  637. 0x27FC: {alias: 0x21A6, dir: H},
  638. 0x27FD: {alias: 0x2906, dir: H},
  639. 0x27FE: {alias: 0x2907, dir: H},
  640. 0x2906: EXTRAH,
  641. 0x2907: EXTRAH,
  642. 0x290A: EXTRAV,
  643. 0x290B: EXTRAV,
  644. 0x2912: EXTRAV,
  645. 0x2913: EXTRAV,
  646. 0x294E: EXTRAH,
  647. 0x294F: EXTRAV,
  648. 0x2950: EXTRAH,
  649. 0x2951: EXTRAV,
  650. 0x2952: EXTRAH,
  651. 0x2953: EXTRAH,
  652. 0x2954: EXTRAV,
  653. 0x2955: EXTRAV,
  654. 0x2956: EXTRAH,
  655. 0x2957: EXTRAH,
  656. 0x2958: EXTRAV,
  657. 0x2959: EXTRAV,
  658. 0x295A: EXTRAH,
  659. 0x295B: EXTRAH,
  660. 0x295C: EXTRAV,
  661. 0x295D: EXTRAV,
  662. 0x295E: EXTRAH,
  663. 0x295F: EXTRAH,
  664. 0x2960: EXTRAV,
  665. 0x2961: EXTRAV,
  666. 0x2980: EXTRAV,
  667. 0x2983: EXTRAV,
  668. 0x2984: EXTRAV,
  669. 0x2985: EXTRAV,
  670. 0x2986: EXTRAV,
  671. 0x2997: EXTRAV,
  672. 0x2998: EXTRAV,
  673. 0x29F8:
  674. {
  675. dir: V,
  676. HW: [[1.020,MAIN], [1.845,SIZE1]]
  677. },
  678. 0x29F9:
  679. {
  680. dir: V,
  681. HW: [[1.020,MAIN], [1.845,SIZE1]]
  682. },
  683. 0x2A00: EXTRAV,
  684. 0x2A01: EXTRAV,
  685. 0x2A02: EXTRAV,
  686. 0x2A03: EXTRAV,
  687. 0x2A04: EXTRAV,
  688. 0x2A05: EXTRAV,
  689. 0x2A06: EXTRAV,
  690. 0x2A07: EXTRAV,
  691. 0x2A08: EXTRAV,
  692. 0x2A09: EXTRAV,
  693. 0x2A0A: EXTRAV,
  694. 0x2A0B: EXTRAV,
  695. 0x2A0C: EXTRAV,
  696. 0x2A0D: EXTRAV,
  697. 0x2A0E: EXTRAV,
  698. 0x2A0F: EXTRAV,
  699. 0x2A10: EXTRAV,
  700. 0x2A11: EXTRAV,
  701. 0x2A12: EXTRAV,
  702. 0x2A13: EXTRAV,
  703. 0x2A14: EXTRAV,
  704. 0x2A15: EXTRAV,
  705. 0x2A16: EXTRAV,
  706. 0x2A17: EXTRAV,
  707. 0x2A18: EXTRAV,
  708. 0x2A19: EXTRAV,
  709. 0x2A1A: EXTRAV,
  710. 0x2A1B: EXTRAV,
  711. 0x2A1C: EXTRAV,
  712. 0x2AFC: EXTRAV,
  713. 0x2AFF: EXTRAV,
  714. 0x2B45: EXTRAH,
  715. 0x2B46:
  716. {
  717. dir: H,
  718. HW: [[0.818,SHAPES]],
  719. stretch: {rep:[0xE039,SIZE5], right:[0x2B46,SHAPES]}
  720. },
  721. 0x3008: {alias: 0x27E8, dir: V},
  722. 0x3009: {alias: 0x27E9, dir: V},
  723. 0xFE37: {alias: 0x23DE, dir: H},
  724. 0xFE38: {alias: 0x23DF, dir: H}
  725. }
  726. }
  727. });
  728. MathJax.Hub.Register.LoadHook(HTMLCSS.fontDir+"/Main/Regular/Main.js",function () {
  729. HTMLCSS.FONTDATA.FONTS[MAIN][0x22EE][0] += 400; // adjust height for \vdots
  730. HTMLCSS.FONTDATA.FONTS[MAIN][0x22F1][0] += 500; // adjust height for \ddots
  731. HTMLCSS.FONTDATA.FONTS[MAIN][0x2212][0] = HTMLCSS.FONTDATA.FONTS[MAIN][0x002B][0]; // - needs height and depth of +
  732. HTMLCSS.FONTDATA.FONTS[MAIN][0x2212][1] = HTMLCSS.FONTDATA.FONTS[MAIN][0x002B][1]; // - needs height and depth of +
  733. HTMLCSS.FONTDATA.FONTS[MAIN][0x003D][1] += 100; // adjust depth for = (double arrow extender)
  734. });
  735. MathJax.Hub.Register.LoadHook(HTMLCSS.fontDir+"/Size5/Regular/Main.js",function () {
  736. var u;
  737. u = HTMLCSS.FONTDATA.DELIMITERS[0x23DE].stretch.rep[0];
  738. HTMLCSS.FONTDATA.FONTS[SIZE5][u][0] += 200; // adjust height for brace extender
  739. HTMLCSS.FONTDATA.FONTS[SIZE5][u][1] += 200; // adjust depth for brace extender
  740. u = HTMLCSS.FONTDATA.DELIMITERS[0x23DF].stretch.rep[0];
  741. HTMLCSS.FONTDATA.FONTS[SIZE5][u][0] += 200; // adjust height for brace extender
  742. HTMLCSS.FONTDATA.FONTS[SIZE5][u][1] += 200; // adjust depth for brace extender
  743. });
  744. AJAX.loadComplete(HTMLCSS.fontDir + "/fontdata.js");
  745. })(MathJax.OutputJax["HTML-CSS"],MathJax.ElementJax.mml,MathJax.Ajax);