From: Philippe Verdy (verdy_p@wanadoo.fr)
Date: Mon Oct 27 2003 - 18:28:05 CST
> So, all we can do is to define compatibility equivalence between:
> <c1, CCO, c2>
> and:
> <c1, c2>
> if and only if:
> CC(c1) > CC(c2) > 0.
Oops! Of course, I really meant:
All we can do is to define compatibility equivalence (NFK*)
between:
<c1, CCO, c2>
and:
<c1, c2>
unless:
CC(c1) > CC(c2) > 0.
More formally:
{ NFKC(<c1, CCO, c2>) = NFKC(<c1, c2>),
and NFKD(<c1, CCO, c2>) = NFKD(<c1, c2>)
}
<=> not
{ CC(c1) > CC(c2),
and CC(c2) > 0
}
<=>
{ CC(c1) <= CC(c2),
or CC(c2) <= 0
}
This archive was generated by hypermail 2.1.5 : Thu Jan 18 2007 - 15:54:25 CST