OpenMath Signatures
Type System:
sts
Content Dictionary:
combinat1
CD Signature File:
combinat1.sts
official
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="N" cd="setname1"/>
<OMS name="N" cd="setname1"/>
<OMS name="N" cd="setname1"/>
</OMA>
</OMOBJ>
(
N
N
>>
N
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nary" cd="sts"/>
<OMS name="N" cd="setname1"/>
</OMA>
<OMS name="N" cd="setname1"/>
</OMA>
</OMOBJ>
(
(
N
*
)
>>
N
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="N" cd="setname1"/>
<OMS name="N" cd="setname1"/>
<OMS name="N" cd="setname1"/>
</OMA>
</OMOBJ>
(
N
N
>>
N
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="N" cd="setname1"/>
<OMS name="N" cd="setname1"/>
<OMS name="N" cd="setname1"/>
</OMA>
</OMOBJ>
(
N
N
>>
N
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="N" cd="setname1"/>
<OMS name="N" cd="setname1"/>
</OMA>
</OMOBJ>
(
N
>>
N
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="N" cd="setname1"/>
<OMS name="N" cd="setname1"/>
</OMA>
</OMOBJ>
(
N
>>
N
)
Content Dictionary Entry.