The code on the right is an explanation or implementation you could jump into. The replacement for use would be the function name, such as `summation` or `product`. A computer language is already used to communicate almost all math these days: LaTeX. A slightly lighter syntax, perhaps with optional unicode names, built on a symbolic math package would not be any more cumbersome.