As a result it is a hypertext system. As a test I have transcribed 30 years of hand written notes on mathematical systems that I have found to be either useful or used in the literature of software engineering and computing. These are in files with names that start with 'logic' or 'math'. The files with names that start 'notn' and 'types' contain this information. In essence a document is divided into a hierarchical outline with sections, subsections, paragraphs and lines.
Sections have headlines that can act as identifiers.
Paragraphs are eith informal comments, definitions, assumptions or proved results. The system is designed to make the searching and translation of the documents as easy as possible. A model of collections of things that can often be put in order.