@drghaliasri/butex 5.5.4 → 5.6.0

package/dist/index.mjs

@@ -693,6 +693,27 @@ function registerAtomicCommandMacros(CommandMap) {
   return COMMAND_MAP3;
 }
 
+// src/register/colonRelations.ts
+var COMMAND_MAP4 = "butex-colon-relation-macros";
+var COLON_RELATIONS = {
+  coloneqq: "\u2254",
+  eqqcolon: "\u2255"
+};
+function colonRelation(parser, name) {
+  const commandName = name.replace(/^\\/, "");
+  const label = COLON_RELATIONS[commandName] ?? commandName;
+  const node = parser.create("token", "mo", { texClass: 3 }, label);
+  parser.Push(node);
+}
+var colonRelationTyped = colonRelation;
+function registerColonRelationCommandMacros(CommandMap) {
+  const mappings = Object.fromEntries(
+    Object.keys(COLON_RELATIONS).map((name) => [name, colonRelationTyped])
+  );
+  new CommandMap(COMMAND_MAP4, mappings);
+  return COMMAND_MAP4;
+}
+
 // src/editor/characterFonts.ts
 var CHARACTER_FONT_SPECS = [
   {
@@ -766,7 +787,7 @@ function characterFontSpecByMacro(macro) {
 }
 
 // src/register/fontText.ts
-var COMMAND_MAP4 = "butex-font-text-macros";
+var COMMAND_MAP5 = "butex-font-text-macros";
 function fontText(className, parser, name) {
   const text = parser.GetArgument(name);
   const node = parser.create(
@@ -784,12 +805,12 @@ function registerFontTextCommands(CommandMap) {
       ((parser, name) => fontText(font.mathJaxClass, parser, name))
     ])
   );
-  new CommandMap(COMMAND_MAP4, mappings);
-  return COMMAND_MAP4;
+  new CommandMap(COMMAND_MAP5, mappings);
+  return COMMAND_MAP5;
 }
 
 // src/register/mirror.ts
-var COMMAND_MAP5 = "butex-mirror-macros";
+var COMMAND_MAP6 = "butex-mirror-macros";
 function mirrorContent(parser, name) {
   const arg = parser.GetArgument(name);
   const TexParserClass = parser.constructor;
@@ -800,12 +821,12 @@ function mirrorContent(parser, name) {
 }
 var mirrorContentTyped = mirrorContent;
 function registerMirrorCommand(CommandMap) {
-  new CommandMap(COMMAND_MAP5, { butexmirror: mirrorContentTyped });
-  return COMMAND_MAP5;
+  new CommandMap(COMMAND_MAP6, { butexmirror: mirrorContentTyped });
+  return COMMAND_MAP6;
 }
 
 // src/register/passthrough.ts
-var COMMAND_MAP6 = "butex-passthrough-macros";
+var COMMAND_MAP7 = "butex-passthrough-macros";
 function passthroughArgument(parser, name) {
   const arg = parser.GetArgument(name);
   const TexParserClass = parser.constructor;
@@ -822,12 +843,12 @@ function arabvecArgument(parser, name) {
 var passthroughArgumentTyped = passthroughArgument;
 var arabvecArgumentTyped = arabvecArgument;
 function registerPassthroughCommandMacros(CommandMap) {
-  new CommandMap(COMMAND_MAP6, {
+  new CommandMap(COMMAND_MAP7, {
     unit: passthroughArgumentTyped,
     idx: passthroughArgumentTyped,
     arabvec: arabvecArgumentTyped
   });
-  return COMMAND_MAP6;
+  return COMMAND_MAP7;
 }
 
 // src/register.ts
@@ -854,6 +875,7 @@ function registerBuTeX(mathJax) {
     registerArabSqrtCommand(CommandMap),
     registerPrescriptCommand(CommandMap),
     registerAtomicCommandMacros(CommandMap),
+    registerColonRelationCommandMacros(CommandMap),
     registerFontTextCommands(CommandMap),
     registerMirrorCommand(CommandMap),
     registerPassthroughCommandMacros(CommandMap)
@@ -2075,6 +2097,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators1",
     Tex: "\\neq",
     mirror: true,
+    compileMirror: true,
     Label: "\u2260",
     title: "\u0644\u0627 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -2114,6 +2137,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\leq",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2264",
     title: "\u0623\u0635\u063A\u0631 \u0645\u0646 \u0623\u0648 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -2124,6 +2148,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\geq",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2265",
     title: "\u0623\u0643\u0628\u0631 \u0645\u0646 \u0623\u0648 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -2134,6 +2159,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\coloneqq",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2254",
     title: "\u064A\u0639\u0631\u0641 \u0628\u0623\u0646\u0647 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -2144,6 +2170,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\eqqcolon",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2255",
     title: "\u064A\u0633\u0627\u0648\u064A \u0628\u0627\u0644\u062A\u0639\u0631\u064A\u0641",
     svg_path: null
@@ -2155,6 +2182,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\propto",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u221D",
     title: "\u064A\u062A\u0646\u0627\u0633\u0628 \u0645\u0639",
     svg_path: null
@@ -2165,6 +2193,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\in",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2208",
     title: "\u064A\u0646\u062A\u0645\u064A \u0625\u0644\u0649",
     svg_path: null
@@ -2185,6 +2214,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\subset",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2282",
     title: "\u0645\u062C\u0645\u0648\u0639\u0629 \u062C\u0632\u0626\u064A\u0629 \u0645\u0646",
     svg_path: null
@@ -2195,6 +2225,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\supset",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2283",
     title: "\u0645\u062C\u0645\u0648\u0639\u0629 \u0634\u0627\u0645\u0644\u0629 \u0644\u0640",
     svg_path: null
@@ -2205,6 +2236,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\subseteq",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2286",
     title: "\u0645\u062C\u0645\u0648\u0639\u0629 \u062C\u0632\u0626\u064A\u0629 \u0623\u0648 \u062A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -2215,6 +2247,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\supseteq",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2287",
     title: "\u0645\u062C\u0645\u0648\u0639\u0629 \u0634\u0627\u0645\u0644\u0629 \u0623\u0648 \u062A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -2255,6 +2288,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\nsubseteq",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2288",
     title: "\u0644\u064A\u0633\u062A \u0645\u062C\u0645\u0648\u0639\u0629 \u062C\u0632\u0626\u064A\u0629 \u0623\u0648 \u062A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -2265,6 +2299,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\nsupseteq",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2289",
     title: "\u0644\u064A\u0633\u062A \u0645\u062C\u0645\u0648\u0639\u0629 \u0634\u0627\u0645\u0644\u0629 \u0623\u0648 \u062A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -2312,6 +2347,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\ddots",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u22F1",
     title: "\u0646\u0642\u0627\u0637 \u0642\u0637\u0631\u064A\u0629",
     svg_path: null
@@ -2331,6 +2367,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\implies",
     mirror: true,
+    compileMirror: true,
     Label: "\u21D2",
     title: "\u064A\u0633\u062A\u0644\u0632\u0645",
     svg_path: null
@@ -2340,6 +2377,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\impliedby",
     mirror: true,
+    compileMirror: true,
     Label: "\u21D0",
     title: "\u0645\u0633\u062A\u0644\u0632\u0645 \u0645\u0646",
     svg_path: null
@@ -2358,6 +2396,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\Longrightarrow",
     mirror: true,
+    compileMirror: true,
     Label: "\u27F9",
     title: "\u0633\u0647\u0645 \u0645\u0632\u062F\u0648\u062C \u0637\u0648\u064A\u0644 \u0625\u0644\u0649 \u0627\u0644\u064A\u0645\u064A\u0646",
     svg_path: null
@@ -2367,6 +2406,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\Longleftarrow",
     mirror: true,
+    compileMirror: true,
     Label: "\u27F8",
     title: "\u0633\u0647\u0645 \u0645\u0632\u062F\u0648\u062C \u0637\u0648\u064A\u0644 \u0625\u0644\u0649 \u0627\u0644\u064A\u0633\u0627\u0631",
     svg_path: null
@@ -2376,6 +2416,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\to",
     mirror: true,
+    compileMirror: true,
     Label: "\u2192",
     title: "\u064A\u0624\u0648\u0644 \u0625\u0644\u0649",
     svg_path: null
@@ -2385,6 +2426,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\rightleftharpoons",
     mirror: true,
+    compileMirror: true,
     Label: "\u21CC",
     title: "\u0627\u062A\u0632\u0627\u0646",
     svg_path: null
@@ -2394,6 +2436,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\leftarrow",
     mirror: true,
+    compileMirror: true,
     Label: "\u2190",
     title: "\u0633\u0647\u0645 \u0625\u0644\u0649 \u0627\u0644\u064A\u0633\u0627\u0631",
     svg_path: null
@@ -2403,6 +2446,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\rightarrow",
     mirror: true,
+    compileMirror: true,
     Label: "\u2192",
     title: "\u0633\u0647\u0645 \u0625\u0644\u0649 \u0627\u0644\u064A\u0645\u064A\u0646",
     svg_path: null
@@ -2412,6 +2456,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\Leftarrow",
     mirror: true,
+    compileMirror: true,
     Label: "\u21D0",
     title: "\u0633\u0647\u0645 \u0645\u0632\u062F\u0648\u062C \u0625\u0644\u0649 \u0627\u0644\u064A\u0633\u0627\u0631",
     svg_path: null
@@ -2421,6 +2466,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\Rightarrow",
     mirror: true,
+    compileMirror: true,
     Label: "\u21D2",
     title: "\u0633\u0647\u0645 \u0645\u0632\u062F\u0648\u062C \u0625\u0644\u0649 \u0627\u0644\u064A\u0645\u064A\u0646",
     svg_path: null
@@ -2430,6 +2476,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\leftharpoonup",
     mirror: true,
+    compileMirror: true,
     Label: "\u21BC",
     title: "\u0633\u0647\u0645 \u062E\u0637\u0627\u0641\u064A \u0639\u0644\u0648\u064A \u0625\u0644\u0649 \u0627\u0644\u064A\u0633\u0627\u0631",
     svg_path: null
@@ -2439,6 +2486,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\rightharpoonup",
     mirror: true,
+    compileMirror: true,
     Label: "\u21C0",
     title: "\u0633\u0647\u0645 \u062E\u0637\u0627\u0641\u064A \u0639\u0644\u0648\u064A \u0625\u0644\u0649 \u0627\u0644\u064A\u0645\u064A\u0646",
     svg_path: null
@@ -2448,6 +2496,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\leftharpoondown",
     mirror: true,
+    compileMirror: true,
     Label: "\u21BD",
     title: "\u0633\u0647\u0645 \u062E\u0637\u0627\u0641\u064A \u0633\u0641\u0644\u064A \u0625\u0644\u0649 \u0627\u0644\u064A\u0633\u0627\u0631",
     svg_path: null
@@ -2457,6 +2506,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\rightharpoondown",
     mirror: true,
+    compileMirror: true,
     Label: "\u21C1",
     title: "\u0633\u0647\u0645 \u062E\u0637\u0627\u0641\u064A \u0633\u0641\u0644\u064A \u0625\u0644\u0649 \u0627\u0644\u064A\u0645\u064A\u0646",
     svg_path: null
@@ -2467,6 +2517,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "integrals",
     Tex: "\\int",
     mirror: true,
+    compileMirror: true,
     Label: "\u222B",
     title: "\u062A\u0643\u0627\u0645\u0644",
     svg_path: null
@@ -2477,6 +2528,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\iint",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u222C",
     title: "\u062A\u0643\u0627\u0645\u0644 \u0645\u0632\u062F\u0648\u062C",
     svg_path: null
@@ -2487,6 +2539,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\iiint",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u222D",
     title: "\u062A\u0643\u0627\u0645\u0644 \u062B\u0644\u0627\u062B\u064A",
     svg_path: null
@@ -2497,6 +2550,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\iiiint",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2A0C",
     title: "\u062A\u0643\u0627\u0645\u0644 \u0631\u0628\u0627\u0639\u064A",
     svg_path: null
@@ -2507,6 +2561,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\oint",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u222E",
     title: "\u062A\u0643\u0627\u0645\u0644 \u0645\u063A\u0644\u0642",
     svg_path: null
@@ -2517,6 +2572,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\oiint",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u222F",
     title: "\u062A\u0643\u0627\u0645\u0644 \u0633\u0637\u062D\u064A \u0645\u063A\u0644\u0642",
     svg_path: null
@@ -2527,6 +2583,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     Tex: "\\oiiint",
     mirror: true,
     displayMirror: false,
+    compileMirror: true,
     Label: "\u2230",
     title: "\u062A\u0643\u0627\u0645\u0644 \u062D\u062C\u0645\u064A \u0645\u063A\u0644\u0642",
     svg_path: null
@@ -2536,8 +2593,9 @@ function shouldMirrorOperatorDisplay(command) {
   return command?.displayMirror ?? command?.mirror ?? false;
 }
 var MIRRORED_OPERATOR_TEX = Object.values(ATOMIC_OPERATOR_COMMANDS).filter((command) => command.mirror).map((command) => command.Tex).sort((a, b) => b.length - a.length);
-function matchingMirroredOperator(tex, index) {
-  for (const operatorTex of MIRRORED_OPERATOR_TEX) {
+var COMPILE_MIRRORED_OPERATOR_TEX = Object.values(ATOMIC_OPERATOR_COMMANDS).filter((command) => "compileMirror" in command && command.compileMirror).map((command) => command.Tex).sort((a, b) => b.length - a.length);
+function matchingMirroredOperatorFrom(tex, index, operatorTexList) {
+  for (const operatorTex of operatorTexList) {
     if (!tex.startsWith(operatorTex, index)) {
       continue;
     }
@@ -2568,19 +2626,26 @@ function findMatchingBrace(tex, openIndex) {
   }
   return -1;
 }
-function mirrorBuTeXOperatorsInTex(tex) {
+function mirrorBuTeXOperatorsInTex(tex, options = {}) {
+  const mirroredOperatorTex = options.target === "compile" ? COMPILE_MIRRORED_OPERATOR_TEX : MIRRORED_OPERATOR_TEX;
   let result = "";
   let index = 0;
   while (index < tex.length) {
     if (tex.startsWith("\\butexmirror{", index)) {
       const end = findMatchingBrace(tex, index + "\\butexmirror".length);
       if (end !== -1) {
-        result += tex.slice(index, end + 1);
+        const bodyStart = index + "\\butexmirror{".length;
+        const body = tex.slice(bodyStart, end);
+        if (options.target === "compile" && MIRRORED_OPERATOR_TEX.includes(body) && !mirroredOperatorTex.includes(body)) {
+          result += body;
+        } else {
+          result += tex.slice(index, end + 1);
+        }
         index = end + 1;
         continue;
       }
     }
-    const operatorTex = matchingMirroredOperator(tex, index);
+    const operatorTex = matchingMirroredOperatorFrom(tex, index, mirroredOperatorTex);
     if (operatorTex) {
       result += `\\butexmirror{${operatorTex}}`;
       index += operatorTex.length;