suzanne.soy/scribble-mathjax
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remap bold combined negations to uncombioned pairs when they aren't in the web fonts

Browse Source
This commit is contained in:
Davide P. Cervone 2012-01-18 12:27:42 -05:00
parent 630febd0e8
commit 0410bdc8ac
12 changed files with 41 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
config/Accessible-full.js
View File

File diff suppressed because one or more lines are too long

2
config/MML_HTMLorMML-full.js
View File

File diff suppressed because one or more lines are too long

2
config/TeX-AMS-MML_HTMLorMML-full.js
View File

File diff suppressed because one or more lines are too long

2
config/TeX-AMS_HTML-full.js
View File

File diff suppressed because one or more lines are too long

2
jax/output/HTML-CSS/fonts/TeX/fontdata.js
View File

File diff suppressed because one or more lines are too long

2
jax/output/HTML-CSS/jax.js
View File

File diff suppressed because one or more lines are too long

2
jax/output/SVG/fonts/TeX/fontdata.js
View File

File diff suppressed because one or more lines are too long

2
jax/output/SVG/jax.js
View File

File diff suppressed because one or more lines are too long

14
unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js
View File

@ -76,7 +76,19 @@
offsetG: 0x03B1, variantG: "bold-italic",
remap: {0x391:0x41, 0x392:0x42, 0x395:0x45, 0x396:0x5A, 0x397:0x48,
0x399:0x49, 0x39A:0x4B, 0x39C:0x4D, 0x39D:0x4E, 0x39F:0x4F,
0x3A1:0x50, 0x3A4:0x54, 0x3A7:0x58}},
0x3A1:0x50, 0x3A4:0x54, 0x3A7:0x58,
0x2204:"\u2203\u0338", 0x2224:"\u2223\u0338", 0x2226:"\u2225\u0338",
0x2241:"\u223C\u0338", 0x2247:"\u2245\u0338",
0x226E:"<\u0338", 0x226F:">\u0338",
0x2270:"\u2264\u0338", 0x2271:"\u2265\u0338",
0x2280:"\u227A\u0338", 0x2281:"\u227B\u0338",
0x2288:"\u2286\u0338", 0x2289:"\u2287\u0338",
0x22AC:"\u22A2\u0338", 0x22AD:"\u22A8\u0338",
// 0x22AE:"\u22A9\u0338", 0x22AF:"\u22AB\u0338",
0x22E0:"\u227C\u0338", 0x22E1:"\u227D\u0338"//,
// 0x22EA:"\u22B2\u0338", 0x22EB:"\u22B3\u0338",
// 0x22EC:"\u22B4\u0338", 0x22ED:"\u22B5\u0338"
}},
"italic": {fonts:[ITALIC,"MathJax_Main-italic",MAIN,SIZE1,AMS], italic:true,
remap: {0x391:0x41, 0x392:0x42, 0x395:0x45, 0x396:0x5A, 0x397:0x48,
0x399:0x49, 0x39A:0x4B, 0x39C:0x4D, 0x39D:0x4E, 0x39F:0x4F,

6
unpacked/jax/output/HTML-CSS/jax.js
View File

@ -1242,6 +1242,9 @@
if (variant.remap[n] instanceof Array) {
var remap = variant.remap[n];
n = remap[0]; variant = this.FONTDATA.VARIANT[remap[1]];
} else if (typeof(variant.remap[n]) === "string") {
text = variant.remap[n]+text.substr(i+1);
i = 0; m = text.length; n = text.charCodeAt(0);
} else {
n = variant.remap[n];
if (variant.remap.variant) {variant = this.FONTDATA.VARIANT[variant.remap.variant]}
@ -1252,8 +1255,7 @@
if (n instanceof Array) {variant = this.FONTDATA.VARIANT[n[1]]; n = n[0]}
if (typeof(n) === "string") {
text = n+text.substr(i+1);
i = 0; m = text.length;
n = n.charCodeAt(0);
i = 0; m = text.length; n = n.charCodeAt(0);
}
}
font = this.lookupChar(variant,n); c = font[n]; SPAN = span;

14
unpacked/jax/output/SVG/fonts/TeX/fontdata.js
View File

@ -74,7 +74,19 @@
offsetG: 0x03B1, variantG: "bold-italic",
remap: {0x391:0x41, 0x392:0x42, 0x395:0x45, 0x396:0x5A, 0x397:0x48,
0x399:0x49, 0x39A:0x4B, 0x39C:0x4D, 0x39D:0x4E, 0x39F:0x4F,
0x3A1:0x50, 0x3A4:0x54, 0x3A7:0x58}},
0x3A1:0x50, 0x3A4:0x54, 0x3A7:0x58,
0x2204:"\u2203\u0338", 0x2224:"\u2223\u0338", 0x2226:"\u2225\u0338",
0x2241:"\u223C\u0338", 0x2247:"\u2245\u0338",
0x226E:"<\u0338", 0x226F:">\u0338",
0x2270:"\u2264\u0338", 0x2271:"\u2265\u0338",
0x2280:"\u227A\u0338", 0x2281:"\u227B\u0338",
0x2288:"\u2286\u0338", 0x2289:"\u2287\u0338",
0x22AC:"\u22A2\u0338", 0x22AD:"\u22A8\u0338",
// 0x22AE:"\u22A9\u0338", 0x22AF:"\u22AB\u0338",
0x22E0:"\u227C\u0338", 0x22E1:"\u227D\u0338"//,
// 0x22EA:"\u22B2\u0338", 0x22EB:"\u22B3\u0338",
// 0x22EC:"\u22B4\u0338", 0x22ED:"\u22B5\u0338"
}},
"italic": {fonts:[ITALIC,"MathJax_Main-italic",MAIN,SIZE1,AMS], italic:true,
remap: {0x391:0x41, 0x392:0x42, 0x395:0x45, 0x396:0x5A, 0x397:0x48,
0x399:0x49, 0x39A:0x4B, 0x39C:0x4D, 0x39D:0x4E, 0x39F:0x4F,

3
unpacked/jax/output/SVG/jax.js
View File

@ -502,6 +502,9 @@
if (variant.remap[n] instanceof Array) {
var remap = variant.remap[n];
n = remap[0]; variant = this.FONTDATA.VARIANT[remap[1]];
} else if (typeof(variant.remap[n]) === "string") {
text = variant.remap[n]+text.substr(i+1);
i = 0; m = text.length; n = text.charCodeAt(0);
} else {
n = variant.remap[n];
if (variant.remap.variant) {variant = this.FONTDATA.VARIANT[variant.remap.variant]}