I dun a DIP, possibly the best DIP ever

[Walter Bright]

On 4/24/2020 1:55 PM, Walter Bright wrote:
> How are things like this expressed in mathematics?

I did a little research:

     ∀xP(x)

means:

     for all x in P(x)

or in ... notation:

     P(x...)