YES

---- CR(R)
---- Rule Labeling [van Oostrom, RTA 2008].
R:
-(+(x,y)) -> +(-(x),-(y))
+(-(x),-(y)) -> -(+(x,y))

Label:
[-(+(x,y)) -> +(-(x),-(y))] = 0
[+(-(x),-(y)) -> -(+(x,y))] = 0