js.documents 14.4.46 → 14.4.47

package/dist/mathml/variant.js

@@ -1,1084 +1,101 @@
 //#region src/mathml/variant.ts
+const LATIN_CASE_LETTER_COUNT = 26;
+const GREEK_LETTER_COUNT = 24;
+const GREEK_SIGMA_GAP_INDEX = 17;
+const GREEK_SYMBOL_VARIANT_COUNT = 6;
+const DIGIT_COUNT = 10;
+function consecutiveCodepoints(base, count) {
+	return Array.from({ length: count }, (_, index) => base + index);
+}
+function withHoles(codepoints, holes) {
+	const result = [...codepoints];
+	for (const [index, replacement] of Object.entries(holes)) result[Number(index)] = replacement;
+	return result;
+}
+function greekAlphabetRun(base, count) {
+	const result = [];
+	let codePoint = base;
+	for (let index = 0; index < count; index++) {
+		if (index === GREEK_SIGMA_GAP_INDEX) codePoint += 1;
+		result.push(codePoint);
+		codePoint += 1;
+	}
+	return result;
+}
+function latinPair(upperBase, upperHoles, lowerHoles) {
+	const lowerBase = upperBase + LATIN_CASE_LETTER_COUNT;
+	const upper = consecutiveCodepoints(upperBase, LATIN_CASE_LETTER_COUNT);
+	const lower = consecutiveCodepoints(lowerBase, LATIN_CASE_LETTER_COUNT);
+	return [upperHoles === void 0 ? upper : withHoles(upper, upperHoles), lowerHoles === void 0 ? lower : withHoles(lower, lowerHoles)];
+}
 const LATIN_VARIANTS = {
-	bold: [[
-		119808,
-		119809,
-		119810,
-		119811,
-		119812,
-		119813,
-		119814,
-		119815,
-		119816,
-		119817,
-		119818,
-		119819,
-		119820,
-		119821,
-		119822,
-		119823,
-		119824,
-		119825,
-		119826,
-		119827,
-		119828,
-		119829,
-		119830,
-		119831,
-		119832,
-		119833
-	], [
-		119834,
-		119835,
-		119836,
-		119837,
-		119838,
-		119839,
-		119840,
-		119841,
-		119842,
-		119843,
-		119844,
-		119845,
-		119846,
-		119847,
-		119848,
-		119849,
-		119850,
-		119851,
-		119852,
-		119853,
-		119854,
-		119855,
-		119856,
-		119857,
-		119858,
-		119859
-	]],
-	italic: [[
-		119860,
-		119861,
-		119862,
-		119863,
-		119864,
-		119865,
-		119866,
-		119867,
-		119868,
-		119869,
-		119870,
-		119871,
-		119872,
-		119873,
-		119874,
-		119875,
-		119876,
-		119877,
-		119878,
-		119879,
-		119880,
-		119881,
-		119882,
-		119883,
-		119884,
-		119885
-	], [
-		119886,
-		119887,
-		119888,
-		119889,
-		119890,
-		119891,
-		119892,
-		8462,
-		119894,
-		119895,
-		119896,
-		119897,
-		119898,
-		119899,
-		119900,
-		119901,
-		119902,
-		119903,
-		119904,
-		119905,
-		119906,
-		119907,
-		119908,
-		119909,
-		119910,
-		119911
-	]],
-	"bold-italic": [[
-		119912,
-		119913,
-		119914,
-		119915,
-		119916,
-		119917,
-		119918,
-		119919,
-		119920,
-		119921,
-		119922,
-		119923,
-		119924,
-		119925,
-		119926,
-		119927,
-		119928,
-		119929,
-		119930,
-		119931,
-		119932,
-		119933,
-		119934,
-		119935,
-		119936,
-		119937
-	], [
-		119938,
-		119939,
-		119940,
-		119941,
-		119942,
-		119943,
-		119944,
-		119945,
-		119946,
-		119947,
-		119948,
-		119949,
-		119950,
-		119951,
-		119952,
-		119953,
-		119954,
-		119955,
-		119956,
-		119957,
-		119958,
-		119959,
-		119960,
-		119961,
-		119962,
-		119963
-	]],
-	script: [[
-		119964,
-		8492,
-		119966,
-		119967,
-		8496,
-		8497,
-		119970,
-		8459,
-		8464,
-		119973,
-		119974,
-		8466,
-		8499,
-		119977,
-		119978,
-		119979,
-		119980,
-		8475,
-		119982,
-		119983,
-		119984,
-		119985,
-		119986,
-		119987,
-		119988,
-		119989
-	], [
-		119990,
-		119991,
-		119992,
-		119993,
-		8495,
-		119995,
-		8458,
-		119997,
-		119998,
-		119999,
-		12e4,
-		120001,
-		120002,
-		120003,
-		8500,
-		120005,
-		120006,
-		120007,
-		120008,
-		120009,
-		120010,
-		120011,
-		120012,
-		120013,
-		120014,
-		120015
-	]],
-	"bold-script": [[
-		120016,
-		120017,
-		120018,
-		120019,
-		120020,
-		120021,
-		120022,
-		120023,
-		120024,
-		120025,
-		120026,
-		120027,
-		120028,
-		120029,
-		120030,
-		120031,
-		120032,
-		120033,
-		120034,
-		120035,
-		120036,
-		120037,
-		120038,
-		120039,
-		120040,
-		120041
-	], [
-		120042,
-		120043,
-		120044,
-		120045,
-		120046,
-		120047,
-		120048,
-		120049,
-		120050,
-		120051,
-		120052,
-		120053,
-		120054,
-		120055,
-		120056,
-		120057,
-		120058,
-		120059,
-		120060,
-		120061,
-		120062,
-		120063,
-		120064,
-		120065,
-		120066,
-		120067
-	]],
-	fraktur: [[
-		120068,
-		120069,
-		8493,
-		120071,
-		120072,
-		120073,
-		120074,
-		8460,
-		8465,
-		120077,
-		120078,
-		120079,
-		120080,
-		120081,
-		120082,
-		120083,
-		120084,
-		8476,
-		120086,
-		120087,
-		120088,
-		120089,
-		120090,
-		120091,
-		120092,
-		8488
-	], [
-		120094,
-		120095,
-		120096,
-		120097,
-		120098,
-		120099,
-		120100,
-		120101,
-		120102,
-		120103,
-		120104,
-		120105,
-		120106,
-		120107,
-		120108,
-		120109,
-		120110,
-		120111,
-		120112,
-		120113,
-		120114,
-		120115,
-		120116,
-		120117,
-		120118,
-		120119
-	]],
-	"double-struck": [[
-		120120,
-		120121,
-		8450,
-		120123,
-		120124,
-		120125,
-		120126,
-		8461,
-		120128,
-		120129,
-		120130,
-		120131,
-		120132,
-		8469,
-		120134,
-		8473,
-		8474,
-		8477,
-		120138,
-		120139,
-		120140,
-		120141,
-		120142,
-		120143,
-		120144,
-		8484
-	], [
-		120146,
-		120147,
-		120148,
-		120149,
-		120150,
-		120151,
-		120152,
-		120153,
-		120154,
-		120155,
-		120156,
-		120157,
-		120158,
-		120159,
-		120160,
-		120161,
-		120162,
-		120163,
-		120164,
-		120165,
-		120166,
-		120167,
-		120168,
-		120169,
-		120170,
-		120171
-	]],
-	"bold-fraktur": [[
-		120172,
-		120173,
-		120174,
-		120175,
-		120176,
-		120177,
-		120178,
-		120179,
-		120180,
-		120181,
-		120182,
-		120183,
-		120184,
-		120185,
-		120186,
-		120187,
-		120188,
-		120189,
-		120190,
-		120191,
-		120192,
-		120193,
-		120194,
-		120195,
-		120196,
-		120197
-	], [
-		120198,
-		120199,
-		120200,
-		120201,
-		120202,
-		120203,
-		120204,
-		120205,
-		120206,
-		120207,
-		120208,
-		120209,
-		120210,
-		120211,
-		120212,
-		120213,
-		120214,
-		120215,
-		120216,
-		120217,
-		120218,
-		120219,
-		120220,
-		120221,
-		120222,
-		120223
-	]],
-	"sans-serif": [[
-		120224,
-		120225,
-		120226,
-		120227,
-		120228,
-		120229,
-		120230,
-		120231,
-		120232,
-		120233,
-		120234,
-		120235,
-		120236,
-		120237,
-		120238,
-		120239,
-		120240,
-		120241,
-		120242,
-		120243,
-		120244,
-		120245,
-		120246,
-		120247,
-		120248,
-		120249
-	], [
-		120250,
-		120251,
-		120252,
-		120253,
-		120254,
-		120255,
-		120256,
-		120257,
-		120258,
-		120259,
-		120260,
-		120261,
-		120262,
-		120263,
-		120264,
-		120265,
-		120266,
-		120267,
-		120268,
-		120269,
-		120270,
-		120271,
-		120272,
-		120273,
-		120274,
-		120275
-	]],
-	"bold-sans-serif": [[
-		120276,
-		120277,
-		120278,
-		120279,
-		120280,
-		120281,
-		120282,
-		120283,
-		120284,
-		120285,
-		120286,
-		120287,
-		120288,
-		120289,
-		120290,
-		120291,
-		120292,
-		120293,
-		120294,
-		120295,
-		120296,
-		120297,
-		120298,
-		120299,
-		120300,
-		120301
-	], [
-		120302,
-		120303,
-		120304,
-		120305,
-		120306,
-		120307,
-		120308,
-		120309,
-		120310,
-		120311,
-		120312,
-		120313,
-		120314,
-		120315,
-		120316,
-		120317,
-		120318,
-		120319,
-		120320,
-		120321,
-		120322,
-		120323,
-		120324,
-		120325,
-		120326,
-		120327
-	]],
-	"sans-serif-italic": [[
-		120328,
-		120329,
-		120330,
-		120331,
-		120332,
-		120333,
-		120334,
-		120335,
-		120336,
-		120337,
-		120338,
-		120339,
-		120340,
-		120341,
-		120342,
-		120343,
-		120344,
-		120345,
-		120346,
-		120347,
-		120348,
-		120349,
-		120350,
-		120351,
-		120352,
-		120353
-	], [
-		120354,
-		120355,
-		120356,
-		120357,
-		120358,
-		120359,
-		120360,
-		120361,
-		120362,
-		120363,
-		120364,
-		120365,
-		120366,
-		120367,
-		120368,
-		120369,
-		120370,
-		120371,
-		120372,
-		120373,
-		120374,
-		120375,
-		120376,
-		120377,
-		120378,
-		120379
-	]],
-	"sans-serif-bold-italic": [[
-		120380,
-		120381,
-		120382,
-		120383,
-		120384,
-		120385,
-		120386,
-		120387,
-		120388,
-		120389,
-		120390,
-		120391,
-		120392,
-		120393,
-		120394,
-		120395,
-		120396,
-		120397,
-		120398,
-		120399,
-		120400,
-		120401,
-		120402,
-		120403,
-		120404,
-		120405
-	], [
-		120406,
-		120407,
-		120408,
-		120409,
-		120410,
-		120411,
-		120412,
-		120413,
-		120414,
-		120415,
-		120416,
-		120417,
-		120418,
-		120419,
-		120420,
-		120421,
-		120422,
-		120423,
-		120424,
-		120425,
-		120426,
-		120427,
-		120428,
-		120429,
-		120430,
-		120431
-	]],
-	monospace: [[
-		120432,
-		120433,
-		120434,
-		120435,
-		120436,
-		120437,
-		120438,
-		120439,
-		120440,
-		120441,
-		120442,
-		120443,
-		120444,
-		120445,
-		120446,
-		120447,
-		120448,
-		120449,
-		120450,
-		120451,
-		120452,
-		120453,
-		120454,
-		120455,
-		120456,
-		120457
-	], [
-		120458,
-		120459,
-		120460,
-		120461,
-		120462,
-		120463,
-		120464,
-		120465,
-		120466,
-		120467,
-		120468,
-		120469,
-		120470,
-		120471,
-		120472,
-		120473,
-		120474,
-		120475,
-		120476,
-		120477,
-		120478,
-		120479,
-		120480,
-		120481,
-		120482,
-		120483
-	]]
+	bold: latinPair(119808),
+	italic: latinPair(119860, void 0, { 7: 8462 }),
+	"bold-italic": latinPair(119912),
+	script: latinPair(119964, {
+		1: 8492,
+		4: 8496,
+		5: 8497,
+		7: 8459,
+		8: 8464,
+		11: 8466,
+		12: 8499,
+		17: 8475
+	}, {
+		4: 8495,
+		6: 8458,
+		14: 8500
+	}),
+	"bold-script": latinPair(120016),
+	fraktur: latinPair(120068, {
+		2: 8493,
+		7: 8460,
+		8: 8465,
+		17: 8476,
+		25: 8488
+	}),
+	"double-struck": latinPair(120120, {
+		2: 8450,
+		7: 8461,
+		13: 8469,
+		15: 8473,
+		16: 8474,
+		17: 8477,
+		25: 8484
+	}),
+	"bold-fraktur": latinPair(120172),
+	"sans-serif": latinPair(120224),
+	"bold-sans-serif": latinPair(120276),
+	"sans-serif-italic": latinPair(120328),
+	"sans-serif-bold-italic": latinPair(120380),
+	monospace: latinPair(120432)
 };
-const GREEK_UPPER_BASE = [
-	913,
-	914,
-	915,
-	916,
-	917,
-	918,
-	919,
-	920,
-	921,
-	922,
-	923,
-	924,
-	925,
-	926,
-	927,
-	928,
-	929,
-	931,
-	932,
-	933,
-	934,
-	935,
-	936,
-	937
-];
-const GREEK_LOWER_BASE = [
-	945,
-	946,
-	947,
-	948,
-	949,
-	950,
-	951,
-	952,
-	953,
-	954,
-	955,
-	956,
-	957,
-	958,
-	959,
-	960,
-	961,
-	963,
-	964,
-	965,
-	966,
-	967,
-	968,
-	969
-];
+function greekVariantEntry(upperBase) {
+	const upper = greekAlphabetRun(upperBase, GREEK_LETTER_COUNT);
+	const nabla = upperBase + GREEK_LETTER_COUNT + 1;
+	const lowerBase = upperBase + LATIN_CASE_LETTER_COUNT;
+	const lower = greekAlphabetRun(lowerBase, GREEK_LETTER_COUNT);
+	const partial = lowerBase + GREEK_LETTER_COUNT + 1;
+	const [epsilon, theta, kappa, phi, rho, pi] = consecutiveCodepoints(partial + 1, GREEK_SYMBOL_VARIANT_COUNT);
+	return {
+		upper,
+		lower,
+		nabla,
+		partial,
+		epsilon,
+		theta,
+		kappa,
+		phi,
+		rho,
+		pi
+	};
+}
 const GREEK_VARIANTS = {
-	bold: {
-		upper: [
-			120488,
-			120489,
-			120490,
-			120491,
-			120492,
-			120493,
-			120494,
-			120495,
-			120496,
-			120497,
-			120498,
-			120499,
-			120500,
-			120501,
-			120502,
-			120503,
-			120504,
-			120506,
-			120507,
-			120508,
-			120509,
-			120510,
-			120511,
-			120512
-		],
-		lower: [
-			120514,
-			120515,
-			120516,
-			120517,
-			120518,
-			120519,
-			120520,
-			120521,
-			120522,
-			120523,
-			120524,
-			120525,
-			120526,
-			120527,
-			120528,
-			120529,
-			120530,
-			120532,
-			120533,
-			120534,
-			120535,
-			120536,
-			120537,
-			120538
-		],
-		nabla: 120513,
-		partial: 120539,
-		epsilon: 120540,
-		theta: 120541,
-		kappa: 120542,
-		phi: 120543,
-		rho: 120544,
-		pi: 120545
-	},
-	italic: {
-		upper: [
-			120546,
-			120547,
-			120548,
-			120549,
-			120550,
-			120551,
-			120552,
-			120553,
-			120554,
-			120555,
-			120556,
-			120557,
-			120558,
-			120559,
-			120560,
-			120561,
-			120562,
-			120564,
-			120565,
-			120566,
-			120567,
-			120568,
-			120569,
-			120570
-		],
-		lower: [
-			120572,
-			120573,
-			120574,
-			120575,
-			120576,
-			120577,
-			120578,
-			120579,
-			120580,
-			120581,
-			120582,
-			120583,
-			120584,
-			120585,
-			120586,
-			120587,
-			120588,
-			120590,
-			120591,
-			120592,
-			120593,
-			120594,
-			120595,
-			120596
-		],
-		nabla: 120571,
-		partial: 120597,
-		epsilon: 120598,
-		theta: 120599,
-		kappa: 120600,
-		phi: 120601,
-		rho: 120602,
-		pi: 120603
-	},
-	"bold-italic": {
-		upper: [
-			120604,
-			120605,
-			120606,
-			120607,
-			120608,
-			120609,
-			120610,
-			120611,
-			120612,
-			120613,
-			120614,
-			120615,
-			120616,
-			120617,
-			120618,
-			120619,
-			120620,
-			120622,
-			120623,
-			120624,
-			120625,
-			120626,
-			120627,
-			120628
-		],
-		lower: [
-			120630,
-			120631,
-			120632,
-			120633,
-			120634,
-			120635,
-			120636,
-			120637,
-			120638,
-			120639,
-			120640,
-			120641,
-			120642,
-			120643,
-			120644,
-			120645,
-			120646,
-			120648,
-			120649,
-			120650,
-			120651,
-			120652,
-			120653,
-			120654
-		],
-		nabla: 120629,
-		partial: 120655,
-		epsilon: 120656,
-		theta: 120657,
-		kappa: 120658,
-		phi: 120659,
-		rho: 120660,
-		pi: 120661
-	},
-	"bold-sans-serif": {
-		upper: [
-			120662,
-			120663,
-			120664,
-			120665,
-			120666,
-			120667,
-			120668,
-			120669,
-			120670,
-			120671,
-			120672,
-			120673,
-			120674,
-			120675,
-			120676,
-			120677,
-			120678,
-			120680,
-			120681,
-			120682,
-			120683,
-			120684,
-			120685,
-			120686
-		],
-		lower: [
-			120688,
-			120689,
-			120690,
-			120691,
-			120692,
-			120693,
-			120694,
-			120695,
-			120696,
-			120697,
-			120698,
-			120699,
-			120700,
-			120701,
-			120702,
-			120703,
-			120704,
-			120706,
-			120707,
-			120708,
-			120709,
-			120710,
-			120711,
-			120712
-		],
-		nabla: 120687,
-		partial: 120713,
-		epsilon: 120714,
-		theta: 120715,
-		kappa: 120716,
-		phi: 120717,
-		rho: 120718,
-		pi: 120719
-	},
-	"sans-serif-bold-italic": {
-		upper: [
-			120720,
-			120721,
-			120722,
-			120723,
-			120724,
-			120725,
-			120726,
-			120727,
-			120728,
-			120729,
-			120730,
-			120731,
-			120732,
-			120733,
-			120734,
-			120735,
-			120736,
-			120738,
-			120739,
-			120740,
-			120741,
-			120742,
-			120743,
-			120744
-		],
-		lower: [
-			120746,
-			120747,
-			120748,
-			120749,
-			120750,
-			120751,
-			120752,
-			120753,
-			120754,
-			120755,
-			120756,
-			120757,
-			120758,
-			120759,
-			120760,
-			120761,
-			120762,
-			120764,
-			120765,
-			120766,
-			120767,
-			120768,
-			120769,
-			120770
-		],
-		nabla: 120745,
-		partial: 120771,
-		epsilon: 120772,
-		theta: 120773,
-		kappa: 120774,
-		phi: 120775,
-		rho: 120776,
-		pi: 120777
-	}
+	bold: greekVariantEntry(120488),
+	italic: greekVariantEntry(120546),
+	"bold-italic": greekVariantEntry(120604),
+	"bold-sans-serif": greekVariantEntry(120662),
+	"sans-serif-bold-italic": greekVariantEntry(120720)
 };
 const GREEK_SYMBOL_BASES = /* @__PURE__ */ new Map([
 	[1013, "epsilon"],
@@ -1088,79 +105,36 @@ const GREEK_SYMBOL_BASES = /* @__PURE__ */ new Map([
 	[1009, "rho"],
 	[982, "pi"]
 ]);
+const GREEK_CAPITAL_ALPHA = 913;
+const GREEK_SMALL_ALPHA = 945;
+const GREEK_UPPER_BASE = greekAlphabetRun(GREEK_CAPITAL_ALPHA, GREEK_LETTER_COUNT);
+const GREEK_LOWER_BASE = greekAlphabetRun(GREEK_SMALL_ALPHA, GREEK_LETTER_COUNT);
 const DIGIT_VARIANTS = {
-	bold: [
-		120782,
-		120783,
-		120784,
-		120785,
-		120786,
-		120787,
-		120788,
-		120789,
-		120790,
-		120791
-	],
-	"double-struck": [
-		120792,
-		120793,
-		120794,
-		120795,
-		120796,
-		120797,
-		120798,
-		120799,
-		120800,
-		120801
-	],
-	"sans-serif": [
-		120802,
-		120803,
-		120804,
-		120805,
-		120806,
-		120807,
-		120808,
-		120809,
-		120810,
-		120811
-	],
-	"bold-sans-serif": [
-		120812,
-		120813,
-		120814,
-		120815,
-		120816,
-		120817,
-		120818,
-		120819,
-		120820,
-		120821
-	],
-	monospace: [
-		120822,
-		120823,
-		120824,
-		120825,
-		120826,
-		120827,
-		120828,
-		120829,
-		120830,
-		120831
-	]
+	bold: consecutiveCodepoints(120782, DIGIT_COUNT),
+	"double-struck": consecutiveCodepoints(120792, DIGIT_COUNT),
+	"sans-serif": consecutiveCodepoints(120802, DIGIT_COUNT),
+	"bold-sans-serif": consecutiveCodepoints(120812, DIGIT_COUNT),
+	monospace: consecutiveCodepoints(120822, DIGIT_COUNT)
 };
+const LATIN_UPPER_A = 65;
+const LATIN_UPPER_Z = 90;
+const LATIN_LOWER_A = 97;
+const LATIN_LOWER_Z = 122;
+const DIGIT_ZERO = 48;
+const DIGIT_NINE = 57;
+const NABLA = 8711;
+const PARTIAL_DIFFERENTIAL = 8706;
 function mapMathVariant(codePoint, variant) {
 	if (variant === "normal") return codePoint;
-	if (codePoint >= 65 && codePoint <= 90) return LATIN_VARIANTS[variant]?.[0][codePoint - 65] ?? codePoint;
-	if (codePoint >= 97 && codePoint <= 122) return LATIN_VARIANTS[variant]?.[1][codePoint - 97] ?? codePoint;
-	if (codePoint >= 48 && codePoint <= 57) return DIGIT_VARIANTS[variant]?.[codePoint - 48] ?? codePoint;
+	if (codePoint >= LATIN_UPPER_A && codePoint <= LATIN_UPPER_Z) return LATIN_VARIANTS[variant]?.[0][codePoint - LATIN_UPPER_A] ?? codePoint;
+	if (codePoint >= LATIN_LOWER_A && codePoint <= LATIN_LOWER_Z) return LATIN_VARIANTS[variant]?.[1][codePoint - LATIN_LOWER_A] ?? codePoint;
+	if (codePoint >= DIGIT_ZERO && codePoint <= DIGIT_NINE) return DIGIT_VARIANTS[variant]?.[codePoint - DIGIT_ZERO] ?? codePoint;
 	const greekUpperIndex = GREEK_UPPER_BASE.indexOf(codePoint);
 	if (greekUpperIndex !== -1) return GREEK_VARIANTS[variant]?.upper[greekUpperIndex] ?? codePoint;
 	const greekLowerIndex = GREEK_LOWER_BASE.indexOf(codePoint);
 	if (greekLowerIndex !== -1) return GREEK_VARIANTS[variant]?.lower[greekLowerIndex] ?? codePoint;
-	if (codePoint === 8711) return GREEK_VARIANTS[variant]?.nabla ?? codePoint;
-	if (codePoint === 8706) return GREEK_VARIANTS[variant]?.partial ?? codePoint;
+	if (codePoint === NABLA) return GREEK_VARIANTS[variant]?.nabla ?? codePoint;
+	if (codePoint === PARTIAL_DIFFERENTIAL) return GREEK_VARIANTS[variant]?.partial ?? codePoint;
 	const symbolField = GREEK_SYMBOL_BASES.get(codePoint);
 	if (symbolField !== void 0) {
 		const entry = GREEK_VARIANTS[variant];