Make symbolic minus handle unary minus by default