mekso string operator (ternary): find-and-replace; in string/text/word/sequence X1 formally replace X2 (ordered tuple of terms to be replaced) with X3 (ordered tuple of terms to be respectively substituted)
mekso operator: in ordered tuple/list/vector/sequence X1, replace the X2th entry with term X3 of appropriate type, and leave all other entries untouched (optional: where the index for the very first/leading/header entry is X4).
mekso at-most-4-ary operator: integer lattice ball; the set of all points belonging to the intersection of Zn with the closure of the ball that is centered on X1 and has radius X2 in metric X3, where Z is the set of all integers and where, for any set A and non-negative integer n,
An is the set of all n-tuples such that each coordinate/entry/term belongs to A, and where the dimensionality n = X4..
mekso n-ary ordered operator: structure creator/ordered tuple, 'endow'; the structure formed by underlying set X1 (as) endowed with element, order, quoted operator, etc. X2, X3, ...
mekso binary operator: extract substructure/underlying set/endowing operator; the substructure (general sense; includes just operator, order, set, etc.) of X1 (structure; explicitly given by {du'a'e}) which is formed by collecting the ith entries of that {du'a'e}-tuple in order together into their own {du'a'e}-tuple (or by extracting them naked into the ambient environment if X2 is a singleton) for all i in set X2
mekso k-ary operator, for natural k and 1 < k < 5: ordered input (f, g, S, m) where f and g are functions, S is a set of positive integers or "ro" (="all"), and m is 0 or 1 (as a toggle); output is a function equivalent to the function f as applied to an input ordered tuple with g applied to the entries/terms with indices in S (or to all entries/terms if S="ro") if m=0, or g left-composed with the same if m=1.
mekso unary operator: Levi-Civita symbol; for input n-tuple (a1, a ... , an), where n is a strictly positive integer, the output is \varepsilona, where \varepsilon is the Levi-Civita symbol under the convention of mapping (1, 2, ..., n) to 1.
x1 (collection, body, set, mass, tuple, n-some, etc.) is x2 (li; default: 1) indivisible/atomic/elementary/basic discrete entities (or particles) of type x3 in composition/content, by standard x4; the count of instances of x3 in x1 is x2 by standard x4.
x1 (predicate, relation, function, set of n-tuples) is the converse/conversion/complement/transpose/commutation/functional-'permutation' of x2 (same typing as x1), as defined on set/object/space/graph x4, with argument/input slots permuted via function/operator/marker/permutation/(group) action x3.
x1 (value, state, form) is the asymptote/limit [Calculus sense] of function/dependent variable/limitand x2 as independent variable(s) x3 tend(s) toward point/respective value(s)/tuple x4 along path/from direction x5.
mekso operator: continued fraction, Kettenbruch notation; for ordered input (X1, X, where: X1 is an ordered pair of functions and X2 is a free or dummy variable/input/index which ranges through set X3 in order(ing) X4, the result is K(X for Kettenbruch notation K.
unary mathematical operator: length/number of components/terms of/in object/array/formal string/sequence/word/text in some alphabet/base/basis which includes each digit; number of digits/components/entries