Skip to content

Formats

Every syntax an expression can arrive in and every form it can come back out as, with worked examples and the footguns each one carries.

InputForm

  • InputForm — an expression printed as notatio you could have typed. What the components copy out, what the REPL prints, and the InputForm entry in any Out menu.

Input syntax

The ways to write an expression.

  • MathJSON — the expression AST; the most explicit input, and what every other form parses into.
  • LaTeX — compute-engine's default text input (ce.parse).
  • AsciiMath — a note on where it fits (compute-engine emits it, but does not yet parse it).

notatio itself — the restricted-Epsil subset the components take in their expression attributes — is documented with the components, in the component reference; printing an expression back out as notatio is InputForm.

Output syntax

The mirror image — the forms an expression comes back out in (the form selector on any output cell), including code forms whose translations carry footguns.

Not here

These pages are about representing an expression — the syntax it is written in and the forms it comes back out in. Representing a number is a different question with its own guide: numeral systems covers what goes in the base slot of IntegerDigits, from mixed radix to Zeckendorf to residue systems.