@drghaliasri/butex 3.2.2

package/dist/react.d.ts

@@ -0,0 +1,895 @@
+import * as react from 'react';
+
+type EditorSide = 'english' | 'arabic';
+type EditorNodeKind = 'char' | 'number' | 'operator' | 'delimiter' | 'frac' | 'sqrt' | 'env' | 'atomicCommand' | 'atomicOperatorCommand';
+type MatrixEnvStyle = 'matrix' | 'pmatrix' | 'bmatrix' | 'Bmatrix' | 'vmatrix' | 'Vmatrix';
+type GridEnvName = MatrixEnvStyle | 'array' | 'aligned';
+type EnvColumnAlignment = 'l' | 'c' | 'r';
+type CharacterFontId = 'default' | 'takween' | 'diwani' | 'diwaniOutline';
+type DigitFormId = 'western' | 'arabicIndic' | 'persianIndic';
+type EditorSyncState = 'synced' | 'diverged';
+type EditorChain = {
+    id: string;
+    nodes: EditorNode[];
+};
+type EditorNode = {
+    id: string;
+    kind: EditorNodeKind;
+    expr: string;
+    characterFont?: CharacterFontId;
+    superscript: EditorChain | null;
+    subscript: EditorChain | null;
+    leftDelimExpr: string;
+    rightDelimExpr: string;
+    innerExpr: EditorChain | null;
+    numerator: EditorChain | null;
+    denominator: EditorChain | null;
+    radicand: EditorChain | null;
+    rootIndex: EditorChain | null;
+    envName: GridEnvName | null;
+    matrixStyle: MatrixEnvStyle | null;
+    matrixRows: EditorChain[][] | null;
+    columnAlignments: EnvColumnAlignment[] | null;
+};
+type EditorCaret = {
+    chainId: string;
+    index: number;
+};
+type EditorSelectionRange = {
+    chainId: string;
+    anchorIndex: number;
+    focusIndex: number;
+};
+type EditorSyncMap = Record<string, {
+    expr: EditorSyncState;
+}>;
+type EditorDebugEntry = {
+    timestamp: string;
+    command: string;
+    activeSide: EditorSide;
+    englishLatex: string;
+    arabicLatex: string;
+    renderOk: boolean;
+    renderError: string | null;
+    note: string;
+};
+type EditorSession = {
+    englishTree: EditorChain;
+    arabicTree: EditorChain;
+    activeSide: EditorSide;
+    /** When true, each typed letter/digit inserts a new char/number leaf; when false, merge into adjacent same-kind leaves. */
+    splitLeafTyping: boolean;
+    /** One-shot: when true, the next insertChar/insertNumber bypasses leaf-merge (used by Space in merge mode). */
+    forceSplitNextLeaf: boolean;
+    /** When true and active side is Arabic, merged number typing prepends digits (RTL-style); still mirrored on EN/AR. */
+    arabicReverseNumberTyping: boolean;
+    /** Font applied to newly typed char nodes. */
+    currentCharacterFont: CharacterFontId;
+    /** Digit glyph form used for editor display and LaTeX preview output. */
+    currentDigitForm: DigitFormId;
+    caret: EditorCaret;
+    /** Whole-node range selection inside a single chain (anchor==focus means no selection). */
+    selection: EditorSelectionRange | null;
+    selectedNodeId: string | null;
+    selectedStructureNodeId: string | null;
+    sync: EditorSyncMap;
+    debugLog: EditorDebugEntry[];
+};
+
+declare const ATOMIC_COMMANDS: {
+    readonly cos: {
+        readonly id: "cos";
+        readonly category: "function";
+        readonly englishTex: "\\cos";
+        readonly arabicTex: "\\arcos";
+        readonly arabicLabel: "جتا";
+        readonly title: "جيب التمام";
+    };
+    readonly sin: {
+        readonly id: "sin";
+        readonly category: "function";
+        readonly englishTex: "\\sin";
+        readonly arabicTex: "\\arsin";
+        readonly arabicLabel: "جا";
+        readonly title: "جيب";
+    };
+    readonly tan: {
+        readonly id: "tan";
+        readonly category: "function";
+        readonly englishTex: "\\tan";
+        readonly arabicTex: "\\artan";
+        readonly arabicLabel: "ظا";
+        readonly title: "ظل";
+    };
+    readonly cot: {
+        readonly id: "cot";
+        readonly category: "function";
+        readonly englishTex: "\\cot";
+        readonly arabicTex: "\\arcot";
+        readonly arabicLabel: "ظتا";
+        readonly title: "ظل تمام";
+    };
+    readonly sec: {
+        readonly id: "sec";
+        readonly category: "function";
+        readonly englishTex: "\\sec";
+        readonly arabicTex: "\\arsec";
+        readonly arabicLabel: "قا";
+        readonly title: "قاطع";
+    };
+    readonly csc: {
+        readonly id: "csc";
+        readonly category: "function";
+        readonly englishTex: "\\csc";
+        readonly arabicTex: "\\arcsc";
+        readonly arabicLabel: "قتا";
+        readonly title: "قاطع تمام";
+    };
+    readonly arccos: {
+        readonly id: "arccos";
+        readonly category: "function";
+        readonly englishTex: "\\arccos";
+        readonly arabicTex: "\\aracos";
+        readonly arabicLabel: "قجتا";
+        readonly title: "قاطع جيب التمام";
+    };
+    readonly arcsin: {
+        readonly id: "arcsin";
+        readonly category: "function";
+        readonly englishTex: "\\arcsin";
+        readonly arabicTex: "\\arasin";
+        readonly arabicLabel: "قجا";
+        readonly title: "قاطع جيب";
+    };
+    readonly arctan: {
+        readonly id: "arctan";
+        readonly category: "function";
+        readonly englishTex: "\\arctan";
+        readonly arabicTex: "\\aratan";
+        readonly arabicLabel: "قظا";
+        readonly title: "قاطع ظل";
+    };
+    readonly arccot: {
+        readonly id: "arccot";
+        readonly category: "function";
+        readonly englishTex: "\\arccot";
+        readonly arabicTex: "\\aracot";
+        readonly arabicLabel: "قظتا";
+        readonly title: "قاطع ظل التمام";
+    };
+    readonly arcsec: {
+        readonly id: "arcsec";
+        readonly category: "function";
+        readonly englishTex: "\\arcsec";
+        readonly arabicTex: "\\arasec";
+        readonly arabicLabel: "ققا";
+        readonly title: "قاطع القاطع";
+    };
+    readonly arccsc: {
+        readonly id: "arccsc";
+        readonly category: "function";
+        readonly englishTex: "\\arccsc";
+        readonly arabicTex: "\\aracsc";
+        readonly arabicLabel: "ققتا";
+        readonly title: "قاطع القاطع التمام";
+    };
+    readonly cosh: {
+        readonly id: "cosh";
+        readonly category: "function";
+        readonly englishTex: "\\cosh";
+        readonly arabicTex: "\\arcosh";
+        readonly arabicLabel: "جتزا";
+        readonly title: "جيب التمام الزائد";
+    };
+    readonly sinh: {
+        readonly id: "sinh";
+        readonly category: "function";
+        readonly englishTex: "\\sinh";
+        readonly arabicTex: "\\arsinh";
+        readonly arabicLabel: "جزا";
+        readonly title: "جيب الزائد";
+    };
+    readonly tanh: {
+        readonly id: "tanh";
+        readonly category: "function";
+        readonly englishTex: "\\tanh";
+        readonly arabicTex: "\\artanh";
+        readonly arabicLabel: "ظزا";
+        readonly title: "ظل الزائد";
+    };
+    readonly coth: {
+        readonly id: "coth";
+        readonly category: "function";
+        readonly englishTex: "\\coth";
+        readonly arabicTex: "\\arcoth";
+        readonly arabicLabel: "ظتزا";
+        readonly title: "ظل تمام الزائد";
+    };
+    readonly sum: {
+        readonly id: "sum";
+        readonly category: "limits_series";
+        readonly englishTex: "\\sum";
+        readonly arabicTex: "\\arsum";
+        readonly arabicLabel: "مجـــ";
+        readonly title: "مجموع";
+    };
+    readonly prod: {
+        readonly id: "prod";
+        readonly category: "limits_series";
+        readonly englishTex: "\\prod";
+        readonly arabicTex: "\\arprod";
+        readonly arabicLabel: "جـــد";
+        readonly title: "جداء";
+    };
+    readonly lim: {
+        readonly id: "lim";
+        readonly category: "limits_series";
+        readonly englishTex: "\\lim";
+        readonly arabicTex: "\\arlim";
+        readonly arabicLabel: "نـــــها";
+        readonly title: "حد";
+    };
+    readonly max: {
+        readonly id: "max";
+        readonly category: "limits_series";
+        readonly englishTex: "\\max";
+        readonly arabicTex: "\\armax";
+        readonly arabicLabel: "أكبر";
+        readonly title: "أكبر";
+    };
+    readonly min: {
+        readonly id: "min";
+        readonly category: "limits_series";
+        readonly englishTex: "\\min";
+        readonly arabicTex: "\\armin";
+        readonly arabicLabel: "أصغر";
+        readonly title: "أصغر";
+    };
+    readonly sup: {
+        readonly id: "sup";
+        readonly category: "limits_series";
+        readonly englishTex: "\\sup";
+        readonly arabicTex: "\\arsup";
+        readonly arabicLabel: "أعلى";
+        readonly title: "أعلى";
+    };
+    readonly inf: {
+        readonly id: "inf";
+        readonly category: "limits_series";
+        readonly englishTex: "\\inf";
+        readonly arabicTex: "\\arinf";
+        readonly arabicLabel: "أدنى";
+        readonly title: "أدنى";
+    };
+    readonly pi: {
+        readonly id: "pi";
+        readonly category: "function2";
+        readonly englishTex: "\\pi";
+        readonly arabicTex: "\\arpi";
+        readonly arabicLabel: "ط";
+        readonly title: "نسبة الدائرة";
+    };
+    readonly exp: {
+        readonly id: "exp";
+        readonly category: "function2";
+        readonly englishTex: "\\exp";
+        readonly arabicTex: "\\arexp";
+        readonly arabicLabel: "هـ";
+        readonly title: "أسية";
+    };
+    readonly ln: {
+        readonly id: "ln";
+        readonly category: "function2";
+        readonly englishTex: "\\ln";
+        readonly arabicTex: "\\arln";
+        readonly arabicRenderTex: "\\prescript{}{\\arexp}{\\arlog}";
+        readonly arabicLabel: "لو";
+        readonly title: "لوغاريتم طبيعي";
+    };
+    readonly log: {
+        readonly id: "log";
+        readonly category: "function2";
+        readonly englishTex: "\\log";
+        readonly arabicTex: "\\arlog";
+        readonly arabicLabel: "لو";
+        readonly title: "لوغاريتم";
+    };
+    readonly det: {
+        readonly id: "det";
+        readonly category: "function2";
+        readonly englishTex: "\\det";
+        readonly arabicTex: "\\ardet";
+        readonly arabicLabel: "محدد";
+        readonly title: "محدد";
+    };
+    readonly N: {
+        readonly id: "N";
+        readonly category: "groups";
+        readonly englishTex: "\\mathbb{N}";
+        readonly arabicTex: "\\arabN";
+        readonly arabicLabel: "ط";
+        readonly title: "أعداد طبيعية";
+    };
+    readonly Z: {
+        readonly id: "Z";
+        readonly category: "groups";
+        readonly englishTex: "\\mathbb{Z}";
+        readonly arabicTex: "\\arabZ";
+        readonly arabicLabel: "ص";
+        readonly title: "أعداد صحيحة";
+    };
+    readonly Q: {
+        readonly id: "Q";
+        readonly category: "groups";
+        readonly englishTex: "\\mathbb{Q}";
+        readonly arabicTex: "\\arabQ";
+        readonly arabicLabel: "ن";
+        readonly title: "أعداد نسبية";
+    };
+    readonly R: {
+        readonly id: "R";
+        readonly category: "groups";
+        readonly englishTex: "\\mathbb{R}";
+        readonly arabicTex: "\\arabR";
+        readonly arabicLabel: "ح";
+        readonly title: "أعداد حقيقية";
+    };
+    readonly C: {
+        readonly id: "C";
+        readonly category: "groups";
+        readonly englishTex: "\\mathbb{C}";
+        readonly arabicTex: "\\arabC";
+        readonly arabicLabel: "ع";
+        readonly title: "أعداد عُقدية";
+    };
+    readonly H: {
+        readonly id: "H";
+        readonly category: "groups";
+        readonly englishTex: "\\mathbb{H}";
+        readonly arabicTex: "\\arabH";
+        readonly arabicLabel: "ر";
+        readonly title: "أعداد رباعية";
+    };
+    readonly negThinSpace: {
+        readonly id: "negThinSpace";
+        readonly category: "spacing";
+        readonly englishTex: "\\!";
+        readonly arabicTex: "\\!";
+        readonly arabicLabel: "";
+        readonly title: "فراغ سالب رفيع";
+        readonly spacing: {
+            readonly direction: "negative";
+            readonly level: 1;
+        };
+    };
+    readonly mediumSpace: {
+        readonly id: "mediumSpace";
+        readonly category: "spacing";
+        readonly englishTex: "\\:";
+        readonly arabicTex: "\\:";
+        readonly arabicLabel: "";
+        readonly title: "فراغ متوسط";
+        readonly spacing: {
+            readonly direction: "positive";
+            readonly level: 1;
+        };
+    };
+    readonly thickSpace: {
+        readonly id: "thickSpace";
+        readonly category: "spacing";
+        readonly englishTex: "\\;";
+        readonly arabicTex: "\\;";
+        readonly arabicLabel: "";
+        readonly title: "فراغ عريض";
+        readonly spacing: {
+            readonly direction: "positive";
+            readonly level: 2;
+        };
+    };
+    readonly quadSpace: {
+        readonly id: "quadSpace";
+        readonly category: "spacing";
+        readonly englishTex: "\\quad";
+        readonly arabicTex: "\\quad";
+        readonly arabicLabel: "";
+        readonly title: "فراغ كبير";
+        readonly spacing: {
+            readonly direction: "positive";
+            readonly level: 3;
+        };
+    };
+    readonly qquadSpace: {
+        readonly id: "qquadSpace";
+        readonly category: "spacing";
+        readonly englishTex: "\\qquad";
+        readonly arabicTex: "\\qquad";
+        readonly arabicLabel: "";
+        readonly title: "فراغ كبير جدا";
+        readonly spacing: {
+            readonly direction: "positive";
+            readonly level: 4;
+        };
+    };
+};
+type AtomicCommandId = keyof typeof ATOMIC_COMMANDS;
+
+declare const ATOMIC_OPERATOR_COMMANDS: {
+    readonly inf: {
+        readonly id: "inf";
+        readonly category: "operators1";
+        readonly Tex: "\\infty";
+        readonly mirror: true;
+        readonly Label: "∞";
+        readonly title: "اللانهاية";
+        readonly svg_path: null;
+    };
+    readonly times: {
+        readonly id: "times";
+        readonly category: "operators1";
+        readonly Tex: "\\times";
+        readonly mirror: false;
+        readonly Label: "×";
+        readonly title: "ضرب";
+        readonly svg_path: null;
+    };
+    readonly div: {
+        readonly id: "div";
+        readonly category: "operators1";
+        readonly Tex: "\\div";
+        readonly mirror: false;
+        readonly Label: "÷";
+        readonly title: "قسمة";
+        readonly svg_path: null;
+    };
+    readonly pm: {
+        readonly id: "pm";
+        readonly category: "operators1";
+        readonly Tex: "\\pm";
+        readonly mirror: false;
+        readonly Label: "±";
+        readonly title: "زائد أو ناقص";
+        readonly svg_path: null;
+    };
+    readonly mp: {
+        readonly id: "mp";
+        readonly category: "operators1";
+        readonly Tex: "\\mp";
+        readonly mirror: false;
+        readonly Label: "∓";
+        readonly title: "ناقص أو زائد";
+        readonly svg_path: null;
+    };
+    readonly neq: {
+        readonly id: "neq";
+        readonly category: "operators1";
+        readonly Tex: "\\neq";
+        readonly mirror: false;
+        readonly Label: "≠";
+        readonly title: "لا يساوي";
+        readonly svg_path: null;
+    };
+    readonly approx: {
+        readonly id: "approx";
+        readonly category: "operators1";
+        readonly Tex: "\\approx";
+        readonly mirror: false;
+        readonly Label: "≈";
+        readonly title: "تقريبا يساوي";
+        readonly svg_path: null;
+    };
+    readonly sim: {
+        readonly id: "sim";
+        readonly category: "operators1";
+        readonly Tex: "\\sim";
+        readonly mirror: false;
+        readonly Label: "∼";
+        readonly title: "مشابه";
+        readonly svg_path: null;
+    };
+    readonly mid: {
+        readonly id: "mid";
+        readonly category: "operators1";
+        readonly Tex: "\\mid";
+        readonly mirror: false;
+        readonly Label: "∣";
+        readonly title: "يقسم";
+        readonly svg_path: null;
+    };
+    readonly leq: {
+        readonly id: "leq";
+        readonly category: "operators1";
+        readonly Tex: "\\leq";
+        readonly mirror: true;
+        readonly Label: "≤";
+        readonly title: "أصغر من أو يساوي";
+        readonly svg_path: null;
+    };
+    readonly geq: {
+        readonly id: "geq";
+        readonly category: "operators1";
+        readonly Tex: "\\geq";
+        readonly mirror: true;
+        readonly Label: "≥";
+        readonly title: "أكبر من أو يساوي";
+        readonly svg_path: null;
+    };
+    readonly propto: {
+        readonly id: "propto";
+        readonly category: "operators2";
+        readonly Tex: "\\propto";
+        readonly mirror: true;
+        readonly Label: "∝";
+        readonly title: "يتناسب مع";
+        readonly svg_path: null;
+    };
+    readonly in: {
+        readonly id: "in";
+        readonly category: "operators2";
+        readonly Tex: "\\in";
+        readonly mirror: true;
+        readonly Label: "∈";
+        readonly title: "ينتمي إلى";
+        readonly svg_path: null;
+    };
+    readonly notin: {
+        readonly id: "notin";
+        readonly category: "operators2";
+        readonly Tex: "\\notin";
+        readonly mirror: false;
+        readonly Label: "∉";
+        readonly title: "لا ينتمي إلى";
+        readonly svg_path: null;
+    };
+    readonly subset: {
+        readonly id: "subset";
+        readonly category: "operators2";
+        readonly Tex: "\\subset";
+        readonly mirror: true;
+        readonly Label: "⊂";
+        readonly title: "مجموعة جزئية من";
+        readonly svg_path: null;
+    };
+    readonly supset: {
+        readonly id: "supset";
+        readonly category: "operators2";
+        readonly Tex: "\\supset";
+        readonly mirror: true;
+        readonly Label: "⊃";
+        readonly title: "مجموعة شاملة لـ";
+        readonly svg_path: null;
+    };
+    readonly subseteq: {
+        readonly id: "subseteq";
+        readonly category: "operators2";
+        readonly Tex: "\\subseteq";
+        readonly mirror: true;
+        readonly Label: "⊆";
+        readonly title: "مجموعة جزئية أو تساوي";
+        readonly svg_path: null;
+    };
+    readonly supseteq: {
+        readonly id: "supseteq";
+        readonly category: "operators2";
+        readonly Tex: "\\supseteq";
+        readonly mirror: true;
+        readonly Label: "⊇";
+        readonly title: "مجموعة شاملة أو تساوي";
+        readonly svg_path: null;
+    };
+    readonly cap: {
+        readonly id: "cap";
+        readonly category: "operators2";
+        readonly Tex: "\\cap";
+        readonly mirror: false;
+        readonly Label: "∩";
+        readonly title: "تقاطع";
+        readonly svg_path: null;
+    };
+    readonly cup: {
+        readonly id: "cup";
+        readonly category: "operators2";
+        readonly Tex: "\\cup";
+        readonly mirror: false;
+        readonly Label: "∪";
+        readonly title: "اتحاد";
+        readonly svg_path: null;
+    };
+    readonly emptyset: {
+        readonly id: "emptyset";
+        readonly category: "operators2";
+        readonly Tex: "\\emptyset";
+        readonly mirror: false;
+        readonly Label: "∅";
+        readonly title: "المجموعة الخالية";
+        readonly svg_path: null;
+    };
+    readonly nsubseteq: {
+        readonly id: "nsubseteq";
+        readonly category: "operators2";
+        readonly Tex: "\\nsubseteq";
+        readonly mirror: true;
+        readonly Label: "⊈";
+        readonly title: "ليست مجموعة جزئية أو تساوي";
+        readonly svg_path: null;
+    };
+    readonly nsupseteq: {
+        readonly id: "nsupseteq";
+        readonly category: "operators2";
+        readonly Tex: "\\nsupseteq";
+        readonly mirror: true;
+        readonly Label: "⊉";
+        readonly title: "ليست مجموعة شاملة أو تساوي";
+        readonly svg_path: null;
+    };
+    readonly ldots: {
+        readonly id: "ldots";
+        readonly category: "dots";
+        readonly Tex: "\\ldots";
+        readonly mirror: false;
+        readonly Label: "…";
+        readonly title: "نقاط أفقية";
+        readonly svg_path: null;
+    };
+    readonly cdot: {
+        readonly id: "cdot";
+        readonly category: "dots";
+        readonly Tex: "\\cdot";
+        readonly mirror: false;
+        readonly Label: "·";
+        readonly title: "نقطة ضرب";
+        readonly svg_path: null;
+    };
+    readonly cdots: {
+        readonly id: "cdots";
+        readonly category: "dots";
+        readonly Tex: "\\cdots";
+        readonly mirror: false;
+        readonly Label: "⋯";
+        readonly title: "نقاط وسطية أفقية";
+        readonly svg_path: null;
+    };
+    readonly vdots: {
+        readonly id: "vdots";
+        readonly category: "dots";
+        readonly Tex: "\\vdots";
+        readonly mirror: false;
+        readonly Label: "⋮";
+        readonly title: "نقاط عمودية";
+        readonly svg_path: null;
+    };
+    readonly ddots: {
+        readonly id: "ddots";
+        readonly category: "dots";
+        readonly Tex: "\\ddots";
+        readonly mirror: true;
+        readonly displayMirror: false;
+        readonly Label: "⋱";
+        readonly title: "نقاط قطرية";
+        readonly svg_path: null;
+    };
+    readonly leftrightarrowDouble: {
+        readonly id: "leftrightarrowDouble";
+        readonly category: "operators3";
+        readonly Tex: "\\Leftrightarrow";
+        readonly mirror: false;
+        readonly Label: "⇔";
+        readonly title: "يكافئ";
+        readonly svg_path: null;
+    };
+    readonly rightleftharpoons: {
+        readonly id: "rightleftharpoons";
+        readonly category: "operators3";
+        readonly Tex: "\\rightleftharpoons";
+        readonly mirror: true;
+        readonly Label: "⇌";
+        readonly title: "اتزان";
+        readonly svg_path: null;
+    };
+    readonly leftarrow: {
+        readonly id: "leftarrow";
+        readonly category: "operators3";
+        readonly Tex: "\\leftarrow";
+        readonly mirror: true;
+        readonly Label: "←";
+        readonly title: "سهم إلى اليسار";
+        readonly svg_path: null;
+    };
+    readonly rightarrow: {
+        readonly id: "rightarrow";
+        readonly category: "operators3";
+        readonly Tex: "\\rightarrow";
+        readonly mirror: true;
+        readonly Label: "→";
+        readonly title: "سهم إلى اليمين";
+        readonly svg_path: null;
+    };
+    readonly leftarrowDouble: {
+        readonly id: "leftarrowDouble";
+        readonly category: "operators3";
+        readonly Tex: "\\Leftarrow";
+        readonly mirror: true;
+        readonly Label: "⇐";
+        readonly title: "سهم مزدوج إلى اليسار";
+        readonly svg_path: null;
+    };
+    readonly rightarrowDouble: {
+        readonly id: "rightarrowDouble";
+        readonly category: "operators3";
+        readonly Tex: "\\Rightarrow";
+        readonly mirror: true;
+        readonly Label: "⇒";
+        readonly title: "سهم مزدوج إلى اليمين";
+        readonly svg_path: null;
+    };
+    readonly leftharpoonup: {
+        readonly id: "leftharpoonup";
+        readonly category: "operators3";
+        readonly Tex: "\\leftharpoonup";
+        readonly mirror: true;
+        readonly Label: "↼";
+        readonly title: "سهم خطافي علوي إلى اليسار";
+        readonly svg_path: null;
+    };
+    readonly rightharpoonup: {
+        readonly id: "rightharpoonup";
+        readonly category: "operators3";
+        readonly Tex: "\\rightharpoonup";
+        readonly mirror: true;
+        readonly Label: "⇀";
+        readonly title: "سهم خطافي علوي إلى اليمين";
+        readonly svg_path: null;
+    };
+    readonly leftharpoondown: {
+        readonly id: "leftharpoondown";
+        readonly category: "operators3";
+        readonly Tex: "\\leftharpoondown";
+        readonly mirror: true;
+        readonly Label: "↽";
+        readonly title: "سهم خطافي سفلي إلى اليسار";
+        readonly svg_path: null;
+    };
+    readonly rightharpoondown: {
+        readonly id: "rightharpoondown";
+        readonly category: "operators3";
+        readonly Tex: "\\rightharpoondown";
+        readonly mirror: true;
+        readonly Label: "⇁";
+        readonly title: "سهم خطافي سفلي إلى اليمين";
+        readonly svg_path: null;
+    };
+    readonly int: {
+        readonly id: "int";
+        readonly category: "integrals";
+        readonly Tex: "\\int";
+        readonly mirror: true;
+        readonly Label: "∫";
+        readonly title: "تكامل";
+        readonly svg_path: null;
+    };
+    readonly iint: {
+        readonly id: "iint";
+        readonly category: "integrals";
+        readonly Tex: "\\iint";
+        readonly mirror: true;
+        readonly Label: "∬";
+        readonly title: "تكامل مزدوج";
+        readonly svg_path: null;
+    };
+    readonly iiint: {
+        readonly id: "iiint";
+        readonly category: "integrals";
+        readonly Tex: "\\iiint";
+        readonly mirror: true;
+        readonly Label: "∭";
+        readonly title: "تكامل ثلاثي";
+        readonly svg_path: null;
+    };
+    readonly iiiint: {
+        readonly id: "iiiint";
+        readonly category: "integrals";
+        readonly Tex: "\\iiiint";
+        readonly mirror: true;
+        readonly Label: "⨌";
+        readonly title: "تكامل رباعي";
+        readonly svg_path: null;
+    };
+    readonly oint: {
+        readonly id: "oint";
+        readonly category: "integrals";
+        readonly Tex: "\\oint";
+        readonly mirror: true;
+        readonly Label: "∮";
+        readonly title: "تكامل مغلق";
+        readonly svg_path: null;
+    };
+    readonly oiint: {
+        readonly id: "oiint";
+        readonly category: "integrals";
+        readonly Tex: "\\oiint";
+        readonly mirror: true;
+        readonly Label: "∯";
+        readonly title: "تكامل سطحي مغلق";
+        readonly svg_path: null;
+    };
+    readonly oiiint: {
+        readonly id: "oiiint";
+        readonly category: "integrals";
+        readonly Tex: "\\oiiint";
+        readonly mirror: true;
+        readonly Label: "∰";
+        readonly title: "تكامل حجمي مغلق";
+        readonly svg_path: null;
+    };
+};
+type AtomicOperatorCommandId = keyof typeof ATOMIC_OPERATOR_COMMANDS;
+
+type EditorRuntimeApi = {
+    render: () => void;
+    destroy: () => void;
+    getSession: () => EditorSession;
+    setSession: (next: EditorSession) => void;
+    performUndo: () => void;
+    performRedo: () => void;
+    performCopy: () => Promise<void>;
+    performCut: () => Promise<void>;
+    performPaste: () => Promise<void>;
+    toggleSide: () => void;
+    toggleSplitLeafTyping: () => void;
+    toggleArabicReverseNumberTyping: () => void;
+    toggleTakweenCharacterFont: () => void;
+    setCurrentCharacterFont: (fontId: CharacterFontId) => void;
+    setCurrentDigitForm: (digitForm: DigitFormId) => void;
+    insertDelimiterByKind: (kind: 'paren' | 'bracket' | 'brace') => void;
+    insertFraction: () => void;
+    insertMatrixEnv: (style: MatrixEnvStyle, rows: number, columns: number) => void;
+    insertArrayEnv: (rows: number, columns: number) => void;
+    insertAlignedEnv: (rows: number, columns: number) => void;
+    insertSqrt: () => void;
+    insertAtomicCommand: (commandId: AtomicCommandId) => void;
+    insertAtomicOperatorCommand: (commandId: AtomicOperatorCommandId) => void;
+    addSup: () => void;
+    addSub: () => void;
+    removeSup: () => void;
+    removeSub: () => void;
+    setMatrixEnvStyle: (style: MatrixEnvStyle) => void;
+    setArrayColumnAlignment: (columnIndex: number, alignment: EnvColumnAlignment) => void;
+    addMatrixRow: () => void;
+    removeMatrixRow: () => void;
+    addMatrixColumn: () => void;
+    removeMatrixColumn: () => void;
+    deleteStructure: () => void;
+};
+
+declare global {
+    interface Window {
+        MathJax?: {
+            typesetPromise?: (nodes: HTMLElement[]) => Promise<void>;
+            typesetClear?: (nodes: HTMLElement[]) => void;
+            tex2chtml?: (input: string, options?: {
+                display?: boolean;
+            }) => HTMLElement;
+            tex2chtmlPromise?: (input: string, options?: {
+                display?: boolean;
+            }) => Promise<HTMLElement>;
+            startup?: {
+                promise?: Promise<void>;
+                document?: {
+                    updateDocument?: () => void;
+                };
+            };
+        };
+    }
+}
+type ButexEditorProps = {
+    className?: string;
+    /** Developer panels: LaTeX dump, passive chain preview, debug log. */
+    debug?: boolean;
+    initialSession?: EditorSession;
+    onSessionChange?: (session: EditorSession) => void;
+};
+type ButexEditorHandle = {
+    getRuntime: () => EditorRuntimeApi | null;
+};
+declare const ButexEditor: react.ForwardRefExoticComponent<ButexEditorProps & react.RefAttributes<ButexEditorHandle>>;
+
+export { ButexEditor, type ButexEditorHandle, type ButexEditorProps };