mathematical quinary operator; big operator: left sequence notation/converter - operator a, sequence b defined as a function on index/argument/variable/parameter c, in set d, under ordering e
Produces the left application of the operation/function a=• on sequence b(c), the terms of which are functions evaluated at (possibly dummy) values c (multi-index), where each c belongs to set d (at the values of which the function b is evaluated), operation a being applied thereto in order e (rule prescription; specifies order of c's running through d; note that the application is from the left). The steps at which c's are taken can be specified by d or by taking complicated (evaluated) expressions z(c) instead of c as arguments of b. Notice that e affects both c (or z(c)) directly as well as b (less directly) by being established on d. Output is in the format (for example: scalar, tensor, function, etc.) that the operation a=• yields. If b is a constant (at least with respect to the arguments c being ranged over), then the operator a is taken being applied to b for a number of times equal to the cardinality of d (and, technically, in the order specified by e). If d is explicitly created via use of ce'o, then the order is from the first term uttered to the last term uttered, as uttered; e need not be specified (if it is, it overrides the order of utterance). For Sigma/series summation notation (si'i), a=+, for Pi multiplication notation a=×, for functional power/iterated composition of functions a=∘, for the Cartesian product of sets a=× (preferred to "exponentiation of sets" notation like An). mau'au and zai'ai will be necessary for the proper use of this word (particularly for specifying a and e); e will be specified explicitly (possibly elsewhere) and/or via zoi'ai. See also: ma'o'e.