Input

<notatio-in> — a MathLive-backed math editor. It emits notatio-change with the current LaTeX on every edit; MathLive is lazy-loaded on first focus.

#Live editing → evaluated output

Edit the field — the boxed, evaluated result updates on the right. Try \frac{1}{2}+\frac{1}{3} or \sqrt{16}+2^3.

source

<LiveInput value="\frac{1}{2}+\frac{1}{3}" />

#Wrapper heads

The button writes a head around what you typed — N(…) for a number, FullForm(…) for the AST, TraditionalForm(…) for the rendering. The caret picks which. It is a wrapper, not an edit: the field keeps showing your expression and only the emitted value gains the head, so pressing again takes it off. Heads stay symbolic until you ask for one.

In$\sqrt{2}+π$Out$\sqrt{2}+π$

source · editable

<notatio-cell value="Sqrt(2) + Pi" data-allow-mismatch="children" />

#Plain editable field

source · editable

<notatio-in value="x^2 + 1" />

#Read-only (no editor loaded)

readonly renders the value with MathLive's static markup and never loads the editor — cheap inline math for prose.

source · editable

<notatio-in value="\int_0^1 x^2 \, dx" readonly />

#Pinned to a declaration

bind fixes the symbol and domain asserts its domain. The declaration is a read-only field with one \placeholder hole, so the caret cannot reach the name or the ≔ — try to delete them and nothing happens. Only the value is yours.

source · editable

<notatio-in bind="p" domain="integer" value="p \coloneq 3" />

#A declaration that plays

A pinned number can sweep itself: play adds a button, min, max and step bound the sweep (inferred from the value when absent, the way a knob's are), and each step is emitted as if it had been typed. loop says what the ends do — cycle, reflect, or none, the default, since a range has ends. Hold ▶ for the speed-and-loop panel; typing into the field stops it.

source · editable

<notatio-in bind="n" domain="integer" value="n \coloneq 3" min="0" max="12" step="1" play loop="reflect" />

#Any type compute-engine knows

The domain is whatever type you name — \mathbb{Z}, \mathbb{R}, \mathbb{Q}, \mathbb{C} and \mathbb{B} are spelled conventionally, anything else falls back to an upright name.

source · editable

<notatio-in bind="camera" domain="complex" value="\mathrm{camera} \coloneq 2 + 3i" />