information:extraction, structural:scholar_edition, information:highlighting, structural:reformatting
Variable-binding operators

The following

are some common variable-binding operators. Each of them binds the variable x for some set S.

Many of these are operators which act on functions of the bound variable. In more complicated contexts, such notations can become awkward and confusing. It can be useful to switch to notations which make the binding explicit, such as

for sums or

for differentiation.