Symmetric definition of neg_derive and derive