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