OpenMath Signatures

---

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

---

---

generalised_hyperbolic

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMA>
        <OMS name="mapsto" cd="sts"/>
        <OMS name="C" cd="setname1"/>
        <OMS name="Z" cd="setname1"/>
        <OMS name="Z" cd="setname1"/>
        <OMA>
          <OMS name="mapsto" cd="sts"/>
          <OMS name="C" cd="setname1"/>
          <OMS name="C" cd="setname1"/>
        </OMA>
      </OMA>
    </OMOBJ>
  

( C Z Z >> ( C >> C ) )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---