I dun a DIP, possibly the best DIP ever

[Timon Gehr]

On 25.04.20 00:21, Walter Bright wrote:
> 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...)

Actually, ∀x. P(x) is closer to the meaning of P(x) && ... with Manu's 
notation.

P(x)... could be something like:

expand x in P(x).