Symbolize using schemas, quantifiers and logical connective.

Question

How can I symbolize the follow sentence:

"not all integers numbers are positive"

I tried to do this:

if x∈ℤ and P(x)= x>0

(∃x)¬p(x)

Thanks in advance.