OpenMath Signatures


Type System: sts
Content Dictionary: limit1
CD Signature File: limit1.sts
CD Signature as XML Encoded OpenMath: limit1.omsts



Date:  1999-04-13
Author: James Davenport


limit

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/> 
    <OMS name="NumericalValue" cd="sts"/>
    <OMV name="TendsTo"/>
    <OMA>
      <OMS name="mapsto" cd="sts"/> 
      <OMS name="NumericalValue" cd="sts"/>
      <OMS name="NumericalValue" cd="sts"/>
    </OMA>
    <OMS name="NumericalValue" cd="sts"/>
  </OMA> 
</OMOBJ>
( NumericalValue TendsTo ( NumericalValue >> NumericalValue ) >> NumericalValue )

Content Dictionary Entry.


[Next: both_sides] [Last: null] [Top]


both_sides

<OMOBJ>
    <OMV name="TendsTo"/>
</OMOBJ>
TendsTo

Content Dictionary Entry.


[Next: above] [Previous: limit] [Top]


above

<OMOBJ>
    <OMV name="TendsTo"/>
</OMOBJ>
TendsTo

Content Dictionary Entry.


[Next: below] [Previous: both_sides] [Top]


below

<OMOBJ>
    <OMV name="TendsTo"/>
</OMOBJ>
TendsTo

Content Dictionary Entry.


[Next: null] [Previous: above] [Top]


null

<OMOBJ>
    <OMV name="TendsTo"/>
</OMOBJ>
TendsTo

Content Dictionary Entry.


[First: limit] [Previous: below] [Top]