On Saturday 27 November 2004, Leopold Toetsch wrote: > Â + Âgt I0, I1, L1ÂÂÂÂÂÂ Â Â Â=> lt I1, I0, L1 > Â + Âisge I0, 100, I2 Â Â=> isle I0, I2, 100 But a>=b (gt I0, I1) is equivalence to b<a (le I1, I0) and not to b<=a (lt I1, I0)...? (The same for isge a, b <=> islt b, a)
jens
