Why does replacement `{0, 0} /. {a_, -a_} -> c` not work? How to make `{0,0}` to match the pattern `{a,-a}`?