@barocss/math-editor 0.1.0 → 0.2.1

package/ROADMAP.md

@@ -2,6 +2,34 @@
 
 This roadmap describes priorities, not release promises. The current package is an independent editing prototype. Production integration requires the reliability work below even if additional notation is implemented first.
 
+## Remaining LaTeX priorities: workspace review, 2026-09-08
+
+These are proposals, not accepted import syntax. Complete each feature through the model, parser, exporter, suggestions and both editing surfaces before calling it supported.
+
+| Order | Candidate syntax | Value | Required contract |
+| --- | --- | --- | --- |
+| 1 — implemented in workspace | `\lVert x\rVert`, `\left\|x\right\|` | Norms and vector notation | One-slot norm, scalable double bars, wrapping, aliases and round trips implemented; release remains open |
+| 2 — implemented in workspace | `\iiint`, `\oint` | Multiple and contour integration | Operator variants with editable lower/upper/body slots and slanted bound placement |
+| 3 — implemented in workspace | `\overbrace`, `\underbrace` | Annotated groups and derivations | Body/annotation model, script attachment policy and scalable braces |
+| 4 — implemented in workspace | `\tilde`, `\bar`, `\dot`, `\ddot`, `\widehat`, `\widetilde` | Statistics, derivatives and estimates | Distinguish fixed and stretchy accents; nested editing and glyph geometry |
+| 5 — implemented in workspace | `\nolimits`, `\limsup`, `\liminf` | Explicit operator placement and limit variants | Preserve placement metadata; migrate the current `limits: true` contract deliberately |
+| 6 — implemented in workspace | `\,`, `\:`, `\;`, `\!` | Fine mathematical spacing | Bounded spacing kinds, negative-gap hit testing and canonical export; `\quad`/`\qquad` already work |
+| 7 — four commands implemented in workspace | `\dfrac`, `\tfrac`, `\dbinom`, `\tbinom` | Common pasted formula compatibility | Preserve `mathStyle` metadata and explicit command export; general `\displaystyle` / `\textstyle` declarations remain open |
+| 8 — implemented in workspace | `\mathbf`, `\mathcal`, broader `\mathbb` | Common mathematical alphabets | One-slot alphabet structures, bundled fonts, semantic colors and nested editing; decorative glyph coverage is Latin capitals |
+| 9 — implemented in workspace | `\xrightarrow`, `\xleftarrow` | Labeled transformations and reactions | Two math-label slots, optional lower-label parsing, fixed arrowhead and expanding shaft; other extensible arrows remain open |
+| 10 — `equation*` implemented; others open | `equation`, `align`, `split`, `array` | Broader imported equation layouts | Define numbering exclusions, alignment columns and normalization before adding environments |
+
+Do not accept arbitrary macros, package loading, external resources or full TeX documents. Chemical formulas can use text, scripts and arrows; dedicated `\ce`/mhchem grammar and equation balancing are not supported.
+
+Norms are implemented in the workspace. Triple and contour integrals are implemented in the workspace. Annotated over/under braces are implemented in the workspace. Six additional accents are implemented in the workspace. Operator placement, fine spacing and explicit fraction/binomial sizes are implemented in the workspace. General style declarations and further compatibility features remain open. Keep visual editing and atomic failure tests in the same change as parsing. Note inline editing is resolved according to the user. Further product integration is outside this math-editor release.
+
+## LaTeX loader and Note integration — 2026-09-08
+
+- Scope contract written in [LaTeX import/export](LATEX-SCOPE.md): bounded model grammar, explicit exclusions, diagnostics and acceptance gates.
+- Core parser and saved-document validation: implemented and tested in the workspace; included in 0.2.0.
+- Catalog/template and catalog-driven nested structure-pair round-trip checks pass. Explicit demo import and Note popup draft integration are implemented; product trial tests cover apply/cancel, persistence and source fallback. Wider platform testing remains open.
+- Version 0.2.0 includes bounded LaTeX import. Do not advertise workspace imports as released support.
+
 ## Locale extension and cleanup — 2026-09-08
 
 - Completed key-only translation lookup and shared editor path labels; removed source-text conversion and custom formatting callbacks.
@@ -24,10 +52,10 @@ This roadmap describes priorities, not release promises. The current package is
 | Independently mounted editor/toolbar/LaTeX/preview | Implemented | Framework component conveniences only if real hosts need them |
 | Host Enter/commit/cancel contract and modal suggestions | Implemented | Product selection/undo integration and real IME/browser matrix |
 | Layout lab: inline, next-block flow, popup draft/cancel/apply | Implemented | Integrate the actual Note node view first |
-| Note/Word/Site/Slide persistence adapters | Not implemented | Versioned math payload, tex-only fallback, OMML conversion and host transactions |
+| Note/Word/Site/Slide persistence adapters | Note workspace popup trial implemented | Validate other browsers and real host caret/undo workflows; Word/Site/Slide adapters and OMML conversion remain open |
 | Downloadable SVG/PNG output | Not implemented | Dedicated renderer/export contract, fonts and scaling |
 
-See [Embedding](EMBEDDING.md) for existing Note/Word model boundaries. The next concrete target is one real Note integration with a preserved host caret and one coherent undo path, not simultaneous schema replacement in all four products.
+See [Embedding](EMBEDDING.md) for existing Note/Word model boundaries. Note has a popup integration trial. The user confirmed that Note inline editing is resolved. This release focuses on math-editor; product-specific validation is tracked separately.
 
 ## Integration progress — 2026-09-07
 
@@ -42,13 +70,13 @@ See [Embedding](EMBEDDING.md) for existing Note/Word model boundaries. The next
 | ESM subpath distribution / optional framework peers | Implemented | Release approval, registry publication, bundle budgets |
 | Rich React renderer remains available | Preserved | Move main export only after measured parity |
 
-Next: finish the native symbol panel and precise range highlights; unify token editing/composition behavior; add keyboard structural selection. Then integrate one real inline host and measure load/typing cost. Do not add new notation to both renderers independently before shared behavior is stable. See [adapter parity and API](ADAPTERS.md).
+Next integration work: finish the native symbol panel and precise range highlights; unify token editing/composition behavior; add keyboard structural selection. Measure load/typing cost in host products; Note inline editing is already resolved. Do not add new notation to both renderers independently before shared behavior is stable. See [adapter parity and API](ADAPTERS.md).
 
 ## Delivered baseline
 
 - Korean/English library UI and demo; bilingual search aliases in both modes.
 - Native input at the active token, passive expression rendering, lexical role colors and composition-aware suggestions.
-- Thirteen structure kinds, multiline documents, aligned equations, cases and editable matrices.
+- The original structures plus combined scripts, indexed roots, accents, binomials, limits, literal/upright text, independent fences, annotations, spacing and double integrals; multiline documents, aligned equations, cases and editable matrices.
 - Model ranges, balanced copy/cut/paste, wrapping, undo/redo and LaTeX export.
 - Identity/zero matrix presets, column vectors and editable formula templates.
 - A demo-only KaTeX rendering view and automated model/Chromium regression tests.
@@ -60,28 +88,32 @@ Next: finish the native symbol panel and precise range highlights; unify token e
 | Real input-method matrix | macOS and Windows Korean composition, cancellation, blur and locale change preserve text and commit once; currently deferred by user request |
 | Keyboard model ranges | Shift+arrows extend/collapse across tokens and structures; typing replaces selection; undo restores a predictable caret |
 | Structural navigation | Predictable up/down movement in fractions, roots and scripts; direction and selection affinity covered by tests |
-| Saved-document validation | Reject malformed shapes and duplicate IDs; version migration and recoverable failure behavior |
+| Saved-document validation | Shape/duplicate-ID validation is implemented; version migration and host recovery remain |
 | Host session adapter | Enter/exit and save work in one target product; a single coherent undo path across host and formula |
 | Browser/accessibility coverage | Safari, Firefox and Windows Chromium; screen-reader names and suggestion announcements; touch selection and narrow layouts |
 | Performance budget | Agree supported document size/depth; benchmark typing, selection, paste and 100-step undo before optimizing |
 
 ## Priority 2 — More notation
 
-| Feature | Acceptance criteria |
-|---|---|
-| Combined superscript/subscript | One shared base, consistent script order, cursor navigation, clipboard and LaTeX round trip |
-| Indexed roots and binomials | Editable root index / upper-lower entries; nested sizing, wrapping and deletion rules |
-| Functions and logarithms | Named operators with proper LaTeX spacing and editable arguments; distinguish variable names from operators |
-| Limits and derivatives | Explicit slots and approach notation; distinguish derivative structures from the existing ∂ symbol |
-| Text in formulas and cases | Dedicated natural-language mode, escaping, localization-independent content, IME and clipboard support |
-| Accents and annotations | Vectors, bars, hats and over/under braces with editable children |
-| More templates | Deterministic model builders, localized discovery, one-step undo; no hidden computed values or false solver claims |
+See the [LaTeX editing guide](LATEX-GUIDE.md) for supported examples and the next implementation order.
+
+| Feature | Current status | Remaining work |
+|---|---|---|
+| Combined superscript/subscript | Implemented in workspace | Wider browser/IME validation and release |
+| Literal text and 19 named functions/custom names | Implemented in workspace | Mixed text/math and styled text remain excluded |
+| Indexed roots | Implemented in workspace | Wider nested-layout/browser validation and release |
+| Vectors, hats and overlines | Implemented in workspace | Wider layout/browser validation and release |
+| Binomials | Implemented in workspace | Implemented and Chromium-tested; wider browsers and release remain |
+| Limits | Implemented in workspace | Approach slot and dedicated operator placement; `lim` is not in the current function catalog |
+| Additional delimiters | Implemented in workspace | Independent left/right metadata, mixed and invisible ends |
+| Over/under annotations | Implemented in workspace | Implemented and Chromium-tested; wider browsers and release remain |
+| More templates | Ongoing | Deterministic builders, localized discovery and one-step undo |
 
 ## Priority 3 — Interchange and richer grids
 
 | Feature | Acceptance criteria |
 |---|---|
-| Subset LaTeX import | Define a grammar and supported environments; preserve unsupported input visibly instead of silently dropping it |
+| Subset LaTeX import — implemented in workspace | Extend the documented grammar incrementally; preserve unsupported input without changing the existing formula |
 | Rectangular cell selection | Row/column geometry, copy/paste shape rules, partial destination handling and undo |
 | Matrix transformations | Transpose and delimiter changes preserve all cell contents and caret; no implicit numeric computation |
 | Drag matrix size picker | Accessible keyboard equivalent, touch behavior, 1–20 bounds and one-step insertion |
@@ -98,5 +130,68 @@ Declared variables/constants, stable symbol references, binding scopes, computat
 2. Preserve IDs outside edits, regenerate inserted identities and support one-step undo for structural actions.
 3. Cover Korean/English UI, aliases, accessibility labels and composition interaction.
 4. Verify deterministic model transformations and representative real browser interaction.
-5. Render the supported LaTeX and document unsupported cases.
+5. Render the supported LaTeX with KaTeX and compare it with both rich React and native editing surfaces. Inspect passive and focused states, empty/populated slots and nested examples. Adjust glyph shapes, baselines, script sizes, spacing and caret-induced movement before marking the feature complete. Record intentional editing-space differences and unsupported cases.
 6. Update the support table, README and implementation notes with actual behavior.
+
+### 2026-09-08 — Framework API documentation
+
+Added dedicated Pure JavaScript, React, Web Component, Vue 3, Svelte and Solid guides,
+plus the shared session/DOM API reference. Guides document the 0.2.0 APIs and distinguish them from
+future options, describe mount-only versus mutable settings and explain
+persistence, ownership, cleanup and renderer parity. React/Solid examples type-check;
+Vue/Svelte complete examples compile; the 19-page HTML documentation build and new-guide
+cross-document/heading links are verified. Website publication is documentation-only;
+the npm version and deployed runtime artifact are unchanged.
+
+### API guide practical examples (2026-09-08)
+
+- Added isolated JavaScript/React modal drafts with Apply/Cancel, React session history, Vue document switching, Svelte 5 runes, Solid history/templates, Web Component form submission, and shared debounced browser storage with restore/error handling.
+- Verified React/Solid/storage TypeScript, Vue/Svelte compilation, Chromium modal/form/storage behavior, documentation links and demo production build. Server persistence remains host-owned; examples use published 0.1.0 APIs.
+
+### Combined scripts — workspace implementation
+
+- [x] Shared `scripts` model: `[base, subscript, superscript]`, JSON validation and LaTeX export.
+- [x] Both LaTeX script orders, nested placement, duplicate-script diagnostics.
+- [x] React/native rendering, completion from an existing script, Tab traversal and empty-side deletion.
+- [x] Include this addition in the 0.2.0 release.
+
+### Text and function notation — workspace implementation
+
+- [x] Literal text node, escaped LaTeX interchange, text-only slot validation and editing.
+- [x] Editable operator-name node, 19 standard functions, custom names and scripts on function names.
+- [x] Shared suggestions, English/Korean messages, native/React editing and round-trip checks.
+- [x] Indexed roots with two slots, selection wrapping, literal typing and empty-index deletion.
+- [x] Vector, hat and overline accents with editable bodies and selection wrapping.
+- [x] Additional delimiters, mixed/invisible ends and overset/underset annotations.
+- [x] Over/under brace annotations with editable annotation/body slots.
+- [x] Explicit side-placement import/export (`\nolimits`); a dedicated toolbar switch remains open.
+
+- [x] Workspace: `limit` condition/body model, LaTeX import/export, localized suggestions and React/native editing.
+- [x] Semantic function color for named/custom operators and the limit glyph.
+
+### Workspace: imported notation compatibility
+
+- Implemented `quad`/`qquad` as zero-slot spacing nodes, including suggestion insertion and deletion/Undo.
+- Preserved explicit `limits: true` on sum/product/integral/limit nodes through import/export.
+- Implemented one-slot `roman` groups: scoped `\rm` declarations normalize to `\mathrm{…}`. Parsing restores the enclosing expression boundary after nested groups.
+- Regression fixtures include the reported quotient limit with Chinese text, the three-sum inequality and the chain-rule derivative.
+
+- Implemented in workspace: double integrals (`\iint`), localized suggestions, domain/bounds/body editing, explicit limits preservation, and regression coverage for the reported mean-value equation.
+
+## Latest presentation status — 2026-09-08
+
+Completed in the workspace: scalable fences and radicals, slanted integral side bounds, visible absolute bars, aligned script bases, lining numerals, borderless token focus, 117 symbols including 31 arrows, substring discovery and all-direction `-`/`->` suggestions. See [validation](VALIDATION.md) for the targeted Chromium checks. Full browser/accessibility coverage, native/rich React interaction parity, product-specific integration validation remain separate.
+
+## Spacing audit follow-up — 2026-09-08
+
+Seven rich React/KaTeX comparisons are complete; production fixes are pending. Prioritize grid delimiter shapes, nested fraction/script sizing, script separation, grid row spacing and accent clearance, then reduce the measured 20px first-boundary focus expansion. See [the comparison findings](VALIDATION.md#editor-versus-katex-spacing-audit--2026-09-08). Repeat the revised layouts in native DOM and test active inner slots before marking the work complete.
+
+Spacing follow-up implemented: shared grid fence shapes, tighter grid/fraction/script/accent layouts, bounded nested fraction sizes, and a smaller boundary focus target. Chromium import/edit checks pass; the measured first-boundary expansion fell from 20px to 8px. Full recursive math-style sizing, additional browser/accessibility checks and eliminating all cursor-induced movement remain open.
+
+Workspace toolbar overflow is implemented: configurable structure-button limits and More/Fewer controls, rich React/native filtering, and always-visible history actions. Context-sensitive grouping and user-persisted toolbar customization remain future work.
+
+Locale regression: misplaced alphabet/arrow messages moved inside `messages`; pack-shape/build validation and en/ko browser coverage added.
+
+### 0.2.1
+
+Keyboard model selection with Shift+arrows and `{` cases discovery are implemented. The dedicated demo adds sized PNG download/copy and fit preview; image generation remains site-only. Pixel-column vertical selection and rectangular grid ranges remain future work.

package/SUPPORT.md

@@ -2,23 +2,53 @@
 
 This is a presentation and editing scope, not a claim of full LaTeX or computer-algebra support. Blank slots remain editable and export as empty groups. All catalog symbols are exercised against KaTeX in unit tests.
 
+## Editing / LaTeX parity (0.2.0)
+
+| Existing editor capability | Export | Editable import | Acceptance |
+|---|---|---|---|
+| 117 catalog symbols | Yes | Yes | Every symbol round-trips; aliases normalize |
+| Fractions, roots, scripts and three delimiter structures | Yes | Yes | Empty/filled slots and nested pairs |
+| Sums, products and integrals | Yes | Yes | Limits and bodies preserved |
+| All six matrix environments | Yes | Yes | Rectangular cells and environment preserved |
+| Two-column alignment and cases | Yes | Yes | Cell structure preserved |
+| Top-level multiple lines | `gathered` | Yes | Root/additional lines preserved; rejected by inline host |
+| Identity/zero matrices, vectors, formula templates | Yes | Yes | Restored as editable structure, not template IDs |
+| Arbitrary TeX styling, macros and unsupported model nodes | No | No | Fail atomically; source editor fallback |
+
+The [LaTeX contract](LATEX-SCOPE.md) defines syntax, limits and normalization. Version 0.2.0 includes the bounded loader described here. UI interaction parity between rich React and native renderers remains a separate concern.
+
+See the [LaTeX editing guide](LATEX-GUIDE.md) for input examples and prioritized additions.
+
 ## Structural notation
 
-| Family | Implemented input / structure | LaTeX output | Limits |
+| Family | Implemented input / structure | LaTeX output | Upper/lower limits | Editable condition/body | `\limsup`, `\liminf` | Not evaluation |
+| Limits |
 |---|---|---|---|
 | Fractions | Two editable slots; wrap a selection as numerator | `\frac{a}{b}` | No automatic algebraic simplification |
-| Square roots | Editable radicand; selection wrapping | `\sqrt{x}` | Indexed roots not yet implemented |
-| Powers | Base and superscript; automatic parentheses when wrapping a compound base | `{x}^{2}` | No combined sub/superscript structure |
+| Upper/lower limits | Editable condition/body | `\limsup`, `\liminf` | Not evaluation |
+| Limits | Editable approach condition and expression | `\\lim_{x\\to 0}{x}` | One lower condition; `\limits` accepted, `\nolimits` supported in workspace |
+| Binomial coefficients | Two editable terms; selection wrapping | `\\binom{n}{k}` | Parentheses without a fraction bar |
+| Square roots | Editable radicand; selection wrapping | `\sqrt{x}` | Use `indexedRoot` for an explicit index |
+| Indexed roots | Index and radicand; selection wrapping | `\sqrt[n]{x}` | Empty index can be removed to recover a square root |
+| Additional accents | Fixed wave/bar/dots and wide hat/wave; one editable body | `\tilde`, `\bar`, `\dot`, `\ddot`, `\widehat`, `\widetilde` | Fixed variants do not stretch across a long body |
+| Accents | Editable body; selection wrapping | `\vec{x}`, `\hat{x}`, `\overline{AB}` | Additional wide accents are separate structures; overset/underset are separate supported structures |
+| Brace annotations | Editable annotation and body, selection wrapping | `\overbrace{a+b}^{n}`, `\underbrace{a+b}_{n}` | No automatic algebraic grouping |
+| Powers | Base and superscript; automatic parentheses when wrapping a compound base | `{x}^{2}` | Combined scripts use a separate shared-base node |
+| Combined scripts | Shared base, lower and upper slots | `{x}_{i}^{2}` | Explicit grouping can still represent nesting |
+| Literal text | One editable literal row | `\text{otherwise}` | No embedded math or text styling |
+| Named functions | Editable upright name, 19 standard functions and custom names | `\sin x`, `\operatorname{custom}` | Arguments remain adjacent math; no evaluation |
 | Subscripts | Base and lower script | `{x}_{i}` | No declaration or index semantics |
 | Parentheses | Editable group | `\left(x\right)` | Generic group; no function-argument semantics |
 | Brackets | Editable group | `\left[x\right]` | Not an interval data type |
+| Norm | One editable body; selected-expression wrapping | `\left\Vert x\right\Vert` | Not numerical evaluation |
 | Absolute value | Editable group | `\left|x\right|` | No evaluation |
 | Sum | Lower limit, upper limit, body | `\sum_{i=1}^{n}x` | No bound-variable resolution |
 | Product | Lower limit, upper limit, body | `\prod_{i=1}^{n}x` | No evaluation |
+| Triple / contour integrals | Three editable slots; side bounds or explicit limits | `\iiint`, `\oint` | No computation; `\nolimits` supported in workspace |
 | Integral | Lower limit, upper limit, integrand | `\int_{a}^{b}x` | Differential entered as text; no integration engine |
 | Matrices / vectors | Editable nested cells; row/column changes | `matrix`, `pmatrix`, `bmatrix`, `Bmatrix`, `vmatrix`, `Vmatrix` | 1–20 rows and columns; no rectangular cell clipboard |
 | Aligned equations | Two columns, left side right-aligned and right side left-aligned | `aligned` | 1–20 rows, one alignment point; type the relation explicitly |
-| Cases | Expression and condition columns, left brace | `cases` | 1–20 rows; conditions are math, not a dedicated text mode |
+| Cases | Expression and condition columns, left brace | `cases` | 1–20 rows; conditions accept math and literal text nodes |
 | Multiple document lines | Split/join top-level rows | `gathered` | No wrapping several document lines into one structure |
 
 ## Editing, discovery and integration
@@ -26,9 +56,9 @@ This is a presentation and editing scope, not a claim of full LaTeX or computer-
 | Area | Supported | Remaining boundary |
 |---|---|---|
 | Languages | Korean and English UI, demo, accessible names, hints and suggestions | Custom host labels require host translation |
-| Discovery | All-symbol grid with English/Korean/glyph/LaTeX search, click to insert | Scroll through the complete 90-symbol catalog |
+| Discovery | All-symbol grid with English/Korean/glyph/LaTeX search, click to insert | Scroll through the complete 117-symbol catalog |
 | Line numbers | UI gutter for multiple top-level rows, optional prop | Excluded from math output and clipboard |
-| Aliases | English and Korean in both locales; longest symbolic trigger first | Prefix search, not natural-language parsing |
+| Aliases | English and Korean in both locales; longest symbolic trigger first | Substring matching with exact matches first; no natural-language parsing |
 | Native input | Active token only; composition draft held stable | Real OS IME validation deferred |
 | Roles | Variables, numeric literals, symbols, spaces | Lexical colors are not semantic declarations |
 | Selection | Partial text, drag across tokens/structures, whole document in preview | No keyboard Shift-arrow model expansion or rectangular cell selection |
@@ -60,10 +90,35 @@ For the compact three-column reference, see [Symbol names](./SYMBOLS.md).
 
 The table below is generated from `src/symbols.ts`. Aliases are space-separated alternative names. Korean labels are also searchable. LaTeX control words receive separating whitespace during export. Literal Latin names and numbers remain ordinary text; typing a LaTeX command does not imply general LaTeX parsing.
 
-Catalog size: **90 symbols**.
+Catalog size: **117 symbols**.
 
 | Glyph | English label | Korean label | English aliases | Symbolic triggers | LaTeX |
 |---|---|---|---|---|---|
+| ↑ | Up arrow | 위쪽 화살표 | uparrow arrow 화살표 | - -> | `\\uparrow` |
+| ↕ | Up-down arrow | 상하 화살표 | updownarrow arrow 화살표 | - -> | `\\updownarrow` |
+| ⇐ | Double left arrow | 왼쪽 이중 화살표 | Leftarrow arrow 화살표 | - -> | `\\Leftarrow` |
+| ⇑ | Double up arrow | 위쪽 이중 화살표 | Uparrow arrow 화살표 | - -> | `\\Uparrow` |
+| ⇓ | Double down arrow | 아래쪽 이중 화살표 | Downarrow arrow 화살표 | - -> | `\\Downarrow` |
+| ⇕ | Double up-down arrow | 상하 이중 화살표 | Updownarrow arrow 화살표 | - -> | `\\Updownarrow` |
+| ↗ | Northeast arrow | 오른쪽 위 대각선 화살표 | nearrow arrow 화살표 | - -> | `\\nearrow` |
+| ↘ | Southeast arrow | 오른쪽 아래 대각선 화살표 | searrow arrow 화살표 | - -> | `\\searrow` |
+| ↙ | Southwest arrow | 왼쪽 아래 대각선 화살표 | swarrow arrow 화살표 | - -> | `\\swarrow` |
+| ↖ | Northwest arrow | 왼쪽 위 대각선 화살표 | nwarrow arrow 화살표 | - -> | `\\nwarrow` |
+| ⟶ | Long right arrow | 긴 오른쪽 화살표 | longrightarrow arrow 화살표 | - -> | `\\longrightarrow` |
+| ⟵ | Long left arrow | 긴 왼쪽 화살표 | longleftarrow arrow 화살표 | - -> | `\\longleftarrow` |
+| ⟷ | Long left-right arrow | 긴 양방향 화살표 | longleftrightarrow arrow 화살표 | - | `\\longleftrightarrow` |
+| ⟹ | Long double right arrow | 긴 오른쪽 이중 화살표 | Longrightarrow arrow 화살표 | - -> | `\\Longrightarrow` |
+| ⟸ | Long double left arrow | 긴 왼쪽 이중 화살표 | Longleftarrow arrow 화살표 | - -> | `\\Longleftarrow` |
+| ⟺ | Long double left-right arrow | 긴 양방향 이중 화살표 | Longleftrightarrow arrow | — | `\\Longleftrightarrow` |
+| ↪ | Hook right arrow | 갈고리 오른쪽 화살표 | hookrightarrow arrow 화살표 | - -> | `\\hookrightarrow` |
+| ↩ | Hook left arrow | 갈고리 왼쪽 화살표 | hookleftarrow arrow 화살표 | - -> | `\\hookleftarrow` |
+| ⇀ | Right harpoon up | 오른쪽 위 반쪽 화살표 | rightharpoonup arrow 화살표 | - -> | `\\rightharpoonup` |
+| ↼ | Left harpoon up | 왼쪽 위 반쪽 화살표 | leftharpoonup arrow 화살표 | - -> | `\\leftharpoonup` |
+| ⇁ | Right harpoon down | 오른쪽 아래 반쪽 화살표 | rightharpoondown arrow 화살표 | - -> | `\\rightharpoondown` |
+| ↽ | Left harpoon down | 왼쪽 아래 반쪽 화살표 | leftharpoondown arrow 화살표 | - -> | `\\leftharpoondown` |
+| ⇌ | Equilibrium right-left arrows | 평형 오른쪽 왼쪽 화살표 | rightleftharpoons arrow 화살표 | - -> | `\\rightleftharpoons` |
+| ⇋ | Equilibrium left-right arrows | 평형 왼쪽 오른쪽 화살표 | leftrightharpoons arrow 화살표 | - -> | `\\leftrightharpoons` |
+| ↓ | Down arrow | 아래쪽 화살표 | downarrow down 아래화살표 아래쪽화살표 | - -> | `\\downarrow` |
 | ∋ | Contains as an element | 원소를 포함 | ni contains | — | `\ni` |
 | ⊃ | Superset | 상위집합 | supset superset | — | `\supset` |
 | ⊇ | Superset or equal | 상위집합 또는 같음 | supseteq | — | `\supseteq` |
@@ -78,7 +133,7 @@ Catalog size: **90 symbols**.
 | ∥ | Parallel | 평행 | parallel | — | `\parallel` |
 | ≅ | Congruent | 합동 | cong congruent | — | `\cong` |
 | ∼ | Similar | 닮음 | sim similar | — | `\sim` |
-| ↦ | Maps to | 대응 | mapsto maps | |-> | `\mapsto` |
+| ↦ | Maps to | 대응 | mapsto maps arrow 화살표 | \|-> - -> | `\\mapsto` |
 | … | Ellipsis | 말줄임표 | ldots ellipsis | — | `\ldots` |
 | ⋯ | Centered dots | 가로 점 | cdots | — | `\cdots` |
 | ⋮ | Vertical dots | 세로 점 | vdots | — | `\vdots` |
@@ -101,11 +156,11 @@ Catalog size: **90 symbols**.
 | ≤ | Less than or equal | 작거나 같음 | leq less | <= <- < | `\le` |
 | ≥ | Greater than or equal | 크거나 같음 | geq greater | >= >- > | `\ge` |
 | ∝ | Proportional | 비례 | proportional | ~ | `\propto` |
-| → | Right arrow | 오른쪽 화살표 | rightarrow arrow | -> - | `\to` |
-| ← | Left arrow | 왼쪽 화살표 | leftarrow arrow | <- < | `\leftarrow` |
-| ↔ | Left-right arrow | 양방향 화살표 | leftrightarrow arrow | <-> | `\leftrightarrow` |
-| ⇒ | Implies | 함의 | implies arrow | => = | `\Rightarrow` |
-| ⇔ | If and only if | 필요충분 | iff arrow | <=> | `\Leftrightarrow` |
+| → | Right arrow | 오른쪽 화살표 | rightarrow arrow | -> - | `\\to` |
+| ← | Left arrow | 왼쪽 화살표 | leftarrow arrow | <- < - -> | `\\leftarrow` |
+| ↔ | Left-right arrow | 양방향 화살표 | leftrightarrow arrow | <-> - -> | `\\leftrightarrow` |
+| ⇒ | Implies | 함의 | implies arrow 화살표 | => = - -> | `\\Rightarrow` |
+| ⇔ | If and only if | 필요충분 | iff arrow 화살표 | <=> - -> | `\\Leftrightarrow` |
 | ∈ | Element of | 원소 | in element | E | `\in` |
 | ∉ | Not an element of | 원소 아님 | notin element | E/ | `\notin` |
 | ∀ | For all | 모든 | forall | A | `\forall` |
@@ -158,3 +213,69 @@ Catalog size: **90 symbols**.
 ## Renderer availability
 
 This formula catalog describes the shared model and the existing rich React editor. New native DOM/framework surfaces share the notation model but have a smaller interaction UI. See the [renderer parity table](ADAPTERS.md#current-renderer-parity) before choosing an adapter.
+
+### Combined scripts (workspace)
+
+`x_i^2` and `x^2_i` load into one `scripts` node with slots `[base, subscript, superscript]`. In either renderer, enter `^` at the end of a subscript and choose Exponent, or `_` at the end of an exponent and choose Subscript. The other script is added to the same base. Tab / Shift+Tab move between slots; Backspace in an empty script removes only that side. Explicit grouping such as `{x_i}^2` still represents nesting. Repeated scripts without grouping remain syntax errors. Available in 0.2.0.
+
+### Contextual selection menu (workspace)
+
+Selecting a range opens wrapping actions beside the selection in both renderers, including toolbar-free inline surfaces. Actions include fraction, square root, superscript, subscript, parentheses, brackets and absolute value. A multi-line selection keeps the actions disabled. Applying an action preserves the selected model content and supports Undo. React also respects the host's excluded structure list.
+
+### Literal text and functions (workspace)
+
+Type `text` or `텍스트` and select Text to write a description, then Tab to resume math. Type `sin`, `cos`, `log` and choose the corresponding function suggestion; `operatorname` opens an editable custom name. Function arguments remain ordinary neighboring math. LaTeX import supports `\text{otherwise}`, the 19 names listed in [LaTeX scope](LATEX-SCOPE.md), and `\operatorname{custom}`. Imported names and text can be edited in React and native adapters. Mixed math inside text and text styling remain unsupported.
+
+### Spacing, explicit limits and upright math (workspace)
+
+| Input | Model / export policy |
+| --- | --- |
+| `\quad`, `\qquad` | Zero-slot spacing structures, one/two em; original command preserved |
+| `\sum\limits_{i=1}^n`, `\prod\limits`, `\int\limits`, `\lim\limits` | Operator with `limits: true`; explicit directive preserved |
+| `\mathrm{dx}` | One-slot `roman` math group; same command exported |
+| `{\rm dx}` | Scoped upright declaration; normalizes to `\mathrm{dx}` |
+
+Type `quad` / `qquad` (or `간격` / `큰간격`) for an explicit gap. The caret resumes after the gap; Backspace there removes it and Undo restores it. Type `mathrm` / `직립체` for an editable upright group. Math inside a roman group keeps semantic colors and structure editing. It is not a literal text group.
+
+`\limits` is accepted immediately after the supported operator, before its scripts. Arbitrary TeX dimensions (`\hspace`, `\kern`) and other font declarations remain unsupported. These additions are included in 0.2.0.
+
+## Additional fences and annotations (workspace)
+
+| Input | Model | Editing |
+| --- | --- | --- |
+| `\left\{x\right\}` | `braces`, one body slot | Search `braces` or `중괄호` |
+| `\langle u,v\rangle` or `\left\langle u,v\right\rangle` | `angle`, one body slot | Search `angle`, `내적` or `꺾쇠괄호` |
+| `\left(a,b\right]` | `openClosed`, one body slot | Search `openclosed` or `열린닫힌구간` |
+| `\left[a,b\right)` | `closedOpen`, one body slot | Search `closedopen` or `닫힌열린구간` |
+| Other `\left…\right…` pairs, including `\left.x\right|` | `fenced`, one body slot and independent `left`/`right` | Imported ends are preserved; `.` denotes an invisible end |
+| `\overset{a}{b}` | `overset`, `[annotation, body]` | Search `overset` or `위주석`; Tab moves from annotation to body |
+| `\underset{a}{b}` | `underset`, `[annotation, body]` | Search `underset` or `아래주석`; Tab follows model order, even though the annotation is below |
+
+Select an expression and choose a fence or annotation in the regular suggestion menu. Fences wrap the expression and resume after it. Annotations keep the selected expression in the body and focus the empty annotation slot. Nested fractions, scripts and other editable structures are allowed in both annotation slots. Backspace after a structure removes its wrapper while preserving its content; Undo restores it.
+
+All structured fences scale with their contents. Short angle notation normalizes to scalable `\left\langle…\right\rangle` on export. Supported physical ends are `(`, `)`, `[`, `]`, `{`, `}`, `⟨`, `⟩`, `|` and `.`. Plain punctuation stays literal unless imported with a structural command. Double norm bars, `\big`/`\Big`, `\overbrace` and `\underbrace` remain unsupported.
+
+
+### Double integrals (workspace)
+
+`\iint_R f(x,y)` imports as `doubleIntegral` with exactly three slots: `[lower/domain, upper, body]`, matching integral navigation. Missing bounds remain editable empty slots. `\iint\limits` preserves the explicit placement directive. Export uses `\iint_{lower}^{upper}{body}`. Search `iint`, `이중적분` or `∬` to insert; Tab visits the domain, upper bound and body in order. The reported expression with `\rm dx \rm dy`, `\xi`, `\eta` and `\text{Area}` is covered by import/round-trip and browser editing fixtures. This is notation support, not numerical integration. Triple and contour integrals remain outside this addition.
+
+Fine spacing: `\,`, `\:`, `\;`, `\!` are preserved as zero-slot structures. Positive spacing expands and negative thin spacing contracts the next boundary; these are not editable text spaces.
+
+## Explicit sizes (0.2.0)
+
+`\dfrac`, `\tfrac`, `\dbinom` and `\tbinom` can be imported and edited without losing their size choice on export. Type `dfrac`, `tfrac`, `dbinom` or `tbinom` and select the matching suggestion, then edit the two slots with Tab. See [JSON size mapping](LATEX-MODEL.md#explicit-fraction-and-binomial-sizes--workspace). General `\displaystyle` and `\textstyle` declarations remain unsupported.
+
+### Math alphabet support (workspace)
+
+`\mathbf`, `\mathcal` and multi-letter `\mathbb` now support import, suggestions, range wrapping, editing and export. See [alphabet scope and examples](LATEX-GUIDE.md#mathematical-alphabets--020). Available in 0.2.0.
+
+### Labeled arrows (workspace)
+
+`\xrightarrow[below]{above}` and `\xleftarrow[below]{above}` support parsing, suggestions, editable math labels and export. See [label syntax and slot order](LATEX-GUIDE.md#labeled-arrows--020). Available in 0.2.0.
+
+## Keyboard ranges and brace discovery (0.2.1)
+
+Shift+Left/Right extends or shrinks the same model range used by dragging. Structures are crossed as balanced units; copied and deleted ranges use existing model normalization. Shift+Up/Down extends to an adjacent top-level document line, using a logical text offset rather than pixel-based column matching; grid-cell rectangular selection is not added. Copy, cut, wrapping, deletion and Undo use the existing range behavior. IME composition and modifier shortcuts retain their existing handling.
+
+Typing `{` offers both paired braces and cases. Paired braces remain the first candidate; choose Cases explicitly to insert its editable grid.

package/SYMBOLS.md

@@ -1,9 +1,34 @@
 # Symbol names / 기호 이름 목록
 
-All 90 supported symbols. Use **All symbols / 전체 기호** in the editor to browse and insert them before typing. Both English and Korean searches work in either UI language. The full aliases, triggers and LaTeX mappings are in [SUPPORT.md](./SUPPORT.md).
+All 117 supported symbols. Use **All symbols / 전체 기호** in the editor to browse and insert them before typing. Both English and Korean searches work in either UI language. The full aliases, triggers and LaTeX mappings are in [SUPPORT.md](./SUPPORT.md).
 
 | Symbol / 기호 | English / 영문 | Korean / 한글 |
 |---|---|---|
+| ↑ | Up arrow | 위쪽 화살표 |
+| ↕ | Up-down arrow | 상하 화살표 |
+| ⇐ | Double left arrow | 왼쪽 이중 화살표 |
+| ⇑ | Double up arrow | 위쪽 이중 화살표 |
+| ⇓ | Double down arrow | 아래쪽 이중 화살표 |
+| ⇕ | Double up-down arrow | 상하 이중 화살표 |
+| ↗ | Northeast arrow | 오른쪽 위 대각선 화살표 |
+| ↘ | Southeast arrow | 오른쪽 아래 대각선 화살표 |
+| ↙ | Southwest arrow | 왼쪽 아래 대각선 화살표 |
+| ↖ | Northwest arrow | 왼쪽 위 대각선 화살표 |
+| ⟶ | Long right arrow | 긴 오른쪽 화살표 |
+| ⟵ | Long left arrow | 긴 왼쪽 화살표 |
+| ⟷ | Long left-right arrow | 긴 양방향 화살표 |
+| ⟹ | Long double right arrow | 긴 오른쪽 이중 화살표 |
+| ⟸ | Long double left arrow | 긴 왼쪽 이중 화살표 |
+| ⟺ | Long double left-right arrow | 긴 양방향 이중 화살표 |
+| ↪ | Hook right arrow | 갈고리 오른쪽 화살표 |
+| ↩ | Hook left arrow | 갈고리 왼쪽 화살표 |
+| ⇀ | Right harpoon up | 오른쪽 위 반쪽 화살표 |
+| ↼ | Left harpoon up | 왼쪽 위 반쪽 화살표 |
+| ⇁ | Right harpoon down | 오른쪽 아래 반쪽 화살표 |
+| ↽ | Left harpoon down | 왼쪽 아래 반쪽 화살표 |
+| ⇌ | Equilibrium right-left arrows | 평형 오른쪽 왼쪽 화살표 |
+| ⇋ | Equilibrium left-right arrows | 평형 왼쪽 오른쪽 화살표 |
+| ↓ | Down arrow | 아래쪽 화살표 |
 | ∋ | Contains as an element | 원소를 포함 |
 | ⊃ | Superset | 상위집합 |
 | ⊇ | Superset or equal | 상위집합 또는 같음 |
@@ -94,3 +119,10 @@ All 90 supported symbols. Use **All symbols / 전체 기호** in the editor to b
 | Φ | Uppercase Phi | 대문자 파이 / 피 |
 | Ψ | Uppercase Psi | 대문자 프사이 |
 | Ω | Uppercase Omega | 대문자 오메가 |
+
+## Slanted relations (workspace)
+
+| Symbol | English | Korean | LaTeX |
+|---|---|---|---|
+| ⩾ | Greater than or equal (slanted) | 크거나 같음 (기울임) | `\geqslant` |
+| ⩽ | Less than or equal (slanted) | 작거나 같음 (기울임) | `\leqslant` |