Reference

Reference material for the enumeratio symbols and the compute-engine functions they build on, and for the notatio interface. Look things up here; the guides explain them.

• Symbol reference — every documented compute-engine head and enumeratio collection, with live, test-pinned examples.
• Formats — the input syntaxes an expression can arrive in (MathJSON, LaTeX, AsciiMath) and the forms it comes back out as, code forms included.
• Components — notatio's <notatio-*> elements: every attribute, its type and default, generated from the source.

The symbol and component pages are generated from the packages themselves — heads from their reference entries, attributes from the element sources — so they cannot drift from the code. The format pages are hand-written, and say so where a claim is not test-pinned.