mau'au MAUhAU experimental cmavo

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.


In definition:

zai'ai
(elidable) terminator of mathematical/formal quote with mau'au

In notes:

ci'au'i
mensonge at-most-3-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
du'a'e
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, ...
du'a'o
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
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, ...
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
x1 abstractly pertains to an exponential/root/logarithmic relationship between the elements of x2 (ordered pair) which are related via concrete relationship x3.
faukne
x1 is a mathematical object for/to which operator x2 is defined/may be applied when under conditions x3 under definition (of operator)/standard/type x4