I dun a DIP, possibly the best DIP ever

[Adam D. Ruppe]

On Friday, 24 April 2020 at 22:21:31 UTC, Walter Bright wrote:
> I did a little research:
>
>     ∀xP(x)
>
> means:
>
>     for all x in P(x)
>
> or in ... notation:
>
>     P(x...)

Shouldn't it actually be

P(x)...

or am i misunderstanidng?