|
95 | 95 | remap: {0x391:0x41, 0x392:0x42, 0x395:0x45, 0x396:0x5A, 0x397:0x48,
|
96 | 96 | 0x399:0x49, 0x39A:0x4B, 0x39C:0x4D, 0x39D:0x4E, 0x39F:0x4F,
|
97 | 97 | 0x3A1:0x50, 0x3A4:0x54, 0x3A7:0x58,
|
| 98 | + 0xE160: [0x2192, "-TeX-vec"], // HACK: for \vec (see #1709) |
98 | 99 | 0x2016:0x2225,
|
99 | 100 | 0x2216:[0x2216,"-TeX-variant"], // \smallsetminus
|
100 | 101 | 0x210F:[0x210F,"-TeX-variant"], // \hbar
|
|
154 | 155 | 0x2216:[0x2216,MML.VARIANT.NORMAL], // \setminus
|
155 | 156 | 0x210F:[0x210F,MML.VARIANT.NORMAL] // \hslash
|
156 | 157 | }},
|
| 158 | + "-TeX-vec": {fonts: ["MathJax_Vector"], cache:{}}, // HACK: non-combining \vec |
157 | 159 | "-largeOp": {fonts:[SIZE2,SIZE1,MAIN,AMS],cache:{}},
|
158 | 160 | "-smallOp": {fonts:[SIZE1,MAIN,AMS], cache:{}},
|
159 | 161 | "-tex-caligraphic-bold": {fonts:["MathJax_Caligraphic-Bold","MathJax_Main-Bold"], bold:true, cache:{}, chain:"normal",
|
|
258 | 260 | },
|
259 | 261 |
|
260 | 262 | REMAPACCENT: {
|
261 |
| - "\u2192":"\u20D7", |
| 263 | + "\u20D7":"\uE160", // HACK: for non-combining \vec (#1709) |
| 264 | + "\u2192":"\uE160", |
262 | 265 | "\u2032":"'",
|
263 | 266 | "\u2035":"`"
|
264 | 267 | },
|
|
1594 | 1597 | 0xE153: [333,0,450,-10,474], // stix-horizontal brace, upper right piece
|
1595 | 1598 | 0xE154: [120,0,400,-10,410] // stix-oblique open face capital letter A
|
1596 | 1599 | };
|
| 1600 | + |
| 1601 | + CHTML.FONTDATA.FONTS['MathJax_Vector'] = { |
| 1602 | + centerline: 357, ascent: 714, descent: 0, |
| 1603 | + 0x2192: [714,-516,500,29,471] // vector arrow |
| 1604 | + }; |
1597 | 1605 |
|
1598 | 1606 | CHTML.FONTDATA.FONTS[MAIN][0x2212][0] = CHTML.FONTDATA.FONTS[MAIN][0x002B][0]; // minus is sized as plus
|
1599 | 1607 | CHTML.FONTDATA.FONTS[MAIN][0x2212][1] = CHTML.FONTDATA.FONTS[MAIN][0x002B][1]; // minus is sized as plus
|
|
1645 | 1653 | CHTML.FONTDATA.familyName = function (font) {
|
1646 | 1654 | font = font.replace(/^MathJax_/,"");
|
1647 | 1655 | var names = (font+"-Regular").split(/-/);
|
1648 |
| - var suffix = names[0].toLowerCase().replace(/(?:igraphic|serif|writer|tur)$/,"") |
| 1656 | + var suffix = names[0].toLowerCase().replace(/(?:igraphic|serif|writer|tur|tor)$/,"") |
1649 | 1657 | + "-" + names[1].replace(/[^A-Z]/g,"");
|
1650 | 1658 | return "MJXc-TeX-"+suffix;
|
1651 | 1659 | };
|
|
0 commit comments