p⁡(a,b)=⌈-a⌉,