OpenMath Signatures

---

Type System: sts
Content Dictionary: meta
CD Signature File: meta.sts

---

official

               
Date:  1999-05-13
Author: David Carlisle

            

---

CD

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="CDTopLevelEntry"/>
    </OMA>
  <OMV name="CD"/>
 </OMA>
</OMOBJ>

( ( CDTopLevelEntry ^* ) >> CD )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CDComment

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( String >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CDName

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( String >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CDURL

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( String >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

Example

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="StringOrObject"/>
    </OMA>
  <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( ( StringOrObject ^* ) >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CDDate

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="Date"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( Date >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CDVersion

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="VersionString"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( VersionString >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CDReviewDate

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="Date"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( Date >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CDStatus

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="CDStatus"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( CDStatus >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CDUses

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="CDName"/>
    </OMA>
  <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( ( CDName ^* ) >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CDDefinition

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="CDDefinitionEntry"/>
    </OMA>
  <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>

( ( CDDefinitionEntry ^* ) >> CDTopLevelEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

Description

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDEntry"/>
 </OMA>
</OMOBJ>

( String >> CDEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

Name

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>

( String >> CDDefinitionEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

Signature

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="SignatureObject"/>
    <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>

( SignatureObject >> CDDefinitionEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

Presentation

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>

( String >> CDDefinitionEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

CMP

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>

( String >> CDDefinitionEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

FMP

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="StringOrObject"/>
    </OMA>
  <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>

( ( StringOrObject ^* ) >> CDDefinitionEntry )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---