OmDoc II: Technische Realisierung (Beispiel)

Step 3: Übertragung der Formeln in Open Math und Zusammenfassung zu mathematischen Aussagen
<theory xml:id="newton">
  <symbol name="Newton_Law"/>
    <definition name="newton.law" for #kraft #Newton_Law>
       <CMP> Die Kraft 
            <om:OMOBJ><om:OMV name="K"/>
            </om:OMOBJ> 
       </CMP>
    </definition>
</theory>
15 Seite 16