A Notion-style editor with the typographic quality of LaTeX: native equations, theorems and proofs, automatic numbering and cross-references, and reference-grade bibliographies.