@drghaliasri/butex 5.5.5 → 5.6.0

package/dist/index.global.js

@@ -735,6 +735,27 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
     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 = [
     {
@@ -808,7 +829,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
   }
 
   // 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(
@@ -826,12 +847,12 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
         ((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;
@@ -842,12 +863,12 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
   }
   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;
@@ -864,12 +885,12 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
   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
@@ -896,6 +917,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       registerArabSqrtCommand(CommandMap),
       registerPrescriptCommand(CommandMap),
       registerAtomicCommandMacros(CommandMap),
+      registerColonRelationCommandMacros(CommandMap),
       registerFontTextCommands(CommandMap),
       registerMirrorCommand(CommandMap),
       registerPassthroughCommandMacros(CommandMap)
@@ -2117,6 +2139,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       category: "operators1",
       Tex: "\\neq",
       mirror: true,
+      compileMirror: true,
       Label: "\u2260",
       title: "\u0644\u0627 \u064A\u0633\u0627\u0648\u064A",
       svg_path: null
@@ -2156,6 +2179,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2166,6 +2190,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2176,6 +2201,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2186,6 +2212,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2197,6 +2224,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       Tex: "\\propto",
       mirror: true,
       displayMirror: false,
+      compileMirror: true,
       Label: "\u221D",
       title: "\u064A\u062A\u0646\u0627\u0633\u0628 \u0645\u0639",
       svg_path: null
@@ -2207,6 +2235,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       Tex: "\\in",
       mirror: true,
       displayMirror: false,
+      compileMirror: true,
       Label: "\u2208",
       title: "\u064A\u0646\u062A\u0645\u064A \u0625\u0644\u0649",
       svg_path: null
@@ -2227,6 +2256,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2237,6 +2267,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2247,6 +2278,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2257,6 +2289,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2297,6 +2330,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2307,6 +2341,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2354,6 +2389,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       Tex: "\\ddots",
       mirror: true,
       displayMirror: false,
+      compileMirror: true,
       Label: "\u22F1",
       title: "\u0646\u0642\u0627\u0637 \u0642\u0637\u0631\u064A\u0629",
       svg_path: null
@@ -2373,6 +2409,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       category: "operators3",
       Tex: "\\implies",
       mirror: true,
+      compileMirror: true,
       Label: "\u21D2",
       title: "\u064A\u0633\u062A\u0644\u0632\u0645",
       svg_path: null
@@ -2382,6 +2419,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       category: "operators3",
       Tex: "\\impliedby",
       mirror: true,
+      compileMirror: true,
       Label: "\u21D0",
       title: "\u0645\u0633\u062A\u0644\u0632\u0645 \u0645\u0646",
       svg_path: null
@@ -2400,6 +2438,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2409,6 +2448,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2418,6 +2458,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       category: "operators3",
       Tex: "\\to",
       mirror: true,
+      compileMirror: true,
       Label: "\u2192",
       title: "\u064A\u0624\u0648\u0644 \u0625\u0644\u0649",
       svg_path: null
@@ -2427,6 +2468,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       category: "operators3",
       Tex: "\\rightleftharpoons",
       mirror: true,
+      compileMirror: true,
       Label: "\u21CC",
       title: "\u0627\u062A\u0632\u0627\u0646",
       svg_path: null
@@ -2436,6 +2478,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2445,6 +2488,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2454,6 +2498,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2463,6 +2508,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2472,6 +2518,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2481,6 +2528,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2490,6 +2538,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2499,6 +2548,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2509,6 +2559,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       category: "integrals",
       Tex: "\\int",
       mirror: true,
+      compileMirror: true,
       Label: "\u222B",
       title: "\u062A\u0643\u0627\u0645\u0644",
       svg_path: null
@@ -2519,6 +2570,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       Tex: "\\iint",
       mirror: true,
       displayMirror: false,
+      compileMirror: true,
       Label: "\u222C",
       title: "\u062A\u0643\u0627\u0645\u0644 \u0645\u0632\u062F\u0648\u062C",
       svg_path: null
@@ -2529,6 +2581,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       Tex: "\\iiint",
       mirror: true,
       displayMirror: false,
+      compileMirror: true,
       Label: "\u222D",
       title: "\u062A\u0643\u0627\u0645\u0644 \u062B\u0644\u0627\u062B\u064A",
       svg_path: null
@@ -2539,6 +2592,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       Tex: "\\iiiint",
       mirror: true,
       displayMirror: false,
+      compileMirror: true,
       Label: "\u2A0C",
       title: "\u062A\u0643\u0627\u0645\u0644 \u0631\u0628\u0627\u0639\u064A",
       svg_path: null
@@ -2549,6 +2603,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       Tex: "\\oint",
       mirror: true,
       displayMirror: false,
+      compileMirror: true,
       Label: "\u222E",
       title: "\u062A\u0643\u0627\u0645\u0644 \u0645\u063A\u0644\u0642",
       svg_path: null
@@ -2559,6 +2614,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2569,6 +2625,7 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
       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
@@ -2578,8 +2635,9 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
     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;
       }
@@ -2610,19 +2668,26 @@ mjx-container[jax="CHTML"] .butex-preview-mirror {
     }
     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;