Output

<notatio-out> — read-only typeset rendering of a compute-engine expression. Accepts LaTeX (the default — it renders an encoding it is handed, and a cell hands it the editor's LaTeX), MathJSON or notatio, optionally evaluates first, and offers the textual display forms through its In/Out menu (hover the label). compute-engine loads only when MathJSON or notatio, evaluation, or an assertion is requested.

#Evaluated LaTeX

source

<notatio-out value="\sqrt{16}+2^3" format="latex" evaluate />

#MathJSON input

source

<notatio-out value='["Add", ["Power", "x", 2], 1]' format="mathjson" />

#notatio input

source

<notatio-out value="Sqrt(16) + 2^3" format="notatio" evaluate />
<notatio-out value="Binomial(n, k) + $\frac{1}{2}$" format="notatio" />

#Display forms (hover the label)

The In/Out label shows the current form and opens a menu of forms — StandardForm, TraditionalForm, MatrixForm, TreeForm, FullForm, TeXForm, WolframFullForm, PythonForm, GPUShaderForm — plus copy. The source-shaped forms (Full/TeX/Wolfram/Python) render in a <notatio-code> box.

source

<notatio-out value="\binom{n}{k}" label="Out" />

#TreeForm (raw)

The expression as a tree of heads, opened one level at a time — the way to read a definition down to the heads it bottoms out in. A closed node shows its arguments as one line of InputForm. raw boxes without canonicalising, so the tree is the expression as authored (Subtract stays a Subtract, Greater is not flipped into a Less); drop it, or evaluate, and the tree is the canonical form. Given a resolveHead property (a reference page supplies one from its entries) heads link to their pages, a head with a reference definition can be unfolded in place with ≝, and a head on the primitive frontier carries its reason.

source

<notatio-out value='["Sum",["Filter",["Range",1,["Subtract",["Length","p"],1]],["Function",["Greater",["At","p","i"],["At","p",["Add","i",1]]],"i"]]]' format="mathjson" form="tree" raw label="Def" />

#GPUShaderForm

The whole shader a GPU path here would run: a real expression in one or two unknowns gives the plot grid's compute shader; a single unknown that emits as a complex expression gives the phase portrait's fragment shader instead (try \zeta(s)).

source

<notatio-out value="\sin(x) + y^2" form="gpushader" label="Out" />

#MatrixForm (hover the label, pick MatrixForm)

A list of lists renders as an actual bracketed matrix (via compute-engine's Matrix head, under the hood in TeX). Pick TeXForm to read the underlying \begin{pmatrix}… string.

source

<notatio-out value='["List",["List",1,2],["List",3,4]]' format="mathjson" label="Out" />

#WolframFullForm

The expression transpiled to Wolfram Language full form (Binomial[n, k]) via @enumeratio/wolfram — the same serializer the reference validation loop uses. Shown in a <notatio-code> box.

source

<notatio-out value='["Binomial","n","k"]' format="mathjson" form="wolfram" label="Out" />

#PythonForm (NumPy)

compute-engine's Python target emits NumPy source (x ** 2 + np.sin(x)). Non-numeric results (lists, comparisons) have no NumPy form.

source

<notatio-out value='["Add",["Sin","x"],["Power","x",2]]' format="mathjson" form="python" label="Out" />

#Snapshot assertion

Set expect to a MathJSON value: the evaluated result is compared live and a mismatch or error shows inline. This one passes (silent); change the expectation to see the diagnostic.

source

<notatio-out value='["Add",2,2]' format="mathjson" evaluate expect="4" />