Define a predicate that holds of both numeral and their negative and enumerate them

Question

I need to define a predicate plusminus(X). that holds of 2 numerals, s(0) which is the successor of 0 meaning s(s(s(0))) = 3 and their negatives p(0) which repr