@drghaliasri/butex 5.5.5 → 5.6.0

package/dist/document2.d.mts

@@ -678,7 +678,7 @@ declare function bibliographyEntryLatex(reference: Reference2): string;
  */
 declare function absoluteHttpHref(url: string): string;
 
-type ArabicDigitsMapping = 'arabicdigits' | 'digits';
+type ArabicDigitsMapping = 'arabicdigits' | 'farsidigits' | 'digits';
 type ArabicXeLatexPreambleOptions = {
     digitsMapping?: ArabicDigitsMapping;
     /** When true, add the article class twocolumn option. Default false. */
@@ -698,6 +698,8 @@ type Document2LatexOptions = {
     wrapDocument?: boolean;
     /** Font digit Mapping when wrapping. Default 'arabicdigits'. */
     digitsMapping?: ArabicDigitsMapping;
+    /** Document-level digit form for XeLaTeX font Mapping. Ignored when digitsMapping is set. */
+    digitForm?: DigitFormId;
     /** When true, use article class option twocolumn. Default false. */
     twocolumn?: boolean;
 };
@@ -760,7 +762,7 @@ declare function mathSourceFromSession(session: EditorSession, side: EditorSide,
 declare function mathSourceFromArabicSession(session: EditorSession, opening?: string, closing?: string): string;
 declare function mathNodeFromSession(session: EditorSession, opening?: string, closing?: string): MathNode;
 declare function mathNodeFromArabicSession(session: EditorSession, opening?: string, closing?: string): MathNode;
-declare function mathTokenSourceForSide(token: MathToken2, side: EditorSide): string;
+declare function mathTokenSourceForSide(token: MathToken2, side: EditorSide, digitForm?: DigitFormId): string;
 
 type Document2PreviewOptions = {
     documentDirection?: Document2Direction;

package/dist/document2.d.ts

@@ -678,7 +678,7 @@ declare function bibliographyEntryLatex(reference: Reference2): string;
  */
 declare function absoluteHttpHref(url: string): string;
 
-type ArabicDigitsMapping = 'arabicdigits' | 'digits';
+type ArabicDigitsMapping = 'arabicdigits' | 'farsidigits' | 'digits';
 type ArabicXeLatexPreambleOptions = {
     digitsMapping?: ArabicDigitsMapping;
     /** When true, add the article class twocolumn option. Default false. */
@@ -698,6 +698,8 @@ type Document2LatexOptions = {
     wrapDocument?: boolean;
     /** Font digit Mapping when wrapping. Default 'arabicdigits'. */
     digitsMapping?: ArabicDigitsMapping;
+    /** Document-level digit form for XeLaTeX font Mapping. Ignored when digitsMapping is set. */
+    digitForm?: DigitFormId;
     /** When true, use article class option twocolumn. Default false. */
     twocolumn?: boolean;
 };
@@ -760,7 +762,7 @@ declare function mathSourceFromSession(session: EditorSession, side: EditorSide,
 declare function mathSourceFromArabicSession(session: EditorSession, opening?: string, closing?: string): string;
 declare function mathNodeFromSession(session: EditorSession, opening?: string, closing?: string): MathNode;
 declare function mathNodeFromArabicSession(session: EditorSession, opening?: string, closing?: string): MathNode;
-declare function mathTokenSourceForSide(token: MathToken2, side: EditorSide): string;
+declare function mathTokenSourceForSide(token: MathToken2, side: EditorSide, digitForm?: DigitFormId): string;
 
 type Document2PreviewOptions = {
     documentDirection?: Document2Direction;

package/dist/document2.js

@@ -222,7 +222,9 @@ function butexBasmalaDisplayTex() {
 }
 function butexBasmalaDisplayLatex() {
   return `\\[
-${butexBasmalaDisplayTex()}
+\\begin{gathered}
+${BASMALA_LINES.map((line) => butexMaghribiDisplayTex(line)).join(" \\\\\n")}
+\\end{gathered}
 \\]`;
 }
 function butexInColumnMaketitleHook() {
@@ -2218,6 +2220,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
@@ -2257,6 +2260,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
@@ -2267,6 +2271,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
@@ -2277,6 +2282,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
@@ -2287,6 +2293,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
@@ -2298,6 +2305,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
@@ -2308,6 +2316,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
@@ -2328,6 +2337,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
@@ -2338,6 +2348,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
@@ -2348,6 +2359,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
@@ -2358,6 +2370,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
@@ -2398,6 +2411,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
@@ -2408,6 +2422,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
@@ -2455,6 +2470,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
@@ -2474,6 +2490,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
@@ -2483,6 +2500,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
@@ -2501,6 +2519,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
@@ -2510,6 +2529,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
@@ -2519,6 +2539,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
@@ -2528,6 +2549,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators3",
     Tex: "\\rightleftharpoons",
     mirror: true,
+    compileMirror: true,
     Label: "\u21CC",
     title: "\u0627\u062A\u0632\u0627\u0646",
     svg_path: null
@@ -2537,6 +2559,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
@@ -2546,6 +2569,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
@@ -2555,6 +2579,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
@@ -2564,6 +2589,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
@@ -2573,6 +2599,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
@@ -2582,6 +2609,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
@@ -2591,6 +2619,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
@@ -2600,6 +2629,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
@@ -2610,6 +2640,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "integrals",
     Tex: "\\int",
     mirror: true,
+    compileMirror: true,
     Label: "\u222B",
     title: "\u062A\u0643\u0627\u0645\u0644",
     svg_path: null
@@ -2620,6 +2651,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
@@ -2630,6 +2662,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
@@ -2640,6 +2673,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
@@ -2650,6 +2684,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
@@ -2660,6 +2695,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
@@ -2670,12 +2706,76 @@ 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
   }
 };
 var MIRRORED_OPERATOR_TEX = Object.values(ATOMIC_OPERATOR_COMMANDS).filter((command) => command.mirror).map((command) => command.Tex).sort((a, b) => b.length - a.length);
+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;
+    }
+    const next = tex[index + operatorTex.length];
+    if (next != null && /[A-Za-z]/.test(next)) {
+      continue;
+    }
+    return operatorTex;
+  }
+  return null;
+}
+function findMatchingBrace(tex, openIndex) {
+  let depth = 0;
+  for (let index = openIndex; index < tex.length; index += 1) {
+    const char = tex[index];
+    if (char === "\\") {
+      index += 1;
+      continue;
+    }
+    if (char === "{") {
+      depth += 1;
+    } else if (char === "}") {
+      depth -= 1;
+      if (depth === 0) {
+        return index;
+      }
+    }
+  }
+  return -1;
+}
+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) {
+        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 = matchingMirroredOperatorFrom(tex, index, mirroredOperatorTex);
+    if (operatorTex) {
+      result += `\\butexmirror{${operatorTex}}`;
+      index += operatorTex.length;
+      continue;
+    }
+    result += tex[index];
+    index += 1;
+  }
+  return result;
+}
 function atomicOperatorCommandSpec(id) {
   return Object.prototype.hasOwnProperty.call(ATOMIC_OPERATOR_COMMANDS, id) ? ATOMIC_OPERATOR_COMMANDS[id] : null;
 }
@@ -3158,6 +3258,28 @@ function renderArabicLatexFromSession(session) {
   return renderChainArabic(session.arabicTree, { digitForm: session.currentDigitForm ?? "western" });
 }
 
+// src/editor/state.ts
+function appendDebug(session, command, note) {
+  const entry = {
+    timestamp: (/* @__PURE__ */ new Date()).toISOString(),
+    command,
+    activeSide: session.activeSide,
+    englishLatex: renderEnglishLatexFromSession(session),
+    arabicLatex: renderArabicLatexFromSession(session),
+    renderOk: true,
+    renderError: null,
+    note
+  };
+  const nextLog = session.debugLog.concat(entry);
+  session.debugLog = nextLog.slice(-120);
+}
+function setCurrentDigitForm(session, digitForm) {
+  const next = cloneEditorSession(session);
+  next.currentDigitForm = digitForm;
+  appendDebug(next, "setCurrentDigitForm", digitForm);
+  return next;
+}
+
 // src/editor/display/delimiter.ts
 var DELIMITER_CSS = `
 .delim-pair {
@@ -4477,18 +4599,19 @@ function mathNodeFromSession(session, opening = "$", closing = "$") {
 function mathNodeFromArabicSession(session, opening = "$", closing = "$") {
   return mathNodeFromSession(session, opening, closing);
 }
-function mathTokenSourceForSide(token, side) {
+function mathTokenSourceForSide(token, side, digitForm) {
   if (!token.math || token.sourceOwner === "raw") {
     return token.source;
   }
-  if (token.sourceSide === side) {
+  if (token.sourceSide === side && digitForm === void 0) {
     return token.source;
   }
   const result = mathTokenToEditorSession(token.math, side);
   if (!result.editable) {
     return token.source;
   }
-  return mathSourceFromSession(result.session, side, token.opening, token.closing);
+  const session = digitForm === void 0 ? result.session : setCurrentDigitForm(result.session, digitForm);
+  return mathSourceFromSession(session, side, token.opening, token.closing);
 }
 
 // src/document2/commands.ts
@@ -5288,6 +5411,19 @@ function document2KeyError(key, namespace = {}) {
 }
 
 // src/document2/arabicPreamble.ts
+function fontOptions(digitsMapping, includeScript = true) {
+  const parts = [];
+  if (includeScript) {
+    parts.push("Script=Arabic");
+  }
+  if (digitsMapping !== "digits") {
+    parts.push(`Mapping=${digitsMapping}`);
+  }
+  if (parts.length === 0) {
+    return "";
+  }
+  return `[${parts.join(",")}]`;
+}
 function arabicXeLatexPreamblePkg(twocolumn = false) {
   const classOptions = twocolumn ? "12pt,a4paper,notitlepage,twocolumn" : "12pt,a4paper,notitlepage";
   return `
@@ -5316,25 +5452,27 @@ function arabicXeLatexPreamblePkg(twocolumn = false) {
 % save back tick for use - copy paste ->  ` + "`";
 }
 function arabicXeLatexPreambleFont(digitsMapping = "arabicdigits") {
-  const customFonts = NON_DEFAULT_CHARACTER_FONT_SPECS.filter((font) => font.latexFontCommand && font.latexFontFamily).map((font) => `\\newfontfamily${font.latexFontCommand}[Script=Arabic,Mapping=${digitsMapping}]{${font.latexFontFamily}}`).join("\n");
+  const customFonts = NON_DEFAULT_CHARACTER_FONT_SPECS.filter((font) => font.latexFontCommand && font.latexFontFamily).map((font) => `\\newfontfamily${font.latexFontCommand}${fontOptions(digitsMapping)}{${font.latexFontFamily}}`).join("\n");
+  const mathFontOptions = fontOptions(digitsMapping, false);
   return `
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Toggle between eastern and western digits by changing the Mapping in the below fonts (inside math font as well) between "arabicdigits" and "digits"
+% Persian digits: Mapping=farsidigits
+% Arabic-Indic digits: Mapping=arabicdigits
+% Western digits: omit Mapping entirely
 \\setdefaultlanguage[calendar=gregorian]{arabic}  % from polyglossia
-\\setmainfont[Script=Arabic , Mapping=${digitsMapping}]{Amiri}
+\\setmainfont${fontOptions(digitsMapping)}{Amiri}
 ${customFonts}
-\\newfontfamily\\boldarabic[Script=Arabic,Mapping=${digitsMapping}]{Amiri Bold}
-\\newfontfamily\\italicarabic[Script=Arabic,Mapping=${digitsMapping}]{Amiri Italic}
+\\newfontfamily\\boldarabic${fontOptions(digitsMapping)}{Amiri Bold}
+\\newfontfamily\\italicarabic${fontOptions(digitsMapping)}{Amiri Italic}
 
 % for polyglossia url I dont know, sugggested by cursor
-\\newfontfamily\\arabicfonttt[Script=Arabic,Mapping=${digitsMapping}]{Amiri}
-\\newfontfamily\\arabicfontsf[Script=Arabic,Mapping=${digitsMapping}]{Amiri}
+\\newfontfamily\\arabicfonttt${fontOptions(digitsMapping)}{Amiri}
+\\newfontfamily\\arabicfontsf${fontOptions(digitsMapping)}{Amiri}
 
 
 % Explicitly set math font to XITS Math
-% Remove "Script=Arabic" to cancel reflected symbols and other RTL symbols
-\\setmathfont[Script=Arabic , Mapping=${digitsMapping}]{XITS Math} % Ensure XITS Math is correctly installed and available
+\\setmathfont${mathFontOptions}{XITS Math} % Ensure XITS Math is correctly installed and available
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 `;
@@ -5496,8 +5634,20 @@ function getArabicXeLatexPreamble(digitsMappingOrOptions = "arabicdigits") {
 }
 
 // src/document2/exportLatex.ts
+function digitsMappingFromDigitForm(digitForm) {
+  if (digitForm === "western") {
+    return "digits";
+  }
+  if (digitForm === "persianIndic") {
+    return "farsidigits";
+  }
+  return "arabicdigits";
+}
 function mathBodyLatex(token) {
-  if (!token.math || token.sourceOwner === "raw" || token.sourceOwner === "editor") {
+  if (token.sourceOwner === "editor") {
+    return stripDisplayMathDelimiters(mirrorBuTeXOperatorsInTex(token.source, { target: "compile" }));
+  }
+  if (!token.math || token.sourceOwner === "raw") {
     return stripDisplayMathDelimiters(token.source);
   }
   const rendered = renderMathNodeLatex(token.math);
@@ -5533,7 +5683,10 @@ ${body}
 \\label{${token.label.trim()}}
 \\end{equation}`;
   }
-  if (!token.math || token.sourceOwner === "raw" || token.sourceOwner === "editor") {
+  if (token.sourceOwner === "editor") {
+    return mirrorBuTeXOperatorsInTex(token.source, { target: "compile" });
+  }
+  if (!token.math || token.sourceOwner === "raw") {
     return token.source;
   }
   return renderMathNodeLatex(token.math);
@@ -5651,7 +5804,7 @@ function articleMaketitlePreamble(meta, twocolumn = false) {
   if (meta.authors.trim().length > 0) {
     parts.push(`\\author{${authorLatex(meta.authors)}}`);
   }
-  parts.push(`\\date{${formatHijriDate(meta.date, { locale: "ar", digitForm: "arabicIndic" })}}`);
+  parts.push(`\\date{${formatHijriDate(meta.date, { locale: "ar", digitForm: "western" })}}`);
   return parts.join("\n");
 }
 function articleFrontMatterLatex(meta) {
@@ -5683,7 +5836,7 @@ function document2Latex(document2, options = {}) {
 ${body}` : body;
   }
   const preamble = getArabicXeLatexPreamble({
-    digitsMapping: options.digitsMapping ?? "arabicdigits",
+    digitsMapping: options.digitsMapping ?? digitsMappingFromDigitForm(options.digitForm),
     twocolumn
   }) + "\n" + articleMaketitlePreamble(meta, twocolumn);
   return `${preamble}
@@ -5939,8 +6092,8 @@ function remapSelectionAfterRangeMove(selection, direction) {
 }
 
 // src/document2/previewModel.ts
-function mathTex(token, equationSide) {
-  return mathTokenSourceForSide(token, equationSide);
+function mathTex(token, equationSide, digitForm) {
+  return mathTokenSourceForSide(token, equationSide, digitForm);
 }
 function previewInlines(field, islands, output, equationSide, document2, previewOptions) {
   return field.tokens.map((token) => {
@@ -5972,7 +6125,7 @@ function previewInlines(field, islands, output, equationSide, document2, preview
     }
     const island = {
       id: token.id,
-      tex: mathTex(token, equationSide),
+      tex: mathTex(token, equationSide, previewOptions.digitForm),
       display: token.display,
       output,
       editable: token.editable