OpenMath Signatures
Type System:
sts
Content Dictionary:
multiset1
CD Signature File:
multiset1.sts
official
Date: 20003-19-21
Author: David Carlisle
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS cd="sts" name="mapsto"/>
<OMA>
<OMS cd="sts" name="nary"/>
<OMA>
<OMS cd="sts" name="structure"/>
<OMV name="Multiset"/>
</OMA>
</OMA>
<OMA>
<OMS cd="sts" name="structure"/>
<OMV name="Multiset1"/>
</OMA>
</OMA>
</OMOBJ>
(
(
Multiset
*
)
>>
Multiset1
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMV name="Multiset"/>
</OMOBJ>
Multiset
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nary" cd="sts"/>
<OMS name="Object" cd="sts"/>
</OMA>
<OMV name="Multiset"/>
</OMA>
</OMOBJ>
(
(
Object
*
)
>>
Multiset
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nassoc" cd="sts"/>
<OMV name="Multiset"/>
</OMA>
<OMV name="Multiset"/>
</OMA>
</OMOBJ>
(
(
Multiset
*assoc
)
>>
Multiset
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nassoc" cd="sts"/>
<OMV name="Multiset"/>
</OMA>
<OMV name="Multiset"/>
</OMA>
</OMOBJ>
(
(
Multiset
*assoc
)
>>
Multiset
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="Multiset"/>
<OMV name="Multiset"/>
<OMV name="Multiset"/>
</OMA>
</OMOBJ>
(
Multiset Multiset
>>
Multiset
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="Multiset"/>
<OMV name="Multiset"/>
<OMS cd="setname2" name="Boolean"/>
</OMA>
</OMOBJ>
(
Multiset Multiset
>>
Boolean
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMV name="Multiset"/>
<OMS cd="setname2" name="Boolean"/>
</OMA>
</OMOBJ>
(
Object Multiset
>>
Boolean
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMV name="Multiset"/>
<OMS cd="setname2" name="Boolean"/>
</OMA>
</OMOBJ>
(
Object Multiset
>>
Boolean
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="Multiset"/>
<OMV name="Multiset"/>
<OMS cd="setname2" name="Boolean"/>
</OMA>
</OMOBJ>
(
Multiset Multiset
>>
Boolean
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="Multiset"/>
<OMV name="Multiset"/>
<OMS cd="setname2" name="Boolean"/>
</OMA>
</OMOBJ>
(
Multiset Multiset
>>
Boolean
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="Multiset"/>
<OMV name="Multiset"/>
<OMS cd="setname2" name="Boolean"/>
</OMA>
</OMOBJ>
(
Multiset Multiset
>>
Boolean
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="Multiset"/>
<OMV name="CardinalNumber"/>
</OMA>
</OMOBJ>
(
Multiset
>>
CardinalNumber
)
Content Dictionary Entry.