Nivalis
≤ x ≤
≤ y ≤