Give the negation of the statement

∃! x ∈ U [P (x)].

As I recall, ∃! means "there exists exactly one" So, I guess the negation would be

There exists at least one
or
there is none

(∃ ∨ ∄)

or, maybe ~∃!