Mathematics · proofs · software

Across the collection

Notation index

Read side by side

Find a symbol and read it in context.

Glossary · Browse by work · Coverage

Enter a symbol or choose a work.

    Browse all 90 works

    Physics

    2593 spellings · 39 text sources

    Agent Dynamics

    0 spellings · 3 text sources · Manual notation pass needed

    RRCT

    0 spellings · 3 text sources · Manual notation pass needed

    AVOC

    312 spellings · 8 text sources

    PRISM-1

    120 spellings · 4 text sources

    Coverage and how to read the results

    48,301 spellings across 90 works, from 120,550 mathematical passages.

    Exact symbol matches come first. Results that share a source passage are grouped within their work. Open the matching entries to follow each spelling individually. A notation table is quoted as a whole row, so letters mentioned in that row do not acquire the row’s definition.

    All TeX, Markdown and text documents selected by the reader, plus these manuscript entrypoints and their literal includes. Historical archives and source code identifiers are outside the mathematical notation index.

    PDF glyphs, illustrations, unusual TeX syntax and notation outside math delimiters still need manual coverage. Each work lists the files scanned. Source passages remain authoritative and existing confidence assessments are unchanged.

    Download the full index (JSON) · How the index is maintained