From CS2800 wiki
This takes a lot of writing, and also requires us to introduce the variable there exists such that ".(which often just adds complexity). So, we will abbreviate this to "
We will also abbreviate sums and products of all the values:denotes the sum of the and denotes their product. We won't worry too much about the indices; unless otherwise specified, we just mean add (or multiply) all of them.