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