@drghaliasri/butex 3.2.2 → 4.0.0

package/dist/document2.mjs

@@ -531,6 +531,7 @@ function createInlineField2(value = "", mathObjects = [], options = {}, path = "
         opening: span.opening,
         closing: span.closing,
         source: span.source,
+        sourceSide: mode,
         math: fromMathObjectJson(mathJson, mode),
         editable: true,
         sourceOwner: "imported-structured"
@@ -1133,6 +1134,24 @@ var ATOMIC_OPERATOR_COMMANDS = {
     title: "\u0623\u0643\u0628\u0631 \u0645\u0646 \u0623\u0648 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
   },
+  coloneqq: {
+    id: "coloneqq",
+    category: "operators1",
+    Tex: "\\coloneqq",
+    mirror: true,
+    Label: "\u2254",
+    title: "\u064A\u0639\u0631\u0641 \u0628\u0623\u0646\u0647 \u064A\u0633\u0627\u0648\u064A",
+    svg_path: null
+  },
+  eqqcolon: {
+    id: "eqqcolon",
+    category: "operators1",
+    Tex: "\\eqqcolon",
+    mirror: true,
+    Label: "\u2255",
+    title: "\u064A\u0633\u0627\u0648\u064A \u0628\u0627\u0644\u062A\u0639\u0631\u064A\u0641",
+    svg_path: null
+  },
   ///// Operators 2
   propto: {
     id: "propto",
@@ -1299,6 +1318,60 @@ var ATOMIC_OPERATOR_COMMANDS = {
     title: "\u064A\u0643\u0627\u0641\u0626",
     svg_path: null
   },
+  implies: {
+    id: "implies",
+    category: "operators3",
+    Tex: "\\implies",
+    mirror: true,
+    Label: "\u21D2",
+    title: "\u064A\u0633\u062A\u0644\u0632\u0645",
+    svg_path: null
+  },
+  impliedby: {
+    id: "impliedby",
+    category: "operators3",
+    Tex: "\\impliedby",
+    mirror: true,
+    Label: "\u21D0",
+    title: "\u0645\u0633\u062A\u0644\u0632\u0645 \u0645\u0646",
+    svg_path: null
+  },
+  iff: {
+    id: "iff",
+    category: "operators3",
+    Tex: "\\iff",
+    mirror: false,
+    Label: "\u21D4",
+    title: "\u0625\u0630\u0627 \u0648\u0641\u0642\u0637 \u0625\u0630\u0627",
+    svg_path: null
+  },
+  Longrightarrow: {
+    id: "Longrightarrow",
+    category: "operators3",
+    Tex: "\\Longrightarrow",
+    mirror: 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
+  },
+  Longleftarrow: {
+    id: "Longleftarrow",
+    category: "operators3",
+    Tex: "\\Longleftarrow",
+    mirror: 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
+  },
+  to: {
+    id: "to",
+    category: "operators3",
+    Tex: "\\to",
+    mirror: true,
+    Label: "\u2192",
+    title: "\u064A\u0624\u0648\u0644 \u0625\u0644\u0649",
+    svg_path: null
+  },
   rightleftharpoons: {
     id: "rightleftharpoons",
     category: "operators3",
@@ -1639,6 +1712,23 @@ function formatDigits(value, digitForm = "western") {
 function selectedDigitForm(options) {
   return options?.digitForm ?? "western";
 }
+function latinScripts(node, options) {
+  let scripts = "";
+  if (node.superscript) {
+    scripts += `^{${renderChainEnglish(node.superscript, options)}}`;
+  }
+  if (node.subscript) {
+    scripts += `_{${renderChainEnglish(node.subscript, options)}}`;
+  }
+  return scripts;
+}
+function optionalRootIndexEnglish(node, options) {
+  if (!node.rootIndex) {
+    return "";
+  }
+  const rendered = renderChainEnglish(node.rootIndex, options);
+  return rendered === "" ? "" : `[${rendered}]`;
+}
 function optionalRootIndexArabic(node, options) {
   if (!node.rootIndex) {
     return "";
@@ -1654,6 +1744,21 @@ function arabicScripts(node, content, options) {
   }
   return content;
 }
+function renderMatrixRowsEnglish(node, options) {
+  if (!node.matrixRows) {
+    return "";
+  }
+  const envName = node.envName ?? node.matrixStyle;
+  if (!envName) {
+    return "";
+  }
+  const rows = node.matrixRows.map((row) => row.map((cell) => renderChainEnglish(cell, options)).join(" & "));
+  if (envName === "array") {
+    const spec = (node.columnAlignments ?? []).slice(0, node.matrixRows[0]?.length ?? 0).join("");
+    return `\\begin{array}{${spec || "c"}}${rows.join(" \\\\\n")}\\end{array}`;
+  }
+  return `\\begin{${envName}}${rows.join(" \\\\\n")}\\end{${envName}}`;
+}
 function reverseAlignmentForArabic(alignment) {
   if (alignment === "l") {
     return "r";
@@ -1697,6 +1802,34 @@ function renderCharContent(node, options) {
   }
   return expr;
 }
+function renderNodeEnglish(node, options) {
+  if (node.kind === "delimiter" && node.innerExpr) {
+    return `${node.leftDelimExpr}${renderChainEnglish(node.innerExpr, options)}${node.rightDelimExpr}${latinScripts(node, options)}`;
+  }
+  if (node.kind === "frac" && node.numerator && node.denominator) {
+    const body = `\\frac{${renderChainEnglish(node.numerator, options)}}{${renderChainEnglish(node.denominator, options)}}`;
+    return `${body}${latinScripts(node, options)}`;
+  }
+  if (node.kind === "sqrt" && node.radicand) {
+    const body = `\\sqrt${optionalRootIndexEnglish(node, options)}{${renderChainEnglish(node.radicand, options)}}`;
+    return `${body}${latinScripts(node, options)}`;
+  }
+  if (node.kind === "env") {
+    return `${renderMatrixRowsEnglish(node, options)}${latinScripts(node, options)}`;
+  }
+  if (node.kind === "atomicCommand") {
+    const body = atomicCommandSpec(node.expr)?.englishTex ?? node.expr;
+    return `${body}${latinScripts(node, options)}`;
+  }
+  if (node.kind === "atomicOperatorCommand") {
+    const body = atomicOperatorCommandSpec(node.expr)?.Tex ?? node.expr;
+    return `${body}${latinScripts(node, options)}`;
+  }
+  if (node.kind === "char") {
+    return `${renderCharContent(node, options)}${latinScripts(node, options)}`;
+  }
+  return `${formatDigits(node.expr, selectedDigitForm(options))}${latinScripts(node, options)}`;
+}
 function renderNodeArabic(node, options) {
   if (node.kind === "delimiter" && node.innerExpr) {
     const content = `${node.leftDelimExpr}${renderChainArabic(node.innerExpr, options)}${node.rightDelimExpr}`;
@@ -1731,9 +1864,15 @@ function renderNodeArabic(node, options) {
   }
   return arabicScripts(node, formatDigits(node.expr, selectedDigitForm(options)), options);
 }
+function renderChainEnglish(chain, options) {
+  return chain.nodes.map((node) => renderNodeEnglish(node, options)).join(" ");
+}
 function renderChainArabic(chain, options) {
   return chain.nodes.slice().reverse().map((node) => renderNodeArabic(node, options)).join(" ");
 }
+function renderEnglishLatexFromSession(session) {
+  return renderChainEnglish(session.englishTree, { digitForm: session.currentDigitForm ?? "western" });
+}
 function renderArabicLatexFromSession(session) {
   return renderChainArabic(session.arabicTree, { digitForm: session.currentDigitForm ?? "western" });
 }
@@ -2664,15 +2803,18 @@ function mathNodeFromEditorSession(session, mathMode = "$", closing = "$") {
 }
 
 // src/document2/mathBridge.ts
-function createEmptyArabicEquationSession() {
+function createEmptyEquationSession(side = "arabic") {
   const english = createEditorChain();
   const arabic = createEditorChain();
   arabic.id = english.id;
-  const session = createEditorSession(english, arabic, "arabic");
+  const session = createEditorSession(english, arabic, side);
   session.sync = buildInitialSyncMap(session.englishTree, session.arabicTree);
   return session;
 }
-function mathTokenToArabicEditorSession(math) {
+function createEmptyArabicEquationSession() {
+  return createEmptyEquationSession("arabic");
+}
+function mathTokenToEditorSession(math, side = "arabic") {
   if (!math) {
     return { editable: false, reason: "\u0647\u0630\u0647 \u0627\u0644\u0645\u0639\u0627\u062F\u0644\u0629 \u0645\u062D\u0641\u0648\u0638\u0629 \u0643\u0646\u0635 \u062E\u0627\u0645 \u0641\u0642\u0637 \u062D\u0627\u0644\u064A\u0627" };
   }
@@ -2680,12 +2822,15 @@ function mathTokenToArabicEditorSession(math) {
   if (!result.editable) {
     return result;
   }
-  result.session.activeSide = "arabic";
+  result.session.activeSide = side;
   result.session.sync = buildInitialSyncMap(result.session.englishTree, result.session.arabicTree);
   return result;
 }
-function mathSourceFromArabicSession(session, opening = "$", closing = "$") {
-  const inner = renderArabicLatexFromSession(session);
+function mathTokenToArabicEditorSession(math) {
+  return mathTokenToEditorSession(math, "arabic");
+}
+function mathSourceFromSession(session, side, opening = "$", closing = "$") {
+  const inner = side === "english" ? renderEnglishLatexFromSession(session) : renderArabicLatexFromSession(session);
   if (opening === "$" || opening === "\\(") {
     return opening + inner + closing;
   }
@@ -2698,13 +2843,32 @@ ${closing}`;
     ${inner}
 ${closing}`;
 }
-function mathNodeFromArabicSession(session, opening = "$", closing = "$") {
+function mathSourceFromArabicSession(session, opening = "$", closing = "$") {
+  return mathSourceFromSession(session, "arabic", opening, closing);
+}
+function mathNodeFromSession(session, opening = "$", closing = "$") {
   const converted = mathNodeFromEditorSession(session, opening, closing);
   if (converted.ok) {
     return converted.math;
   }
   return { nodeType: "MathObject", mathMode: opening, lines: [], closing };
 }
+function mathNodeFromArabicSession(session, opening = "$", closing = "$") {
+  return mathNodeFromSession(session, opening, closing);
+}
+function mathTokenSourceForSide(token, side) {
+  if (!token.math || token.sourceOwner === "raw") {
+    return token.source;
+  }
+  if (token.sourceSide === side) {
+    return token.source;
+  }
+  const result = mathTokenToEditorSession(token.math, side);
+  if (!result.editable) {
+    return token.source;
+  }
+  return mathSourceFromSession(result.session, side, token.opening, token.closing);
+}
 
 // src/document2/commands.ts
 function cloneToken(token) {
@@ -2789,15 +2953,16 @@ function updateTextToken(document2, fieldId, tokenId, text) {
   });
   return next;
 }
-function mathTokenFromSession(session, opening = "$", closing = "$") {
+function mathTokenFromSession(session, opening = "$", closing = "$", side = "arabic") {
   return {
     id: document2Id("math"),
     kind: "math",
     display: opening === "$$" || opening === "\\[" || opening.startsWith("\\begin{"),
     opening,
     closing,
-    source: mathSourceFromArabicSession(session, opening, closing),
-    math: mathNodeFromArabicSession(session, opening, closing),
+    source: mathSourceFromSession(session, side, opening, closing),
+    sourceSide: side,
+    math: mathNodeFromSession(session, opening, closing),
     editable: true,
     sourceOwner: "editor"
   };
@@ -2883,9 +3048,9 @@ function splitTextTokenAt(token, offset) {
     { id: document2Id("text"), kind: "text", text: token.text.slice(safeOffset) }
   ];
 }
-function insertMathTokenAtCaret(document2, fieldId, textTokenId, caretOffset, session, opening = "$", closing = "$") {
+function insertMathTokenAtCaret(document2, fieldId, textTokenId, caretOffset, session, opening = "$", closing = "$", side = "arabic") {
   const next = cloneDocument(document2);
-  const mathToken = mathTokenFromSession(session, opening, closing);
+  const mathToken = mathTokenFromSession(session, opening, closing, side);
   visitFields(next.blocks, (field) => {
     if (field.id !== fieldId) {
       return false;
@@ -2910,9 +3075,9 @@ function insertMathTokenAtCaret(document2, fieldId, textTokenId, caretOffset, se
   });
   return next;
 }
-function insertMathToken(document2, fieldId, insertIndex, session, opening = "$", closing = "$") {
+function insertMathToken(document2, fieldId, insertIndex, session, opening = "$", closing = "$", side = "arabic") {
   const next = cloneDocument(document2);
-  const mathToken = mathTokenFromSession(session, opening, closing);
+  const mathToken = mathTokenFromSession(session, opening, closing, side);
   visitFields(next.blocks, (field) => {
     if (field.id !== fieldId) {
       return false;
@@ -2930,7 +3095,7 @@ function insertMathToken(document2, fieldId, insertIndex, session, opening = "$"
   });
   return next;
 }
-function replaceMathTokenFromSession(document2, tokenId, session, opening, closing) {
+function replaceMathTokenFromSession(document2, tokenId, session, opening, closing, side = "arabic") {
   const next = cloneDocument(document2);
   visitFields(next.blocks, (field) => {
     const index = field.tokens.findIndex((token) => token.id === tokenId && token.kind === "math");
@@ -2940,7 +3105,7 @@ function replaceMathTokenFromSession(document2, tokenId, session, opening, closi
     const current = field.tokens[index];
     const open = opening ?? current.opening;
     const close = closing ?? current.closing;
-    field.tokens[index] = mathTokenFromSession(session, open, close);
+    field.tokens[index] = mathTokenFromSession(session, open, close, side);
     field.tokens[index].id = current.id;
     return true;
   });
@@ -3152,23 +3317,20 @@ function document2HistoryCanRedo(stacks) {
 }
 
 // src/document2/previewModel.ts
-function mathTex(token) {
+function mathTex(token, equationSide) {
   if (token.kind === "text") {
     return token.text;
   }
-  if (!token.math || token.sourceOwner === "raw" || token.sourceOwner === "editor") {
-    return token.source;
-  }
-  return renderMathNodeLatex(token.math);
+  return mathTokenSourceForSide(token, equationSide);
 }
-function previewInlines(field, islands, output) {
+function previewInlines(field, islands, output, equationSide) {
   return field.tokens.map((token) => {
     if (token.kind === "text") {
       return { kind: "text", text: token.text };
     }
     const island = {
       id: token.id,
-      tex: mathTex(token),
+      tex: mathTex(token, equationSide),
       display: token.display,
       output,
       editable: token.editable
@@ -3177,21 +3339,21 @@ function previewInlines(field, islands, output) {
     return { kind: "math", ...island };
   });
 }
-function textBlockPreview(block, islands, output) {
+function textBlockPreview(block, islands, output, equationSide) {
   if (block.command === "\\section") {
-    return { kind: "heading", id: block.id, level: 1, inlines: previewInlines(block.field, islands, output) };
+    return { kind: "heading", id: block.id, level: 1, inlines: previewInlines(block.field, islands, output, equationSide) };
   }
   if (block.command === "\\subsection") {
-    return { kind: "heading", id: block.id, level: 2, inlines: previewInlines(block.field, islands, output) };
+    return { kind: "heading", id: block.id, level: 2, inlines: previewInlines(block.field, islands, output, equationSide) };
   }
   if (block.command === "\\subsubsection") {
-    return { kind: "heading", id: block.id, level: 3, inlines: previewInlines(block.field, islands, output) };
+    return { kind: "heading", id: block.id, level: 3, inlines: previewInlines(block.field, islands, output, equationSide) };
   }
-  return { kind: "paragraph", id: block.id, inlines: previewInlines(block.field, islands, output) };
+  return { kind: "paragraph", id: block.id, inlines: previewInlines(block.field, islands, output, equationSide) };
 }
-function blockPreview(block, islands, output) {
+function blockPreview(block, islands, output, equationSide) {
   if (block.kind === "textBlock") {
-    return textBlockPreview(block, islands, output);
+    return textBlockPreview(block, islands, output, equationSide);
   }
   if (block.kind === "list") {
     return {
@@ -3200,23 +3362,23 @@ function blockPreview(block, islands, output) {
       ordered: block.command === "\\begin{enumerate}",
       items: block.items.map((item) => ({
         id: item.id,
-        inlines: previewInlines(item.field, islands, output),
-        blocks: item.blocks.map((child) => blockPreview(child, islands, output))
+        inlines: previewInlines(item.field, islands, output, equationSide),
+        blocks: item.blocks.map((child) => blockPreview(child, islands, output, equationSide))
       }))
     };
   }
   if (block.kind === "table") {
-    return { kind: "table", id: block.id, rows: block.rows.map((row) => row.map((cell) => previewInlines(cell, islands, output))) };
+    return { kind: "table", id: block.id, rows: block.rows.map((row) => row.map((cell) => previewInlines(cell, islands, output, equationSide))) };
   }
   if (block.kind === "image") {
     return { kind: "image", id: block.id, src: block.value, options: block.options };
   }
   return { kind: "omit", id: block.id };
 }
-function document2Preview(document2, output = "svg") {
+function document2Preview(document2, output = "svg", equationSide = "arabic") {
   const mathIslands = [];
   return {
-    blocks: document2.blocks.map((block) => blockPreview(block, mathIslands, output)),
+    blocks: document2.blocks.map((block) => blockPreview(block, mathIslands, output, equationSide)),
     mathIslands
   };
 }
@@ -3231,6 +3393,7 @@ export {
   createDocument2History,
   createEmptyArabicEquationSession,
   createEmptyDocument2,
+  createEmptyEquationSession,
   createInlineField2,
   detectMathSpans2,
   document2HistoryCanRedo,
@@ -3244,8 +3407,12 @@ export {
   insertMathToken,
   insertMathTokenAtCaret,
   mathNodeFromArabicSession,
+  mathNodeFromSession,
   mathSourceFromArabicSession,
+  mathSourceFromSession,
+  mathTokenSourceForSide,
   mathTokenToArabicEditorSession,
+  mathTokenToEditorSession,
   moveDocument2BlockById,
   pushDocument2Snapshot,
   removeDocument2BlockById,