OpenMath Signatures

---

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

---

official

               
Date:  1999-04-13
Author: James Davenport

            

---

limit

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <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.

---

[First: ] [Last: ] [Top]

---

---

both_sides

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
    <OMV name="TendsTo"/>
</OMOBJ>

TendsTo

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

above

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
    <OMV name="TendsTo"/>
</OMOBJ>

TendsTo

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

below

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
    <OMV name="TendsTo"/>
</OMOBJ>

TendsTo

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

null

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
    <OMV name="TendsTo"/>
</OMOBJ>

TendsTo

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---