fa'ai
experimental cmavo mathematical ordered nary operator: (pointwise) functional left composition; ° Inputs must be appropriate functions; outputs a function; follow by boi in order to include arguments (producing a number). a_{1} ° a_{2} °…° a_n = a_{1}(a_{2}(…(a_n(•))…)). Replaces all of the inputs with a (possibly stripped, as appropriate) tuple; for replacing a single argument in a multivariate function with a function (either evaluated or not), use (partial) (e)valuation.


fa'au
experimental cmavo mathematical unary operator: map notation Input is unary: a function f; the output is an ordered tuple: (the domain set of f, the codomain set of f, the image of f, the mapping rule of f (defined with a dummy variable which is taken to belong to the the domain set of f), the graph/plot (set of inputoutput pairs) of f). Might be useful for lambda calculus, etc. Equip the output with ma'o in order to use as a/the function. Extract a term in the tuple in order to use it directly.


fatri


fau'e
experimental cmavo iterated function leftcomposition with self: f∘f∘...∘f, n times. First argument must be a function(al) or some object f that can be leftcomposed with itself; second argument is a real number (usually nonnegative integer) n for which n compositions of f makes sense; the result is f leftcomposed with itself n times. This word is a shortcut for longer expressions. See also: fa'ai, se'au, te'a, fe'a.


finti


ga'u'au
experimental cmavo mekso nary operator: append contravariant (upper) indices to tensor Terminated by te'oi'oi. Takes ordered input (A, X_1, X_2, …, X_(n1)), where A is a tensor and X_i is an index with an understood (or elsewhere defined) ordered domain. It appends/assigns X_i to be the ith contravariant index of A, which is usually designated as a superscript in the ith position to the right of A. See also: ni'a'au. It is probable that Einstein summation notation will be conventionally in effect.


ge'ai
experimental cmavo metasyntactic variable prenex Explicitly marks variables, e.g. ko'a ko'e, lerfustrings, and/or brodV (must be converted into sumti using me'ei) as being metasyntactic: i.e. having no specific meaning or referent and merely used to demonstrate syntax or hypothetical scenarios. Automatically unassigns these variables from any previous assignment. e.g. (me'ei broda me'ei brode ko'a ko'e fo'a fo'e ge'ai). See ge'ei, ce'ai, ke'au, zo'u, da'o


gu'ai
experimental cmavo binary operator: left group action g.x a.b = (a,b), where a is the group element and b is an element of the set. The type/description/label/name may be subscripted or denoted by function notation, as might be the group to which it belongs and/or the set upon which it acts (typically, the label should denote in the order: group, set, descriptor). See also: ma'e'o, zi'a'o, ru'ei


jai'a
experimental cmavo grammatically converts LAhE to SE; semantically the result tags the x_{1} of the selbri as being LAhE the supplied x_{1}. Can be converted to other than x_{1} with SE. Cf. jai in the TAG sense. Note that jai in the nonTAG sense is the same as jai'a tu'a. Example usage: lo tadni cu jai'a lu'o sruri lo dinju gi'e krixa <> loi tadni cu sruri lo dinju gi'e jai'a lu'a krixa <> loi tadni cu sruri lo dinju .ije lu'a lo go'i cu krixa


jai'i
experimental cmavo takes NU or LE NU, turns into sumtcita: clarifies the semantic NUtype of the current bridi. 'mi jai'i li'i klama lo zarci', 'jai'i li'i ku mi klama lo zarci', and 'mi klama lo zarci jai'i li'i' are all acceptable and equivalent. Implies '(zo'e) li'i mi klama lo zarci', but avoids wrapping the bridi in an abstraction that makes its sumti hard to access via le go'i etc. Tagged sumti, if present, fills the x_{2} of the NU; e.g. 'jai'i li'i do mi klama lo zarci' implies 'fe do li'i mi klama lo zarci'


ji'au
experimental cmavo attitudinal scope modifier: marks following attitudinal/UIcluster as applying to the last lexical unit Part of a proposal to redefine attitudinals/UIclauses as being inherently ambiguous in scope; placing ji'au before the UIclause (e.g. ji'au ui) will restore and emphasize the original functionality of UIclauses attaching to the last lexical unit. See i'au, toi'e, fu'e, fu'o. Closable with toi'o.


jimte


jinvi


ji'o'e
experimental cmavo connective: elliptical/generic/vague Like zo'e or co'e, but for connectives. The connectives referred to may be logical or nonlogical; they take the form proper for the syntax/context (probably is best implemented using postoriginal CLL connective system modification such as the MAD proposal or the system developed by selpa'i); in standard original CLL usage, this would be the intertanru afterthought connective. Synonymous with but morphologically and phonotactically allowed version of .y'i.


kai'ei


ka'o'ai
experimental cmavo imaginary i (noncomma) This is literally a unit, a pure number that is treated as a scalar; it is what happens when considering C to be a field over C  ordered pairs/tuples for coordinates no longer make much sense. Thus, this number operates exactly as one might think i would/should operate: as a single number, without components. In certain bases, it can be used a pure digit (which simplifies some potential numeric strings, compared to the usage of ka'o therein). See also: ka'o
