OpenMath Signatures
Type System:
sts
Content Dictionary:
metagrp
CD Signature File:
metagrp.sts
CD Signature as XML Encoded OpenMath:
metagrp.omsts
<OMOBJ>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS cd="setname1" name="Z"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
Z
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDGroupTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDGroupTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ>
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="String"/>
<OMV name="CDTopLevelEntry"/>
</OMA>
</OMOBJ>
(
String
>>
CDTopLevelEntry
)
Content Dictionary Entry.
<OMOBJ>
<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.