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