Skip to content

Script references

Commands that render a document — chiefly automath render html and automath render atmxs — take a script reference (SOURCE) telling automath which document to render.

SOURCE has the form FILE::SCRIPT_NAME and can designate either:

  • an embedded document shipped with automath, referenced as LEVEL/FILE::SCRIPT_NAME (e.g. 6e/cm1_blanche::multiplications);
  • a standalone YAML file of your own, referenced by its path, PATH::SCRIPT_NAME (e.g. ./my_script::multiplications). The .yaml (or .atmx) extension may be omitted; the file is resolved relative to the current directory.

To list the available embedded references:

automath show scripts --all

The current list is also shown on the Creating an HTML document page.