@drghaliasri/butex 3.2.2 → 4.0.1

package/dist/index.global.js

@@ -1210,6 +1210,321 @@ mjx-container[jax="SVG"] svg .butex-preview-mirror {
     return wrap;
   }
 
+  // src/editor/uiLocale.ts
+  var ENGLISH_COMMAND_TITLES = {
+    cos: "Cosine",
+    sin: "Sine",
+    tan: "Tangent",
+    cot: "Cotangent",
+    sec: "Secant",
+    csc: "Cosecant",
+    arccos: "Inverse cosine",
+    arcsin: "Inverse sine",
+    arctan: "Inverse tangent",
+    arccot: "Inverse cotangent",
+    arcsec: "Inverse secant",
+    arccsc: "Inverse cosecant",
+    cosh: "Hyperbolic cosine",
+    sinh: "Hyperbolic sine",
+    tanh: "Hyperbolic tangent",
+    coth: "Hyperbolic cotangent",
+    sum: "Sum",
+    prod: "Product",
+    lim: "Limit",
+    max: "Maximum",
+    min: "Minimum",
+    sup: "Supremum",
+    inf: "Infimum",
+    pi: "Pi",
+    exp: "Exponential",
+    ln: "Natural logarithm",
+    log: "Logarithm",
+    det: "Determinant",
+    N: "Natural numbers",
+    Z: "Integers",
+    Q: "Rational numbers",
+    R: "Real numbers",
+    C: "Complex numbers",
+    H: "Quaternions",
+    negThinSpace: "Negative thin space",
+    mediumSpace: "Medium space",
+    thickSpace: "Thick space",
+    quadSpace: "Large space",
+    qquadSpace: "Extra-large space"
+  };
+  var ENGLISH_OPERATOR_TITLES = {
+    inf: "Infinity",
+    times: "Multiplication",
+    div: "Division",
+    pm: "Plus or minus",
+    mp: "Minus or plus",
+    neq: "Not equal",
+    approx: "Approximately equal",
+    sim: "Similar",
+    mid: "Divides",
+    leq: "Less than or equal",
+    geq: "Greater than or equal",
+    coloneqq: "Defined as equal to",
+    eqqcolon: "Equal by definition",
+    propto: "Proportional to",
+    in: "Element of",
+    notin: "Not an element of",
+    subset: "Subset of",
+    supset: "Superset of",
+    subseteq: "Subset of or equal",
+    supseteq: "Superset of or equal",
+    cap: "Intersection",
+    cup: "Union",
+    emptyset: "Empty set",
+    nsubseteq: "Not a subset of or equal",
+    nsupseteq: "Not a superset of or equal",
+    ldots: "Horizontal dots",
+    cdot: "Multiplication dot",
+    cdots: "Centered horizontal dots",
+    vdots: "Vertical dots",
+    ddots: "Diagonal dots",
+    leftrightarrowDouble: "Equivalent",
+    implies: "Implies",
+    impliedby: "Implied by",
+    iff: "If and only if",
+    Longrightarrow: "Long double arrow right",
+    Longleftarrow: "Long double arrow left",
+    to: "Maps to",
+    rightleftharpoons: "Equilibrium",
+    leftarrow: "Left arrow",
+    rightarrow: "Right arrow",
+    leftarrowDouble: "Double left arrow",
+    rightarrowDouble: "Double right arrow",
+    leftharpoonup: "Upper left harpoon",
+    rightharpoonup: "Upper right harpoon",
+    leftharpoondown: "Lower left harpoon",
+    rightharpoondown: "Lower right harpoon",
+    int: "Integral",
+    iint: "Double integral",
+    iiint: "Triple integral",
+    iiiint: "Quadruple integral",
+    oint: "Contour integral",
+    oiint: "Closed surface integral",
+    oiiint: "Closed volume integral"
+  };
+  var EQUATION_EDITOR_MESSAGES = {
+    ar: {
+      undoRedo: "\u062A\u0631\u0627\u062C\u0639 \u0648\u0625\u0639\u0627\u062F\u0629",
+      undo: "\u062A\u0631\u0627\u062C\u0639",
+      redo: "\u0625\u0639\u0627\u062F\u0629",
+      clipboard: "\u0627\u0644\u062D\u0627\u0641\u0638\u0629",
+      copy: "\u0646\u0633\u062E",
+      cut: "\u0642\u0635",
+      paste: "\u0644\u0635\u0642",
+      editorSettings: "\u0625\u0639\u062F\u0627\u062F\u0627\u062A \u0627\u0644\u0645\u062D\u0631\u0631",
+      toggleSide: "\u062A\u0628\u062F\u064A\u0644 \u0639\u0631\u0628\u064A / \u0625\u0646\u062C\u0644\u064A\u0632\u064A",
+      structures: "\u0627\u0644\u0628\u0646\u0649",
+      insertDelimiters: "\u0625\u062F\u0631\u0627\u062C \u0645\u062D\u062F\u062F\u0627\u062A",
+      insertParentheses: "\u0625\u062F\u0631\u0627\u062C \u0642\u0648\u0633\u064A\u0646",
+      insertBrackets: "\u0625\u062F\u0631\u0627\u062C \u0645\u0639\u0642\u0648\u0641\u064A\u0646",
+      insertBraces: "\u0625\u062F\u0631\u0627\u062C \u062D\u0627\u0635\u0631\u062A\u064A\u0646",
+      insertFraction: "\u0625\u062F\u0631\u0627\u062C \u0643\u0633\u0631",
+      insertRoot: "\u0625\u062F\u0631\u0627\u062C \u062C\u0630\u0631",
+      environments: "\u0627\u0644\u0628\u064A\u0626\u0627\u062A",
+      insertEnvironment: "\u0625\u062F\u0631\u0627\u062C \u0628\u064A\u0626\u0629 \u0634\u0628\u0643\u064A\u0629",
+      environmentType: "\u0646\u0648\u0639 \u0627\u0644\u0628\u064A\u0626\u0629",
+      matrix: "\u0645\u0635\u0641\u0648\u0641\u0629",
+      array: "\u062C\u062F\u0648\u0644",
+      aligned: "\u0645\u062D\u0627\u0630\u0627\u0629",
+      matrixType: "\u0646\u0648\u0639 \u0627\u0644\u0645\u0635\u0641\u0648\u0641\u0629",
+      chooseEnvironmentSize: "\u0627\u062E\u062A\u064A\u0627\u0631 \u062D\u062C\u0645 \u0627\u0644\u0628\u064A\u0626\u0629",
+      rows: "\u0635\u0641\u0648\u0641",
+      columns: "\u0623\u0639\u0645\u062F\u0629",
+      row: "\u0635\u0641",
+      column: "\u0639\u0645\u0648\u062F",
+      insert: "\u0625\u062F\u0631\u0627\u062C",
+      editSelectedEnvironment: "\u062A\u0639\u062F\u064A\u0644 \u0627\u0644\u0628\u064A\u0626\u0629 \u0627\u0644\u0645\u062D\u062F\u062F\u0629",
+      applySelectedMatrixStyle: "\u062A\u0637\u0628\u064A\u0642 \u0627\u0644\u0646\u0645\u0637 \u0639\u0644\u0649 \u0627\u0644\u0645\u0635\u0641\u0648\u0641\u0629 \u0627\u0644\u0645\u062D\u062F\u062F\u0629",
+      applyStyle: "\u062A\u0637\u0628\u064A\u0642 \u0627\u0644\u0646\u0645\u0637",
+      addRow: "\u0625\u0636\u0627\u0641\u0629 \u0635\u0641",
+      removeRow: "\u062D\u0630\u0641 \u0635\u0641",
+      addColumn: "\u0625\u0636\u0627\u0641\u0629 \u0639\u0645\u0648\u062F",
+      removeColumn: "\u062D\u0630\u0641 \u0639\u0645\u0648\u062F",
+      spaces: "\u0627\u0644\u0641\u0631\u0627\u063A\u0627\u062A",
+      insertSpace: "\u0625\u062F\u0631\u0627\u062C \u0641\u0631\u0627\u063A",
+      functions: "\u0627\u0644\u062F\u0648\u0627\u0644",
+      insertFunction: "\u0625\u062F\u0631\u0627\u062C \u062F\u0627\u0644\u0629",
+      insertLimitsSeries: "\u0625\u062F\u0631\u0627\u062C \u062D\u062F\u0648\u062F \u0648\u0645\u062A\u0633\u0644\u0633\u0644\u0627\u062A",
+      insertAdditionalFunctions: "\u0625\u062F\u0631\u0627\u062C \u062F\u0648\u0627\u0644 \u0625\u0636\u0627\u0641\u064A\u0629",
+      insertNumberSets: "\u0625\u062F\u0631\u0627\u062C \u0645\u062C\u0645\u0648\u0639\u0627\u062A \u0623\u0639\u062F\u0627\u062F",
+      operations: "\u0627\u0644\u0639\u0645\u0644\u064A\u0627\u062A",
+      insertOperation: "\u0625\u062F\u0631\u0627\u062C \u0631\u0645\u0632 \u0639\u0645\u0644\u064A\u0629",
+      insertRelationsSets: "\u0625\u062F\u0631\u0627\u062C \u0631\u0645\u0648\u0632 \u0639\u0644\u0627\u0642\u0627\u062A \u0648\u0645\u062C\u0645\u0648\u0639\u0627\u062A",
+      insertArrows: "\u0625\u062F\u0631\u0627\u062C \u0623\u0633\u0647\u0645",
+      insertDots: "\u0625\u062F\u0631\u0627\u062C \u0646\u0642\u0627\u0637",
+      insertIntegrals: "\u0625\u062F\u0631\u0627\u062C \u062A\u0643\u0627\u0645\u0644\u0627\u062A",
+      scripts: "\u0627\u0644\u0623\u0633 \u0648\u0627\u0644\u0633\u0641\u0644\u064A",
+      addSuperscript: "\u0625\u0636\u0627\u0641\u0629 \u0623\u0633",
+      addSubscript: "\u0625\u0636\u0627\u0641\u0629 \u0633\u0641\u0644\u064A",
+      removeSuperscript: "\u0625\u0632\u0627\u0644\u0629 \u0627\u0644\u0623\u0633",
+      removeSubscript: "\u0625\u0632\u0627\u0644\u0629 \u0627\u0644\u0633\u0641\u0644\u064A",
+      inputStyles: "\u0623\u0646\u0645\u0627\u0637 \u0627\u0644\u0625\u062F\u062E\u0627\u0644",
+      deleteSelectedStructure: "\u062D\u0630\u0641 \u0627\u0644\u0628\u0646\u064A\u0629 \u0627\u0644\u0645\u062D\u062F\u062F\u0629",
+      toggleLetterMerging: "\u062A\u0628\u062F\u064A\u0644 \u062F\u0645\u062C \u0627\u0644\u062D\u0631\u0648\u0641",
+      disableLetterMerging: "\u062A\u0639\u0637\u064A\u0644 \u062F\u0645\u062C \u0627\u0644\u062D\u0631\u0648\u0641",
+      enableLetterMerging: "\u062A\u0641\u0639\u064A\u0644 \u062F\u0645\u062C \u0627\u0644\u062D\u0631\u0648\u0641",
+      chooseWritingFont: "\u0627\u062E\u062A\u064A\u0627\u0631 \u062E\u0637 \u0627\u0644\u0643\u062A\u0627\u0628\u0629",
+      chooseDigitForm: "\u0627\u062E\u062A\u064A\u0627\u0631 \u0634\u0643\u0644 \u0627\u0644\u0623\u0631\u0642\u0627\u0645",
+      defaultFont: "\u0627\u0644\u062E\u0637 \u0627\u0644\u0627\u0641\u062A\u0631\u0627\u0636\u064A",
+      takweenFont: "\u062E\u0637 \u062A\u0643\u0648\u064A\u0646",
+      diwaniFont: "\u062E\u0637 \u062F\u064A\u0648\u0627\u0646\u064A",
+      diwaniOutlineFont: "\u062E\u0637 \u062F\u064A\u0648\u0627\u0646\u064A \u0645\u0638\u0644\u0644",
+      writeDefaultFont: "\u0627\u0644\u0643\u062A\u0627\u0628\u0629 \u0628\u0627\u0644\u062E\u0637 \u0627\u0644\u0627\u0641\u062A\u0631\u0627\u0636\u064A",
+      writeTakweenFont: "\u0627\u0644\u0643\u062A\u0627\u0628\u0629 \u0628\u062E\u0637 \u062A\u0643\u0648\u064A\u0646",
+      westernDigits: "\u0623\u0631\u0642\u0627\u0645 \u063A\u0631\u0628\u064A\u0629",
+      arabicIndicDigits: "\u0623\u0631\u0642\u0627\u0645 \u0639\u0631\u0628\u064A\u0629 \u0647\u0646\u062F\u064A\u0629",
+      persianIndicDigits: "\u0623\u0631\u0642\u0627\u0645 \u0641\u0627\u0631\u0633\u064A\u0629 \u0647\u0646\u062F\u064A\u0629",
+      equationEditor: "\u0645\u062D\u0631\u0631 \u0627\u0644\u0645\u0639\u0627\u062F\u0644\u0627\u062A",
+      renderPreview: "\u0645\u0639\u0627\u064A\u0646\u0629 \u0627\u0644\u0631\u0633\u0645",
+      development: "\u062A\u0637\u0648\u064A\u0631",
+      showDebugLog: "\u0625\u0638\u0647\u0627\u0631 \u0633\u062C\u0644 \u0627\u0644\u062A\u0635\u062D\u064A\u062D",
+      hideDebugLog: "\u0625\u062E\u0641\u0627\u0621 \u0633\u062C\u0644 \u0627\u0644\u062A\u0635\u062D\u064A\u062D",
+      copyDebugLog: "\u0646\u0633\u062E \u0633\u062C\u0644 \u0627\u0644\u062A\u0635\u062D\u064A\u062D",
+      empty: "\u0641\u0627\u0631\u063A",
+      englishLatex: "LaTeX \u0625\u0646\u062C\u0644\u064A\u0632\u064A",
+      arabicLatex: "LaTeX \u0639\u0631\u0628\u064A",
+      inactiveEnglish: "\u0627\u0644\u0633\u0644\u0633\u0644\u0629 \u063A\u064A\u0631 \u0627\u0644\u0646\u0634\u0637\u0629 (\u0625\u0646\u062C\u0644\u064A\u0632\u064A)",
+      inactiveArabic: "\u0627\u0644\u0633\u0644\u0633\u0644\u0629 \u063A\u064A\u0631 \u0627\u0644\u0646\u0634\u0637\u0629 (\u0639\u0631\u0628\u064A)",
+      mathJaxError: "\u062E\u0637\u0623 MathJax",
+      previewError: "\u062E\u0637\u0623 \u0641\u064A \u0627\u0644\u0645\u0639\u0627\u064A\u0646\u0629",
+      activeSide: "\u0627\u0644\u062C\u0627\u0646\u0628 \u0627\u0644\u0646\u0634\u0637",
+      syncState: "\u062D\u0627\u0644\u0629 \u0627\u0644\u0645\u0632\u0627\u0645\u0646\u0629",
+      arabicSide: "\u0627\u0644\u0639\u0631\u0628\u064A\u0629",
+      englishSide: "\u0627\u0644\u0625\u0646\u062C\u0644\u064A\u0632\u064A\u0629",
+      synced: "\u0645\u062A\u0632\u0627\u0645\u0646",
+      differentItems: "\u0639\u0646\u0627\u0635\u0631 \u0645\u062E\u062A\u0644\u0641\u0629",
+      alignLeft: "\u064A\u0633\u0627\u0631",
+      alignCenter: "\u0648\u0633\u0637",
+      alignRight: "\u064A\u0645\u064A\u0646",
+      alignColumnLeft: "\u0645\u062D\u0627\u0630\u0627\u0629 \u0627\u0644\u0639\u0645\u0648\u062F \u0625\u0644\u0649 \u0627\u0644\u064A\u0633\u0627\u0631",
+      alignColumnCenter: "\u0645\u062D\u0627\u0630\u0627\u0629 \u0627\u0644\u0639\u0645\u0648\u062F \u0641\u064A \u0627\u0644\u0648\u0633\u0637",
+      alignColumnRight: "\u0645\u062D\u0627\u0630\u0627\u0629 \u0627\u0644\u0639\u0645\u0648\u062F \u0625\u0644\u0649 \u0627\u0644\u064A\u0645\u064A\u0646",
+      matrixNoDelimiters: "\u0645\u0635\u0641\u0648\u0641\u0629 \u0628\u0644\u0627 \u0623\u0642\u0648\u0627\u0633",
+      matrixParentheses: "\u0645\u0635\u0641\u0648\u0641\u0629 \u0628\u064A\u0646 \u0642\u0648\u0633\u064A\u0646",
+      matrixBrackets: "\u0645\u0635\u0641\u0648\u0641\u0629 \u0628\u064A\u0646 \u0645\u0639\u0642\u0648\u0641\u064A\u0646",
+      matrixBraces: "\u0645\u0635\u0641\u0648\u0641\u0629 \u0628\u064A\u0646 \u062D\u0627\u0635\u0631\u062A\u064A\u0646",
+      matrixBars: "\u0645\u0635\u0641\u0648\u0641\u0629 \u0628\u064A\u0646 \u062E\u0637\u064A\u0646",
+      matrixDoubleBars: "\u0645\u0635\u0641\u0648\u0641\u0629 \u0628\u064A\u0646 \u062E\u0637\u064A\u0646 \u0645\u0632\u062F\u0648\u062C\u064A\u0646"
+    },
+    en: {
+      undoRedo: "Undo and redo",
+      undo: "Undo",
+      redo: "Redo",
+      clipboard: "Clipboard",
+      copy: "Copy",
+      cut: "Cut",
+      paste: "Paste",
+      editorSettings: "Editor settings",
+      toggleSide: "Switch Arabic / English equation side",
+      structures: "Structures",
+      insertDelimiters: "Insert delimiters",
+      insertParentheses: "Insert parentheses",
+      insertBrackets: "Insert brackets",
+      insertBraces: "Insert braces",
+      insertFraction: "Insert fraction",
+      insertRoot: "Insert root",
+      environments: "Environments",
+      insertEnvironment: "Insert grid environment",
+      environmentType: "Environment type",
+      matrix: "Matrix",
+      array: "Array",
+      aligned: "Aligned",
+      matrixType: "Matrix type",
+      chooseEnvironmentSize: "Choose environment size",
+      rows: "Rows",
+      columns: "Columns",
+      row: "Row",
+      column: "Column",
+      insert: "Insert",
+      editSelectedEnvironment: "Edit selected environment",
+      applySelectedMatrixStyle: "Apply style to selected matrix",
+      applyStyle: "Apply style",
+      addRow: "Add row",
+      removeRow: "Remove row",
+      addColumn: "Add column",
+      removeColumn: "Remove column",
+      spaces: "Spacing",
+      insertSpace: "Insert space",
+      functions: "Functions",
+      insertFunction: "Insert function",
+      insertLimitsSeries: "Insert limits and series",
+      insertAdditionalFunctions: "Insert additional functions",
+      insertNumberSets: "Insert number sets",
+      operations: "Operators",
+      insertOperation: "Insert operator",
+      insertRelationsSets: "Insert relation or set symbol",
+      insertArrows: "Insert arrow",
+      insertDots: "Insert dots",
+      insertIntegrals: "Insert integral",
+      scripts: "Superscript and subscript",
+      addSuperscript: "Add superscript",
+      addSubscript: "Add subscript",
+      removeSuperscript: "Remove superscript",
+      removeSubscript: "Remove subscript",
+      inputStyles: "Input styles",
+      deleteSelectedStructure: "Delete selected structure",
+      toggleLetterMerging: "Toggle letter merging",
+      disableLetterMerging: "Disable letter merging",
+      enableLetterMerging: "Enable letter merging",
+      chooseWritingFont: "Choose writing font",
+      chooseDigitForm: "Choose digit form",
+      defaultFont: "Default font",
+      takweenFont: "Takween font",
+      diwaniFont: "Diwani font",
+      diwaniOutlineFont: "Outlined Diwani font",
+      writeDefaultFont: "Write with the default font",
+      writeTakweenFont: "Write with Takween font",
+      westernDigits: "Western digits",
+      arabicIndicDigits: "Arabic-Indic digits",
+      persianIndicDigits: "Persian digits",
+      equationEditor: "Equation editor",
+      renderPreview: "Rendered preview",
+      development: "Development",
+      showDebugLog: "Show debug log",
+      hideDebugLog: "Hide debug log",
+      copyDebugLog: "Copy debug log",
+      empty: "Empty",
+      englishLatex: "English LaTeX",
+      arabicLatex: "Arabic LaTeX",
+      inactiveEnglish: "Inactive chain (English)",
+      inactiveArabic: "Inactive chain (Arabic)",
+      mathJaxError: "MathJax error",
+      previewError: "Preview error",
+      activeSide: "Active side",
+      syncState: "Sync state",
+      arabicSide: "Arabic",
+      englishSide: "English",
+      synced: "Synced",
+      differentItems: "different items",
+      alignLeft: "Left",
+      alignCenter: "Center",
+      alignRight: "Right",
+      alignColumnLeft: "Align column left",
+      alignColumnCenter: "Align column center",
+      alignColumnRight: "Align column right",
+      matrixNoDelimiters: "Matrix without delimiters",
+      matrixParentheses: "Matrix in parentheses",
+      matrixBrackets: "Matrix in brackets",
+      matrixBraces: "Matrix in braces",
+      matrixBars: "Matrix between bars",
+      matrixDoubleBars: "Matrix between double bars"
+    }
+  };
+  function equationEditorMessages(locale) {
+    return EQUATION_EDITOR_MESSAGES[locale];
+  }
+  function atomicCommandTitle(spec, locale) {
+    return locale === "en" ? ENGLISH_COMMAND_TITLES[spec.id] ?? spec.title : spec.title;
+  }
+  function atomicOperatorCommandTitle(spec, locale) {
+    return locale === "en" ? ENGLISH_OPERATOR_TITLES[spec.id] ?? spec.title : spec.title;
+  }
+
   // src/editor/display/atomicCommand.ts
   var ATOMIC_COMMAND_CSS = `
 /* Shared atomic-command display */
@@ -1283,8 +1598,8 @@ mjx-container[jax="SVG"] svg .butex-preview-mirror {
     }
     return side === "arabic" ? "\u2192" : "\u2190";
   }
-  function spacingTooltipForSide(spec, side) {
-    return `${spec.title} ${spacingArrowForSide(spec, side).repeat(spec.spacing.level)}`;
+  function spacingTooltipForSide(spec, side, uiLocale = "ar") {
+    return `${atomicCommandTitle(spec, uiLocale)} ${spacingArrowForSide(spec, side).repeat(spec.spacing.level)}`;
   }
   function buildFunctionAtomicCommandBody(node, side, spec) {
     const value = document.createElement("span");
@@ -1308,19 +1623,19 @@ mjx-container[jax="SVG"] svg .butex-preview-mirror {
     value.textContent = side === "arabic" ? spec?.arabicLabel ?? node.expr : spec?.englishTex.replace("\\", "") ?? node.expr;
     return value;
   }
-  function buildSpacingAtomicCommandBody(spec, side) {
+  function buildSpacingAtomicCommandBody(spec, side, uiLocale) {
     const value = document.createElement("span");
     value.className = `atomic-spacing atomic-spacing--${spec.spacing.direction} atomic-spacing--level-${String(spec.spacing.level)}`;
-    value.title = spacingTooltipForSide(spec, side);
+    value.title = spacingTooltipForSide(spec, side, uiLocale);
     const marker = document.createElement("span");
     marker.className = "atomic-spacing__marker";
     value.appendChild(marker);
     return value;
   }
-  function buildAtomicCommandNodeBody(node, side) {
+  function buildAtomicCommandNodeBody(node, side, uiLocale = "ar") {
     const spec = atomicCommandSpec(node.expr);
     if (isSpacingCommandSpec(spec)) {
-      return buildSpacingAtomicCommandBody(spec, side);
+      return buildSpacingAtomicCommandBody(spec, side, uiLocale);
     }
     return buildFunctionAtomicCommandBody(node, side, spec);
   }
@@ -1426,6 +1741,24 @@ mjx-container[jax="SVG"] svg .butex-preview-mirror {
       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",
@@ -1592,6 +1925,60 @@ mjx-container[jax="SVG"] svg .butex-preview-mirror {
       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",
@@ -1835,11 +2222,11 @@ mjx-container[jax="SVG"] svg .butex-preview-mirror {
     value.textContent = spec.Label;
     return value;
   }
-  function buildAtomicOperatorCommandNodeBody(node, side) {
+  function buildAtomicOperatorCommandNodeBody(node, side, uiLocale = "ar") {
     const spec = atomicOperatorCommandSpec(node.expr);
     const value = document.createElement("span");
     value.className = "atomic-operator-command";
-    value.title = spec?.title ?? node.expr;
+    value.title = spec ? atomicOperatorCommandTitle(spec, uiLocale) : node.expr;
     if (side === "arabic" && shouldMirrorOperatorDisplay(spec)) {
       value.classList.add("atomic-operator-command--mirrored");
     }
@@ -4166,12 +4553,13 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
     appendDebug(session, "createStarterSession", "initialized");
     return session;
   }
-  function syncStateSummary(session) {
+  function syncStateSummary(session, uiLocale = "ar") {
+    const messages = equationEditorMessages(uiLocale);
     const diverged = Object.values(session.sync).filter((entry) => entry.expr === "diverged").length;
     if (diverged === 0) {
-      return "\u0645\u062A\u0632\u0627\u0645\u0646";
+      return messages.synced;
     }
-    return `\u064A\u0648\u062C\u062F ${String(diverged)} \u0639\u0646\u0627\u0635\u0631 \u0645\u062E\u062A\u0644\u0641\u0629`;
+    return uiLocale === "ar" ? `\u064A\u0648\u062C\u062F ${String(diverged)} ${messages.differentItems}` : `${String(diverged)} ${messages.differentItems}`;
   }
   function setRenderError(session, message) {
     const next = cloneEditorSession(session);
@@ -4186,8 +4574,9 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
     };
     return next;
   }
-  function activeSideLabel(side) {
-    return side === "arabic" ? "\u0627\u0644\u0639\u0631\u0628\u064A\u0629" : "\u0627\u0644\u0625\u0646\u062C\u0644\u064A\u0632\u064A\u0629";
+  function activeSideLabel(side, uiLocale = "ar") {
+    const messages = equationEditorMessages(uiLocale);
+    return side === "arabic" ? messages.arabicSide : messages.englishSide;
   }
   var PASTE_OPERATORS = /* @__PURE__ */ new Set(["+", "-", "*", "/", "=", "<", ">", "."]);
   function copySelection(session) {
@@ -4317,7 +4706,7 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
   }
 
   // src/editor/display/index.ts
-  function buildNodeBody(node, buildChain, side, digitForm = "western") {
+  function buildNodeBody(node, buildChain, side, digitForm = "western", uiLocale = "ar") {
     if (node.kind === "delimiter") {
       return buildDelimiterNodeBody(node, buildChain);
     }
@@ -4331,10 +4720,10 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
       return buildMatrixEnvNodeBody(node, buildChain, side);
     }
     if (node.kind === "atomicCommand") {
-      return buildAtomicCommandNodeBody(node, side);
+      return buildAtomicCommandNodeBody(node, side, uiLocale);
     }
     if (node.kind === "atomicOperatorCommand") {
-      return buildAtomicOperatorCommandNodeBody(node, side);
+      return buildAtomicOperatorCommandNodeBody(node, side, uiLocale);
     }
     return buildBaseNodeBody(node, digitForm);
   }
@@ -4345,6 +4734,10 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
     const buttonElements = options.buttonElements ?? {};
     const outsidePointerIgnoreSelectors = options.outsidePointerIgnoreSelectors ?? [];
     let session = options.initialSession ?? createStarterSession();
+    let uiLocale = options.uiLocale ?? "ar";
+    if (options.defaultSide) {
+      session = { ...session, activeSide: options.defaultSide };
+    }
     const undoRedo = createUndoRedoStacks();
     let lastInternalFragment = null;
     let initialKeyboardFocusPending = true;
@@ -4376,14 +4769,15 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
       return index >= start && index < end;
     }
     function refreshUndoRedoButtons() {
+      const messages = equationEditorMessages(uiLocale);
       if (buttonElements.undoBtn) {
         buttonElements.undoBtn.disabled = !undoRedoCanUndo(undoRedo);
         const arabicEquation = session.activeSide === "arabic";
         const undoArrow = arabicEquation ? "\u21B7" : "\u21B6";
         const vs = "\uFE0E";
         buttonElements.undoBtn.textContent = `${undoArrow}${vs}`;
-        buttonElements.undoBtn.title = "\u062A\u0631\u0627\u062C\u0639";
-        buttonElements.undoBtn.setAttribute("aria-label", "\u062A\u0631\u0627\u062C\u0639");
+        buttonElements.undoBtn.title = messages.undo;
+        buttonElements.undoBtn.setAttribute("aria-label", messages.undo);
       }
       if (buttonElements.redoBtn) {
         buttonElements.redoBtn.disabled = !undoRedoCanRedo(undoRedo);
@@ -4391,8 +4785,8 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
         const redoArrow = arabicEquation ? "\u21B6" : "\u21B7";
         const vs = "\uFE0E";
         buttonElements.redoBtn.textContent = `${redoArrow}${vs}`;
-        buttonElements.redoBtn.title = "\u0625\u0639\u0627\u062F\u0629";
-        buttonElements.redoBtn.setAttribute("aria-label", "\u0625\u0639\u0627\u062F\u0629");
+        buttonElements.redoBtn.title = messages.redo;
+        buttonElements.redoBtn.setAttribute("aria-label", messages.redo);
       }
     }
     function refreshClipboardButtons() {
@@ -4411,9 +4805,10 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
         return;
       }
       const mergeOn = !session.splitLeafTyping;
+      const messages = equationEditorMessages(uiLocale);
       buttonElements.splitTypingBtn.textContent = mergeOn ? "\u0633\u0635\u0639" : "\u0633 \u0635 \u0639";
-      buttonElements.splitTypingBtn.title = mergeOn ? "\u062A\u0639\u0637\u064A\u0644 \u062F\u0645\u062C \u0627\u0644\u062D\u0631\u0648\u0641" : "\u062A\u0641\u0639\u064A\u0644 \u062F\u0645\u062C \u0627\u0644\u062D\u0631\u0648\u0641";
-      buttonElements.splitTypingBtn.setAttribute("aria-label", mergeOn ? "\u062A\u0639\u0637\u064A\u0644 \u062F\u0645\u062C \u0627\u0644\u062D\u0631\u0648\u0641" : "\u062A\u0641\u0639\u064A\u0644 \u062F\u0645\u062C \u0627\u0644\u062D\u0631\u0648\u0641");
+      buttonElements.splitTypingBtn.title = mergeOn ? messages.disableLetterMerging : messages.enableLetterMerging;
+      buttonElements.splitTypingBtn.setAttribute("aria-label", mergeOn ? messages.disableLetterMerging : messages.enableLetterMerging);
       buttonElements.splitTypingBtn.setAttribute("aria-pressed", mergeOn ? "true" : "false");
       buttonElements.splitTypingBtn.classList.toggle("accent", mergeOn);
     }
@@ -4422,9 +4817,10 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
         return;
       }
       const takweenOn = (session.currentCharacterFont ?? "default") === "takween";
+      const messages = equationEditorMessages(uiLocale);
       buttonElements.characterFontBtn.textContent = "\u062A\u0643";
-      buttonElements.characterFontBtn.title = takweenOn ? "\u0627\u0644\u0643\u062A\u0627\u0628\u0629 \u0628\u0627\u0644\u062E\u0637 \u0627\u0644\u0627\u0641\u062A\u0631\u0627\u0636\u064A" : "\u0627\u0644\u0643\u062A\u0627\u0628\u0629 \u0628\u062E\u0637 \u062A\u0643\u0648\u064A\u0646";
-      buttonElements.characterFontBtn.setAttribute("aria-label", takweenOn ? "\u0627\u0644\u0643\u062A\u0627\u0628\u0629 \u0628\u0627\u0644\u062E\u0637 \u0627\u0644\u0627\u0641\u062A\u0631\u0627\u0636\u064A" : "\u0627\u0644\u0643\u062A\u0627\u0628\u0629 \u0628\u062E\u0637 \u062A\u0643\u0648\u064A\u0646");
+      buttonElements.characterFontBtn.title = takweenOn ? messages.writeDefaultFont : messages.writeTakweenFont;
+      buttonElements.characterFontBtn.setAttribute("aria-label", takweenOn ? messages.writeDefaultFont : messages.writeTakweenFont);
       buttonElements.characterFontBtn.setAttribute("aria-pressed", takweenOn ? "true" : "false");
       buttonElements.characterFontBtn.classList.toggle("accent", takweenOn);
     }
@@ -4435,8 +4831,9 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
       const digitForm = session.currentDigitForm ?? "western";
       const label = digitForm === "arabicIndic" ? "\u0664\u0665\u0666" : digitForm === "persianIndic" ? "\u06F4\u06F5\u06F6" : "456";
       buttonElements.digitFormBtn.textContent = label;
-      buttonElements.digitFormBtn.title = "\u0627\u062E\u062A\u064A\u0627\u0631 \u0634\u0643\u0644 \u0627\u0644\u0623\u0631\u0642\u0627\u0645";
-      buttonElements.digitFormBtn.setAttribute("aria-label", "\u0627\u062E\u062A\u064A\u0627\u0631 \u0634\u0643\u0644 \u0627\u0644\u0623\u0631\u0642\u0627\u0645");
+      const messages = equationEditorMessages(uiLocale);
+      buttonElements.digitFormBtn.title = messages.chooseDigitForm;
+      buttonElements.digitFormBtn.setAttribute("aria-label", messages.chooseDigitForm);
       buttonElements.digitFormBtn.dataset.digitForm = digitForm;
     }
     function applyStructural(updater) {
@@ -4638,7 +5035,7 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
       const atomicSpec = node.kind === "atomicCommand" ? atomicCommandSpec(node.expr) : null;
       if (isSpacingCommandSpec(atomicSpec)) {
         nodeEl.classList.add("node--atomic-spacing");
-        nodeEl.title = spacingTooltipForSide(atomicSpec, session.activeSide);
+        nodeEl.title = spacingTooltipForSide(atomicSpec, session.activeSide, uiLocale);
       }
       if (session.selectedNodeId === node.id || session.selectedStructureNodeId === node.id) {
         nodeEl.classList.add("selected");
@@ -4668,7 +5065,7 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
       });
       const body = document.createElement("span");
       body.className = "node-body";
-      body.appendChild(buildNodeBody(node, buildChain, session.activeSide, session.currentDigitForm ?? "western"));
+      body.appendChild(buildNodeBody(node, buildChain, session.activeSide, session.currentDigitForm ?? "western", uiLocale));
       nodeEl.appendChild(body);
       const scripts = buildNodeScripts(node, buildChain);
       if (scripts) {
@@ -4949,6 +5346,13 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
         session = next;
         render();
       },
+      setUiLocale: (locale) => {
+        if (uiLocale === locale) {
+          return;
+        }
+        uiLocale = locale;
+        render();
+      },
       performUndo,
       performRedo,
       performCopy,
@@ -5058,10 +5462,11 @@ ${ATOMIC_OPERATOR_COMMAND_CSS}
     render();
     return api;
   }
-  function runtimeStatusText(session) {
+  function runtimeStatusText(session, uiLocale = "ar") {
+    const messages = equationEditorMessages(uiLocale);
     return {
-      activeSide: `\u0627\u0644\u062C\u0627\u0646\u0628 \u0627\u0644\u0646\u0634\u0637: ${activeSideLabel(session.activeSide)}`,
-      sync: `\u062D\u0627\u0644\u0629 \u0627\u0644\u0645\u0632\u0627\u0645\u0646\u0629: ${syncStateSummary(session)}`
+      activeSide: `${messages.activeSide}: ${activeSideLabel(session.activeSide, uiLocale)}`,
+      sync: `${messages.syncState}: ${syncStateSummary(session, uiLocale)}`
     };
   }