@drghaliasri/butex 5.3.3 → 5.4.0

package/dist/document2.mjs

@@ -1353,6 +1353,155 @@ function createEmptyDocument2() {
   };
 }
 
+// src/editor/accentCommands.ts
+var ACCENT_COMMANDS = {
+  vec: {
+    id: "vec",
+    englishTex: "\\vec",
+    arabicTex: "\\arabvec",
+    placement: "over",
+    label: "\u20D7",
+    title: "\u0633\u0647\u0645 \u0641\u0648\u0642"
+  },
+  hat: {
+    id: "hat",
+    englishTex: "\\hat",
+    arabicTex: "\\hat",
+    placement: "over",
+    label: "\u02C6",
+    title: "\u0642\u0628\u0639\u0629"
+  },
+  tilde: {
+    id: "tilde",
+    englishTex: "\\tilde",
+    arabicTex: "\\tilde",
+    placement: "over",
+    label: "\u02DC",
+    title: "\u0645\u062F\u0629"
+  },
+  dot: {
+    id: "dot",
+    englishTex: "\\dot",
+    arabicTex: "\\dot",
+    placement: "over",
+    label: "\u02D9",
+    title: "\u0646\u0642\u0637\u0629 \u0641\u0648\u0642"
+  },
+  ddot: {
+    id: "ddot",
+    englishTex: "\\ddot",
+    arabicTex: "\\ddot",
+    placement: "over",
+    label: "\xA8",
+    title: "\u0646\u0642\u0637\u062A\u0627\u0646 \u0641\u0648\u0642"
+  },
+  dddot: {
+    id: "dddot",
+    englishTex: "\\dddot",
+    arabicTex: "\\dddot",
+    placement: "over",
+    label: "\u20DB",
+    title: "\u062B\u0644\u0627\u062B \u0646\u0642\u0627\u0637 \u0641\u0648\u0642"
+  },
+  bar: {
+    id: "bar",
+    englishTex: "\\bar",
+    arabicTex: "\\bar",
+    placement: "over",
+    label: "\xAF",
+    title: "\u062E\u0637 \u0641\u0648\u0642"
+  },
+  check: {
+    id: "check",
+    englishTex: "\\check",
+    arabicTex: "\\check",
+    placement: "over",
+    label: "\u02C7",
+    title: "\u0639\u0644\u0627\u0645\u0629 \u062A\u062D\u0642\u0642"
+  },
+  breve: {
+    id: "breve",
+    englishTex: "\\breve",
+    arabicTex: "\\breve",
+    placement: "over",
+    label: "\u02D8",
+    title: "\u0642\u0648\u0633 \u0642\u0635\u064A\u0631"
+  },
+  acute: {
+    id: "acute",
+    englishTex: "\\acute",
+    arabicTex: "\\grave",
+    placement: "over",
+    label: "\xB4",
+    title: "\u0646\u0628\u0631\u0629 \u062D\u0627\u062F\u0629"
+  },
+  grave: {
+    id: "grave",
+    englishTex: "\\grave",
+    arabicTex: "\\acute",
+    placement: "over",
+    label: "`",
+    title: "\u0646\u0628\u0631\u0629 \u062B\u0642\u064A\u0644\u0629"
+  },
+  overline: {
+    id: "overline",
+    englishTex: "\\overline",
+    arabicTex: "\\overline",
+    placement: "over",
+    label: "\u203E",
+    title: "\u062E\u0637 \u0639\u0644\u0648\u064A \u0645\u0645\u062A\u062F"
+  },
+  underline: {
+    id: "underline",
+    englishTex: "\\underline",
+    arabicTex: "\\underline",
+    placement: "under",
+    label: "_",
+    title: "\u062E\u0637 \u0633\u0641\u0644\u064A"
+  },
+  overleftarrow: {
+    id: "overleftarrow",
+    englishTex: "\\overleftarrow",
+    arabicTex: "\\overrightarrow",
+    placement: "over",
+    label: "\u2190",
+    title: "\u0633\u0647\u0645 \u0639\u0644\u0648\u064A \u0625\u0644\u0649 \u0627\u0644\u064A\u0633\u0627\u0631"
+  },
+  overrightarrow: {
+    id: "overrightarrow",
+    englishTex: "\\overrightarrow",
+    arabicTex: "\\overleftarrow",
+    placement: "over",
+    label: "\u2192",
+    title: "\u0633\u0647\u0645 \u0639\u0644\u0648\u064A \u0625\u0644\u0649 \u0627\u0644\u064A\u0645\u064A\u0646"
+  },
+  overleftrightarrow: {
+    id: "overleftrightarrow",
+    englishTex: "\\overleftrightarrow",
+    arabicTex: "\\overleftrightarrow",
+    placement: "over",
+    label: "\u2194",
+    title: "\u0633\u0647\u0645 \u0639\u0644\u0648\u064A \u0645\u0632\u062F\u0648\u062C \u0627\u0644\u0627\u062A\u062C\u0627\u0647"
+  }
+};
+function accentCommandSpec(id) {
+  return Object.prototype.hasOwnProperty.call(ACCENT_COMMANDS, id) ? ACCENT_COMMANDS[id] : null;
+}
+function accentCommandIdFromTex(tex) {
+  const normalized = tex.startsWith("\\") ? tex : `\\${tex}`;
+  for (const spec of Object.values(ACCENT_COMMANDS)) {
+    if (spec.englishTex === normalized) {
+      return spec.id;
+    }
+  }
+  for (const spec of Object.values(ACCENT_COMMANDS)) {
+    if (spec.arabicTex === normalized) {
+      return spec.id;
+    }
+  }
+  return null;
+}
+
 // src/editor/atomicCommands.ts
 var ATOMIC_COMMANDS = {
   ///////////////////////// Functions ////////////////////////////////
@@ -2258,6 +2407,9 @@ function createEditorNode(kind, expr) {
     denominator: null,
     radicand: null,
     rootIndex: null,
+    overExpr: null,
+    underExpr: null,
+    baseExpr: null,
     envName: null,
     matrixStyle: null,
     matrixRows: null,
@@ -2286,6 +2438,26 @@ function createSqrtNode() {
     rootIndex: createEditorChain()
   };
 }
+function createOversetNode() {
+  return {
+    ...createEditorNode("overset", ""),
+    overExpr: createEditorChain(),
+    baseExpr: createEditorChain()
+  };
+}
+function createUndersetNode() {
+  return {
+    ...createEditorNode("underset", ""),
+    underExpr: createEditorChain(),
+    baseExpr: createEditorChain()
+  };
+}
+function createAccentNode(accentId) {
+  return {
+    ...createEditorNode("accent", accentId),
+    baseExpr: createEditorChain()
+  };
+}
 function createGridEnvNode(envName, rows, columns, columnAlignments) {
   const safeRows = Math.max(1, Math.min(12, Math.trunc(rows)));
   const safeColumns = Math.max(1, Math.min(12, Math.trunc(columns)));
@@ -2344,6 +2516,15 @@ function collectNodeIds(chain, ids) {
     if (node.radicand) {
       collectNodeIds(node.radicand, ids);
     }
+    if (node.overExpr) {
+      collectNodeIds(node.overExpr, ids);
+    }
+    if (node.underExpr) {
+      collectNodeIds(node.underExpr, ids);
+    }
+    if (node.baseExpr) {
+      collectNodeIds(node.baseExpr, ids);
+    }
     if (node.matrixRows) {
       for (const row of node.matrixRows) {
         for (const cell of row) {
@@ -2474,6 +2655,22 @@ function renderMatrixRowsArabic(node, options) {
   }
   return `\\begin{${envName}}${rows.join(" \\\\\n")}\\end{${envName}}`;
 }
+function renderAccentEnglish(command, accent, base, options) {
+  const baseTex = base ? renderChainEnglish(base, options) : "";
+  const accentTex = accent ? renderChainEnglish(accent, options) : "";
+  if (accentTex === "") {
+    return baseTex;
+  }
+  return `\\${command}{${accentTex}}{${baseTex}}`;
+}
+function renderAccentArabic(command, accent, base, options) {
+  const baseTex = base ? renderChainArabic(base, options) : "";
+  const accentTex = accent ? renderChainArabic(accent, options) : "";
+  if (accentTex === "") {
+    return baseTex;
+  }
+  return `\\${command}{${accentTex}}{${baseTex}}`;
+}
 function escapeText(s) {
   return s.replace(/\\/g, "\\textbackslash{}").replace(/[{}]/g, "\\$&");
 }
@@ -2503,6 +2700,19 @@ function renderNodeEnglish(node, options) {
     const body = `\\sqrt${optionalRootIndexEnglish(node, options)}{${renderChainEnglish(node.radicand, options)}}`;
     return `${body}${latinScripts(node, options)}`;
   }
+  if (node.kind === "overset" && node.baseExpr) {
+    const body = renderAccentEnglish("overset", node.overExpr, node.baseExpr, options);
+    return `${body}${latinScripts(node, options)}`;
+  }
+  if (node.kind === "underset" && node.baseExpr) {
+    const body = renderAccentEnglish("underset", node.underExpr, node.baseExpr, options);
+    return `${body}${latinScripts(node, options)}`;
+  }
+  if (node.kind === "accent" && node.baseExpr) {
+    const cmd = accentCommandSpec(node.expr)?.englishTex ?? `\\${node.expr}`;
+    const body = `${cmd}{${renderChainEnglish(node.baseExpr, options)}}`;
+    return `${body}${latinScripts(node, options)}`;
+  }
   if (node.kind === "env") {
     return `${renderMatrixRowsEnglish(node, options)}${latinScripts(node, options)}`;
   }
@@ -2535,6 +2745,19 @@ function renderNodeArabic(node, options) {
     const content = `\\arabsqrt${optionalRootIndexArabic(node, options)}{${renderChainArabic(node.radicand, options)}}`;
     return arabicScripts(node, content, options);
   }
+  if (node.kind === "overset" && node.baseExpr) {
+    const content = renderAccentArabic("overset", node.overExpr, node.baseExpr, options);
+    return arabicScripts(node, content, options);
+  }
+  if (node.kind === "underset" && node.baseExpr) {
+    const content = renderAccentArabic("underset", node.underExpr, node.baseExpr, options);
+    return arabicScripts(node, content, options);
+  }
+  if (node.kind === "accent" && node.baseExpr) {
+    const cmd = accentCommandSpec(node.expr)?.arabicTex ?? `\\${node.expr}`;
+    const content = `${cmd}{${renderChainArabic(node.baseExpr, options)}}`;
+    return arabicScripts(node, content, options);
+  }
   if (node.kind === "env") {
     return arabicScripts(node, renderMatrixRowsArabic(node, options), options);
   }
@@ -2739,6 +2962,109 @@ var SQRT_CSS = `
 }
 `.trim();
 
+// src/editor/display/overset.ts
+var OVERSET_CSS = `
+.overset {
+  display: inline-flex;
+  flex-direction: column;
+  align-items: center;
+  justify-content: center;
+  vertical-align: middle;
+  margin: 0 2px;
+  min-width: 1.2em;
+}
+
+.overset-over {
+  display: inline-flex;
+  justify-content: center;
+  align-items: center;
+  min-height: 0.85em;
+  padding: 0 2px;
+  font-size: 0.72em;
+  line-height: 1.1;
+}
+
+.overset-base {
+  display: inline-flex;
+  justify-content: center;
+  align-items: center;
+  min-height: 1.05em;
+  padding: 0 2px;
+}
+`.trim();
+
+// src/editor/display/underset.ts
+var UNDERSET_CSS = `
+.underset {
+  display: inline-flex;
+  flex-direction: column;
+  align-items: center;
+  justify-content: center;
+  vertical-align: middle;
+  margin: 0 2px;
+  min-width: 1.2em;
+}
+
+.underset-base {
+  display: inline-flex;
+  justify-content: center;
+  align-items: center;
+  min-height: 1.05em;
+  padding: 0 2px;
+}
+
+.underset-under {
+  display: inline-flex;
+  justify-content: center;
+  align-items: center;
+  min-height: 0.85em;
+  padding: 0 2px;
+  font-size: 0.72em;
+  line-height: 1.1;
+}
+`.trim();
+
+// src/editor/display/accent.ts
+var ACCENT_CSS = `
+.math-accent {
+  display: inline-flex;
+  flex-direction: column;
+  align-items: center;
+  justify-content: center;
+  vertical-align: middle;
+  margin: 0 2px;
+  min-width: 1.1em;
+}
+
+.math-accent-chrome {
+  display: inline-flex;
+  justify-content: center;
+  align-items: center;
+  min-height: 0.7em;
+  padding: 0 2px;
+  font-size: 0.85em;
+  line-height: 1;
+  color: var(--butex-script-color, #475569);
+  user-select: none;
+}
+
+.math-accent-base {
+  display: inline-flex;
+  justify-content: center;
+  align-items: center;
+  min-height: 1.05em;
+  padding: 0 2px;
+}
+
+.math-accent--under .math-accent-chrome {
+  min-height: 0.45em;
+  border-top: 1.5px solid currentColor;
+  width: 100%;
+  font-size: 0;
+  color: var(--butex-surface-fg, #0f172a);
+}
+`.trim();
+
 // src/editor/display/env.ts
 var MATRIX_ENV_CSS = `
 .matrix-env {
@@ -3126,6 +3452,12 @@ ${FRAC_CSS}
 
 ${SQRT_CSS}
 
+${OVERSET_CSS}
+
+${UNDERSET_CSS}
+
+${ACCENT_CSS}
+
 ${MATRIX_ENV_CSS}
 
 ${ATOMIC_COMMAND_CSS}
@@ -3408,6 +3740,56 @@ function commandToEditorNode(node) {
     }
     return { editable: true, node: sqrt };
   }
+  if (node.name === "\\overset" && node.mandatoryArgs.length >= 2) {
+    const overset = createOversetNode();
+    const overExpr = chainToEditorChain(node.mandatoryArgs[0]);
+    const baseExpr = chainToEditorChain(node.mandatoryArgs[1]);
+    if (!overExpr.editable) {
+      return overExpr;
+    }
+    if (!baseExpr.editable) {
+      return baseExpr;
+    }
+    overset.overExpr = overExpr.chain;
+    overset.baseExpr = baseExpr.chain;
+    const scripts = attachScripts(node, overset);
+    if (scripts) {
+      return scripts;
+    }
+    return { editable: true, node: overset };
+  }
+  if (node.name === "\\underset" && node.mandatoryArgs.length >= 2) {
+    const underset = createUndersetNode();
+    const underExpr = chainToEditorChain(node.mandatoryArgs[0]);
+    const baseExpr = chainToEditorChain(node.mandatoryArgs[1]);
+    if (!underExpr.editable) {
+      return underExpr;
+    }
+    if (!baseExpr.editable) {
+      return baseExpr;
+    }
+    underset.underExpr = underExpr.chain;
+    underset.baseExpr = baseExpr.chain;
+    const scripts = attachScripts(node, underset);
+    if (scripts) {
+      return scripts;
+    }
+    return { editable: true, node: underset };
+  }
+  const accentId = accentCommandIdFromTex(node.name);
+  if (accentId && node.mandatoryArgs.length >= 1) {
+    const accent = createAccentNode(accentId);
+    const baseExpr = chainToEditorChain(node.mandatoryArgs[0]);
+    if (!baseExpr.editable) {
+      return baseExpr;
+    }
+    accent.baseExpr = baseExpr.chain;
+    const scripts = attachScripts(node, accent);
+    if (scripts) {
+      return scripts;
+    }
+    return { editable: true, node: accent };
+  }
   const atomicId = commandIdForTex(node.name);
   if (atomicId && node.optionalArgs.length === 0 && node.mandatoryArgs.length === 0) {
     const atomic = createEditorNode("atomicCommand", atomicId);
@@ -3544,6 +3926,21 @@ function editorEnvToAstNode(node) {
   const scripts = attachAstScripts(node, env);
   return scripts ?? { ok: true, node: env };
 }
+function accentChainForExport(accent) {
+  if (!accent) {
+    return { ok: true, chain: new ChainNode([]) };
+  }
+  return editorChainToAstChain(accent);
+}
+function nodeFromAccentBase(command, accent, base) {
+  if (accent.chain.length > 0) {
+    return new CommandNode(command, [], [accent, base]);
+  }
+  if (base.chain.length === 1) {
+    return base.chain[0];
+  }
+  return new DelimiterNode("", base, "");
+}
 function editorNodeToAstNode(node) {
   let astNode;
   if (node.kind === "char") {
@@ -3582,6 +3979,36 @@ function editorNodeToAstNode(node) {
       optionalArgs.push(rootIndex.chain);
     }
     astNode = new CommandNode("\\sqrt", optionalArgs, [radicand.chain]);
+  } else if (node.kind === "overset" && node.baseExpr) {
+    const accent = accentChainForExport(node.overExpr);
+    if (!accent.ok) {
+      return accent;
+    }
+    const baseExpr = editorChainToAstChain(node.baseExpr);
+    if (!baseExpr.ok) {
+      return baseExpr;
+    }
+    astNode = nodeFromAccentBase("\\overset", accent.chain, baseExpr.chain);
+  } else if (node.kind === "underset" && node.baseExpr) {
+    const accent = accentChainForExport(node.underExpr);
+    if (!accent.ok) {
+      return accent;
+    }
+    const baseExpr = editorChainToAstChain(node.baseExpr);
+    if (!baseExpr.ok) {
+      return baseExpr;
+    }
+    astNode = nodeFromAccentBase("\\underset", accent.chain, baseExpr.chain);
+  } else if (node.kind === "accent" && node.baseExpr) {
+    const tex = accentCommandSpec(node.expr)?.englishTex;
+    if (!tex) {
+      return { ok: false, reason: `\u0644\u0643\u0646\u0629 \u0631\u064A\u0627\u0636\u064A\u0629 \u063A\u064A\u0631 \u0645\u062F\u0639\u0648\u0645\u0629 \u062D\u0627\u0644\u064A\u0627: ${node.expr}` };
+    }
+    const baseExpr = editorChainToAstChain(node.baseExpr);
+    if (!baseExpr.ok) {
+      return baseExpr;
+    }
+    astNode = new CommandNode(tex, [], [baseExpr.chain]);
   } else if (node.kind === "atomicCommand") {
     const tex = atomicCommandSpec(node.expr)?.englishTex;
     if (!tex) {