x\ge~y