By replacing P by the product with its complex conjugate, one can also assume that P is non-negative.
Antonyms