OpenMath Signatures

---

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

---

official

               
Date:  1999-04-13
Author: David Carlisle

            

---

forall

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMS name="binder" cd="sts"/>
</OMOBJ>

binder

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

exists

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMS name="binder" cd="sts"/>
</OMOBJ>

binder

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---