@drghaliasri/butex 5.3.3 → 5.4.1

package/dist/document.mjs

@@ -705,6 +705,141 @@ function isSupportedDocumentCommand(command) {
   return TEXT_COMMANDS.has(command) || LIST_COMMANDS.has(command) || command === "\\begin{tabular}" || command === "\\includegraphics" || command === "\\raw";
 }
 
+// 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;
+}
+
 // src/editor/atomicCommands.ts
 var ATOMIC_COMMANDS = {
   ///////////////////////// Functions ////////////////////////////////
@@ -1665,6 +1800,14 @@ function renderMatrixRowsArabic(node, options) {
   }
   return `\\begin{${envName}}${rows.join(" \\\\\n")}\\end{${envName}}`;
 }
+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, "\\$&");
 }
@@ -1695,6 +1838,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);
   }
@@ -1893,6 +2049,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 {
@@ -2280,6 +2539,12 @@ ${FRAC_CSS}
 
 ${SQRT_CSS}
 
+${OVERSET_CSS}
+
+${UNDERSET_CSS}
+
+${ACCENT_CSS}
+
 ${MATRIX_ENV_CSS}
 
 ${ATOMIC_COMMAND_CSS}
@@ -2353,6 +2618,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") {
@@ -2391,6 +2671,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) {