---

e p e' ==  e p< e'  (e = e')

---

Definitions :  or: P  Q,  es-p-locl: e p< e',  equal: s = t,  es-E: E
FDL editor aliases :  es-p-le

---

e  p\mleq{}  e'  ==    e  p<  e'  \mvee{}  (e  =  e')


Date html generated: 2010_08_27-AM-09_44_24
Last ObjectModification: 2009_12_17-PM-10_52_36

Home Index