OpenMath Signatures
Type System:
sts
Content Dictionary:
metagrp
CD Signature File:
metagrp.sts
official
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS cd="setname1" name="Z"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
Z
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<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.
<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.
<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.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nary" cd="sts"/>
<OMV name="CDSTopLevelEntry"/>
</OMA>
<OMV name="CDGroup"/>
</OMA>
</OMOBJ>
(
(
CDSTopLevelEntry
*
)
>>
CDGroup
)
Content Dictionary Entry.