T⁡(a,b)=⌊-a⌋+1,