OpenMath Signatures

Type System: sts
Content Dictionary: minmax
CD Signature File: minmax.sts

official


Date:  1999-04-13
Author: David Carlisle

min

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="OrderedSet"/>
   </OMA>
  <OMV name="OrderedSet"/>
 </OMA>
</OMOBJ>

( ( OrderedSet ^* ) >> OrderedSet )

Content Dictionary Entry.

[First: ] [Last: ] [Top]

max

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="OrderedSet"/>
   </OMA>
  <OMV name="OrderedSet"/>
 </OMA>
</OMOBJ>

( ( OrderedSet ^* ) >> OrderedSet )

Content Dictionary Entry.

[First: ] [Last: ] [Top]