@drghaliasri/butex 3.2.2 → 4.0.0

package/dist/index.mjs

@@ -1168,6 +1168,321 @@ function buildMatrixEnvNodeBody(node, buildChain, side) {
   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 */
@@ -1241,8 +1556,8 @@ function spacingArrowForSide(spec, side) {
   }
   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");
@@ -1266,19 +1581,19 @@ function buildFunctionAtomicCommandBody(node, side, spec) {
   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);
 }
@@ -1384,6 +1699,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",
@@ -1550,6 +1883,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",
@@ -1793,11 +2180,11 @@ function buildOperatorLabel(spec) {
   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");
   }
@@ -4124,12 +4511,13 @@ function createStarterSession() {
   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);
@@ -4144,8 +4532,9 @@ function setRenderError(session, message) {
   };
   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) {
@@ -4275,7 +4664,7 @@ function buildNodeScripts(node, buildChain) {
 }
 
 // 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);
   }
@@ -4289,10 +4678,10 @@ function buildNodeBody(node, buildChain, side, digitForm = "western") {
     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);
 }
@@ -4303,6 +4692,10 @@ function createEditorRuntime(options) {
   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;
@@ -4334,14 +4727,15 @@ function createEditorRuntime(options) {
     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);
@@ -4349,8 +4743,8 @@ function createEditorRuntime(options) {
       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() {
@@ -4369,9 +4763,10 @@ function createEditorRuntime(options) {
       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);
   }
@@ -4380,9 +4775,10 @@ function createEditorRuntime(options) {
       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);
   }
@@ -4393,8 +4789,9 @@ function createEditorRuntime(options) {
     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) {
@@ -4596,7 +4993,7 @@ function createEditorRuntime(options) {
     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");
@@ -4626,7 +5023,7 @@ function createEditorRuntime(options) {
     });
     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) {
@@ -4907,6 +5304,13 @@ function createEditorRuntime(options) {
       session = next;
       render();
     },
+    setUiLocale: (locale) => {
+      if (uiLocale === locale) {
+        return;
+      }
+      uiLocale = locale;
+      render();
+    },
     performUndo,
     performRedo,
     performCopy,
@@ -5016,10 +5420,11 @@ function createEditorRuntime(options) {
   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)}`
   };
 }