enumeratio

@enumeratio/boxes ​

Wolfram-style box primitives: the presentation tree between an expression and its rendering. Plain JSON in Wolfram's FullForm shape — a leaf is a string token, a node is [head, ...args] — with MathML, LaTeX, plain-text, AsciiMath, and Markdown-prose serialisers, plus the reverse readers for MathML and Markdown. formats builds its MathMLForm and AsciiMath on this package; the reference build uses it for inline math in prose.

Entry points ​

  • makeBoxes(json) — MakeBoxes: an expression's traditional notation, as boxes. Pure function of the MathJSON tree (no engine, no canonicalization); parenthesization is precedence-driven, every node reporting how tightly it binds. The main entry is base (the box tree, makeBoxes, the notation registry and declareBoxes), what every symbol package's notation builds on. The serialisers and readers are presentation, at @enumeratio/boxes/render.

  • toLatex, toMathML/parseMathML, toText/toAscii (/render) — boxes to LaTeX (for MathLive and KaTeX), to and from presentation MathML, to plain text and AsciiMath.

  • toMathJson/fromMathJson — boxes as MathJSON, round-tripping.

  • readMarkdown/toMarkdown, texSource, closeDollar (/render) — a small Markdown-as-prose-boxes pass: a $…$ island held as FormBox(tex, "TeXForm"), ${…} holes found by scanning running text and TeX alike.

  • RowSource, RowCount, RowBatch, pinnedPage — what a TableViewBox asks of its rows: a count that is exact, a lower bound or infinite, rows by range as boxes, and the first page a static environment draws with a Skeleton row for the rest.

  • SliderBox, CheckboxBox, … DynamicBox, DynamicModuleBox — the interface boxes: Slider, Dynamic and the other controls lower to them (CONTROL_NOTATION), each control box with a binding, a domain and options, and CONTROL_INTENT says what each is for (continuous, choice, toggle, …) so a host without widgets can draw its own.

  • declareBoxes — declares the box heads (RowBox, FractionBox, SuperscriptBox, …) as compute-engine heads, typed and described from this package's own reference/<Head>/ records; an evaluated box is itself.

Usage ​

ts
import { makeBoxes } from "@enumeratio/boxes";
import { toAscii, toLatex, toText } from "@enumeratio/boxes/render";

const boxes = makeBoxes(["Power", "x", 2]); // ["SuperscriptBox", "x", "2"]
toLatex(boxes); // "x^2"
toText(boxes); // "x²"
toAscii(boxes); // "x^2"

Where to go next ​

  • Boxes — the design: what a box is, the head set, and the MakeExpression direction not yet built.
  • formats — MathMLForm, AsciiMath, and the rest of the format registry built on this package.
  • reference/ — one folder per box head (FractionBox, GridBox, StyleBox, …), the source declareBoxes reads.