Succeeds r←x⊳y

r is whether x is greater than y according to total array ordering.