Lines Matching full:10001
1563 * c1=d800 cp1=10001 c2=dc00 cp2=100001564 * cp1-cp2>0 but c1-c2<0 and in fact in UTF-32 it is { d800 10001 } < { 10000 }