Discrete Math: Nested Quantifiers.
Write the negation of ExAxP(x,y) in words and symbolically (where E = existential qualifier and A = universal quantifier).

Given that P(x,y) = "x is taller than y", I read that as "There does not exist an x for which for all y, x is taller than y." Is there another way to represent that symbolically besides ~(ExAxP(x,y)) other than that itself without the outermost parentheses?

Question

Discrete Math: Nested Quantifiers. 
Write the negation of ExAxP(x,y) in words and symbolically (where E = existential qualifier and A = universal quantifier).

Given that P(x,y) = "x is taller than y", I read that as "There does not exist an x for which for all y, x is taller than y." Is there another way to represent that symbolically besides ~(ExAxP(x,y)) other than that itself without the outermost parentheses?