Fixing  minus degree in symbolic diff