---

e loc e'  ==  (e <loc e')  (e = e')

---

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

---

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


Date html generated: 2010_08_27-AM-01_07_14
Last ObjectModification: 2008_02_27-PM-10_00_42

Home Index