mekso: conversion of operator/function to operand

Must be followed by a function (meaning "f", not "f(x)" (which is a number)) or operator (such as "+"). Treats it formally and syntactically as a number so that it can be operated upon, such as by se'au or by a functional/operator (technical sense). Terminated by zai'ai; the pair essentially act as mathematical quotation marks. Also works on connectives and kei'i. Expressions may be complicated (such as with SE, NA, NAI, etc. modifying the string); perhaps one may even find a use for quoting relations (such as equality or element-hood) and/or some brivla or other cmavo. See also: kei'au.

- ci'au'i
- mekso at-most-4-ary operator: integer lattice ball; the set of all points belonging to the intersection of Z
^{n}with the closure of the ball that is centered on X_{1}and has radius X_{2}in metric X_{3}, where Z is the set of all integers and where, for any set A and non-negative integer n, A^{n}is the set of all n-tuples such that each coordinate/entry/term belongs to A, and where the dimensionality n = X_{4}.. - du'a'e
- mekso n-ary ordered operator: structure creator/ordered tuple, 'endow'; the structure formed by underlying set X
_{1}(as) endowed with element, order, quoted operator, etc. X_{2}, X_{3}, ... - du'a'o
- mekso binary operator: extract substructure/underlying set/endowing operator; the substructure (general sense; includes just operator, order, set, etc.) of X
_{1}(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 X_{2}is a singleton) for all i in set X_{2} - fa'ai'ai
- 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.
- gei'au
*(exp!)* - mekso 7-ary operator: for input (X
_{1 }= z, X_{2 }= (a_{i)}= (b_{j)}= p, X_{5 }= q, X_{6 }= h_{1, X}= h_{2)}, this word/function outputs/yields \sum_{n}=0^\infty (((\prod_{i }= 1^{p (}ne'o'o(a_{i,n,1,h}= 1^{q (}ne'o'o(b_{j,n,1,h}; by default, X_{6 }= 1 = X_{7}unless explicitly specified otherwise. - gu'au'i
- mekso operator, variable arity - algebraic structure order of X1; OR: order of/(size of) period of element X1 in algebraic structure X2 under operator/of type X3
- kei'au
- mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C
- ku'au'a
- mekso (n+1)-ary operator: q-analog converter - the ath analog of b (quoted operator) applied to operands c, d, ...
- se'au
- 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
- sei'au
- terbri editor: passes the terbri value through the quoted function so that the sumti that fills it really is filling the output of the function
- vi'oi'au
- mekso unary operator: the set of all fixed points of function a
- zoi'ai
- non-mekso quote/name substitution for ordered collection of prescriptions, descriptions, definitions, etc.
- enfa
- x
_{1}abstractly pertains to an exponential/root/logarithmic relationship between the elements of x_{2}(ordered pair) which are related via concrete relationship x_{3}. - faukne
- x
_{1}is a mathematical object for/to which operator x_{2}is defined/may be applied when under conditions x_{3}under definition (of operator)/standard/type x_{4}