Step 2: Encoding the formal structure of the document
<omdoc> <omtext xml:id="newton.law">

Encoding von Gesetzen, Axiomen, Beispielen, Aufzählungen, Aussagen-Relationen, Herleitungen, numerischen Rechnungen, ..

z.B. <omgroup xml:id=newton-ex" type="enumeration"> ..</omgroup> </omtext> </omdoc>

14 Benennen der verschiedenen Inhaltstypen Seite 15