It must lead to more in-depth text
It must be in a form that is easy to update and extend.
It must help readers searching for a topic.
Most text in this system is in one of two forms: “book text” and “core text”.
Book text gives an orderly development of mathematical ideas.
Shorter and more narrowly focused than most math books.
Theorems, proof, definitions, examples
Other books attached in a tree-like structure.
Short, highly-linked texts, organized around a concept or method
Discursive, condensed discussions of a mathematical topic
Previews, surveys, summaries, leading to other text.
Helps the user navigate to other topics.
The same topic may reappear in several core texts.
Sets of Real
Functions of a Real
Core Text and Book Text
First step of a very long term project.
Need for contributors and collaboration.
Goal is the building of large-scale structures of mathematical text.