@drghaliasri/butex 5.3.2 → 5.4.0

package/dist/document.d.mts

@@ -160,7 +160,7 @@ declare function renderMathNodeLatex(math: MathNode): string;
 declare function isDisplayMathNode(math: MathNode): boolean;
 
 type EditorSide = 'english' | 'arabic';
-type EditorNodeKind = 'char' | 'number' | 'operator' | 'delimiter' | 'frac' | 'sqrt' | 'env' | 'atomicCommand' | 'atomicOperatorCommand';
+type EditorNodeKind = 'char' | 'number' | 'operator' | 'delimiter' | 'frac' | 'sqrt' | 'overset' | 'underset' | 'accent' | 'env' | 'atomicCommand' | 'atomicOperatorCommand';
 type MatrixEnvStyle = 'matrix' | 'pmatrix' | 'bmatrix' | 'Bmatrix' | 'vmatrix' | 'Vmatrix';
 type GridEnvName = MatrixEnvStyle | 'array' | 'aligned';
 type EnvColumnAlignment = 'l' | 'c' | 'r';
@@ -185,6 +185,9 @@ type EditorNode = {
     denominator: EditorChain | null;
     radicand: EditorChain | null;
     rootIndex: EditorChain | null;
+    overExpr: EditorChain | null;
+    underExpr: EditorChain | null;
+    baseExpr: EditorChain | null;
     envName: GridEnvName | null;
     matrixStyle: MatrixEnvStyle | null;
     matrixRows: EditorChain[][] | null;

package/dist/document.d.ts

@@ -160,7 +160,7 @@ declare function renderMathNodeLatex(math: MathNode): string;
 declare function isDisplayMathNode(math: MathNode): boolean;
 
 type EditorSide = 'english' | 'arabic';
-type EditorNodeKind = 'char' | 'number' | 'operator' | 'delimiter' | 'frac' | 'sqrt' | 'env' | 'atomicCommand' | 'atomicOperatorCommand';
+type EditorNodeKind = 'char' | 'number' | 'operator' | 'delimiter' | 'frac' | 'sqrt' | 'overset' | 'underset' | 'accent' | 'env' | 'atomicCommand' | 'atomicOperatorCommand';
 type MatrixEnvStyle = 'matrix' | 'pmatrix' | 'bmatrix' | 'Bmatrix' | 'vmatrix' | 'Vmatrix';
 type GridEnvName = MatrixEnvStyle | 'array' | 'aligned';
 type EnvColumnAlignment = 'l' | 'c' | 'r';
@@ -185,6 +185,9 @@ type EditorNode = {
     denominator: EditorChain | null;
     radicand: EditorChain | null;
     rootIndex: EditorChain | null;
+    overExpr: EditorChain | null;
+    underExpr: EditorChain | null;
+    baseExpr: EditorChain | null;
     envName: GridEnvName | null;
     matrixStyle: MatrixEnvStyle | null;
     matrixRows: EditorChain[][] | null;

package/dist/document.js

@@ -768,6 +768,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 ////////////////////////////////
@@ -1182,7 +1317,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     id: "neq",
     category: "operators1",
     Tex: "\\neq",
-    mirror: false,
+    mirror: true,
     Label: "\u2260",
     title: "\u0644\u0627 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -1192,6 +1327,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators1",
     Tex: "\\approx",
     mirror: false,
+    displayMirror: true,
     Label: "\u2248",
     title: "\u062A\u0642\u0631\u064A\u0628\u0627 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -1201,6 +1337,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators1",
     Tex: "\\sim",
     mirror: false,
+    displayMirror: true,
     Label: "\u223C",
     title: "\u0645\u0634\u0627\u0628\u0647",
     svg_path: null
@@ -1219,6 +1356,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators1",
     Tex: "\\leq",
     mirror: true,
+    displayMirror: false,
     Label: "\u2264",
     title: "\u0623\u0635\u063A\u0631 \u0645\u0646 \u0623\u0648 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -1228,6 +1366,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators1",
     Tex: "\\geq",
     mirror: true,
+    displayMirror: false,
     Label: "\u2265",
     title: "\u0623\u0643\u0628\u0631 \u0645\u0646 \u0623\u0648 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -1237,6 +1376,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators1",
     Tex: "\\coloneqq",
     mirror: true,
+    displayMirror: false,
     Label: "\u2254",
     title: "\u064A\u0639\u0631\u0641 \u0628\u0623\u0646\u0647 \u064A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -1246,6 +1386,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators1",
     Tex: "\\eqqcolon",
     mirror: true,
+    displayMirror: false,
     Label: "\u2255",
     title: "\u064A\u0633\u0627\u0648\u064A \u0628\u0627\u0644\u062A\u0639\u0631\u064A\u0641",
     svg_path: null
@@ -1256,6 +1397,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\propto",
     mirror: true,
+    displayMirror: false,
     Label: "\u221D",
     title: "\u064A\u062A\u0646\u0627\u0633\u0628 \u0645\u0639",
     svg_path: null
@@ -1265,6 +1407,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\in",
     mirror: true,
+    displayMirror: false,
     Label: "\u2208",
     title: "\u064A\u0646\u062A\u0645\u064A \u0625\u0644\u0649",
     svg_path: null
@@ -1274,6 +1417,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\notin",
     mirror: false,
+    displayMirror: true,
     Label: "\u2209",
     title: "\u0644\u0627 \u064A\u0646\u062A\u0645\u064A \u0625\u0644\u0649",
     svg_path: null
@@ -1283,6 +1427,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\subset",
     mirror: true,
+    displayMirror: false,
     Label: "\u2282",
     title: "\u0645\u062C\u0645\u0648\u0639\u0629 \u062C\u0632\u0626\u064A\u0629 \u0645\u0646",
     svg_path: null
@@ -1292,6 +1437,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\supset",
     mirror: true,
+    displayMirror: false,
     Label: "\u2283",
     title: "\u0645\u062C\u0645\u0648\u0639\u0629 \u0634\u0627\u0645\u0644\u0629 \u0644\u0640",
     svg_path: null
@@ -1301,6 +1447,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\subseteq",
     mirror: true,
+    displayMirror: false,
     Label: "\u2286",
     title: "\u0645\u062C\u0645\u0648\u0639\u0629 \u062C\u0632\u0626\u064A\u0629 \u0623\u0648 \u062A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -1310,6 +1457,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\supseteq",
     mirror: true,
+    displayMirror: false,
     Label: "\u2287",
     title: "\u0645\u062C\u0645\u0648\u0639\u0629 \u0634\u0627\u0645\u0644\u0629 \u0623\u0648 \u062A\u0633\u0627\u0648\u064A",
     svg_path: null
@@ -1319,6 +1467,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\cap",
     mirror: false,
+    displayMirror: true,
     Label: "\u2229",
     title: "\u062A\u0642\u0627\u0637\u0639",
     svg_path: null
@@ -1328,6 +1477,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\cup",
     mirror: false,
+    displayMirror: true,
     Label: "\u222A",
     title: "\u0627\u062A\u062D\u0627\u062F",
     svg_path: null
@@ -1337,6 +1487,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\emptyset",
     mirror: false,
+    displayMirror: true,
     Label: "\u2205",
     title: "\u0627\u0644\u0645\u062C\u0645\u0648\u0639\u0629 \u0627\u0644\u062E\u0627\u0644\u064A\u0629",
     svg_path: null
@@ -1346,6 +1497,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\nsubseteq",
     mirror: true,
+    displayMirror: false,
     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
@@ -1355,6 +1507,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "operators2",
     Tex: "\\nsupseteq",
     mirror: true,
+    displayMirror: false,
     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
@@ -1566,6 +1719,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "integrals",
     Tex: "\\iint",
     mirror: true,
+    displayMirror: false,
     Label: "\u222C",
     title: "\u062A\u0643\u0627\u0645\u0644 \u0645\u0632\u062F\u0648\u062C",
     svg_path: null
@@ -1575,6 +1729,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "integrals",
     Tex: "\\iiint",
     mirror: true,
+    displayMirror: false,
     Label: "\u222D",
     title: "\u062A\u0643\u0627\u0645\u0644 \u062B\u0644\u0627\u062B\u064A",
     svg_path: null
@@ -1584,6 +1739,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "integrals",
     Tex: "\\iiiint",
     mirror: true,
+    displayMirror: false,
     Label: "\u2A0C",
     title: "\u062A\u0643\u0627\u0645\u0644 \u0631\u0628\u0627\u0639\u064A",
     svg_path: null
@@ -1593,6 +1749,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "integrals",
     Tex: "\\oint",
     mirror: true,
+    displayMirror: false,
     Label: "\u222E",
     title: "\u062A\u0643\u0627\u0645\u0644 \u0645\u063A\u0644\u0642",
     svg_path: null
@@ -1602,6 +1759,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "integrals",
     Tex: "\\oiint",
     mirror: true,
+    displayMirror: false,
     Label: "\u222F",
     title: "\u062A\u0643\u0627\u0645\u0644 \u0633\u0637\u062D\u064A \u0645\u063A\u0644\u0642",
     svg_path: null
@@ -1611,6 +1769,7 @@ var ATOMIC_OPERATOR_COMMANDS = {
     category: "integrals",
     Tex: "\\oiiint",
     mirror: true,
+    displayMirror: false,
     Label: "\u2230",
     title: "\u062A\u0643\u0627\u0645\u0644 \u062D\u062C\u0645\u064A \u0645\u063A\u0644\u0642",
     svg_path: null
@@ -1704,6 +1863,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, "\\$&");
 }
@@ -1734,6 +1901,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);
   }
@@ -1932,6 +2112,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 {
@@ -2319,6 +2602,12 @@ ${FRAC_CSS}
 
 ${SQRT_CSS}
 
+${OVERSET_CSS}
+
+${UNDERSET_CSS}
+
+${ACCENT_CSS}
+
 ${MATRIX_ENV_CSS}
 
 ${ATOMIC_COMMAND_CSS}
@@ -2392,6 +2681,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") {
@@ -2430,6 +2734,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) {