On gloss:
-
xy
- letteral for x.
In definition:
- enai
- logical connective: sumti afterthought x but not y.
- gi'enai
- logical connective: bridi-tail afterthought x but not y.
- ijenai
- logical connective: sentence afterthought x but not y.
- jenai
- logical connective: tanru-internal afterthought x but not y.
- ca'ei'a
- Unary mekso operator: unit vector/normalization of the argument (vector) X.
- dei'i
- non-logical connective: set difference of x1 and x2: x1dei'ix=x1\setminusx=\x\inx1:x\notinx
- fu'a'au
- digit/number: second Foias constant; the value x for which (1/x)(1 + (1/x))x=1 is true; ≈ 2.293…
- ga'ai
- unary mekso operator: Lorentz-Einstein gamma factor +1/((1-(|X|2)) for input X.
- gau'a
- mekso (no-more-than-4-ary) operator: Gaussian function f(x, a, b, c) = c e-((x-a).
- gu'ai
- binary operator: left group action g.x
- ji'i'u
- mekso, at-most-5-ary operator: a rounding function; ordered input list is (x,n,t,m,b) and the output is sgn(x) bt roundn (b(-t) abs(x)), with rounding preference n and where the fractional part of b(-t) abs(x) being equal to 1/2 causes the roundn ( ) function to map b(-t) abs(x) to the nearest integer of form 2Z+m, for base b (determined by context if not explicitly input) and some integer Z (determined by context).
- lau'au
- mekso unary operator: for input X, this outputs X/(1+X).
- nei'au
- unary mekso operator: (-1)x
- po'i'ei
- n-ary mekso operator: for an input of ordered list of ordered pairs ((X1, Y, it outputs formal generalized rational function (x - X1)^Y in the adjoined indeterminate (here: x).
- ra'i'e
- ternary mekso/mathematical operator: radical; for input (x,y,z), it outputs the largest y-th-power-free product of prime divisors of x in structure (ring) z.
- sei'u'e
- digit/number: ideal first Skewe's constant Sk1 ; the first (minimal positive) infimum for which all greater x in some neighborhood have the property that it is false that the prime counting function at x is less than the logarithmic integral function at x
- jgitrpipa
- x1 is a pipa.
- jgitrxu
- x1 is an erhu with bow x2.
- namcixu
- For mo'e x4 x in x1 there exist mo'e x5 y in x2 such that x me'au x3 y; for mo'e x6 y in x2 there exist mo'e x7 x in x1 such that x me'au x3 y.
- ro'engu'i
- x1 (energy) is X-ray radiation, radiating at x2, from source x3
- rolsixu
- For every x in x1, there exists a y in x2 such that x me'au x3 y; For every y in x2 there exists an x in x1 such that x me'au x3 y.
- xy zei dirce
- d1 radiates X-rays d2 under conditions d3.
- xy zei gusni
- x1 (energy) is X-ray radiation, radiating at x2, from source x3
- jgitrviolino
- x1 is violin/fiddle/ with bow x2.
In notes:
- lenjo
- x1 is a lens/glass [focussing shape/form] focussing x2 to focus/foci x3 by means/material x4.
- bazysa'u
- x1 is a necessary and sufficient condition for x2 to happen
- dubyfancu
- f1 is an identity function/single-valued mapping from domain f2 to range f3
- mitysisku
- x1 seeks/searches/looks for something that has the same identity as x2 among x3
- mumymockemkuctai
- x1 forms or is collectively arranged so as to form a shape idealized as a quincunx.
- nacfa'i
- x1=f1 mathematically(/experimentally?) finds/solves for the value of x2=f2
- selbri
- x1 (ka) is the relation of predicate x2 (du'u), which has arguments x3 (sequence of sumti).
- terbri
- x1 (sequence of sumti) is the sequence of arguments that, joined by relation x2 (ka), form predicate x3 (du'u)
- cajni
- x1 is a binary operator which is commutative in space/under conditions/on (or endowing) set x2; x1 and x2 are each abelian (in different senses).
- cmeta
- x1 is meta to/an example of x2 that describes such an object/concept/notion/system/topic/etc., being meta in property/aspect x3, and which has features x4, governed by/considered in system/considerations/epistemology/theory x5; x1 is meta (a particular type of abstraction of x2 so as to apply to itself in some sense); x1 is an/a piece of/an example of x2 that applies fractally thereto
- premi
- x1 is the principal/chief/main/boss/primary/premier in aspect/organizational principle/role x2 (ka) in organization/system x3.
- salri
- x1 is the differintegral of x2 with respect to x3 of order x4, with differintegration being according to definition/specification or of type x5.
- bi'oi
- non-logical interval connective: ordered interval with specified endpoint/terminus x1 and signed measure/length/duration x2; interval between x1 and x1 + x according to the ordering of the space.
- boi'o'u
- explicit "mu'o'u"-orientation marker
- dau'e
- Numeral: Some but not all.
- dau'o
- Quantifier modifier: endowment of existential import - repeal of existential import/abstention from claiming existence - assertion of non-existence
- fau'i
- mekso ternary operator: inverse function of input function X1 with respect to its input X2, taken on branch or restricted domain X3 ("domain" being of X1).
- fi'ai
- marks end of prenex in stack-based dialect
- ji'i'u'u
- mekso, at-most-5-ary; rounding function. (See notes).
- ju'u'i
- long-digit interpretation specifier; macrodigit named base specifier
- ka'o'ei
- imaginary i, comma - spherical coordinates: first coordinate gives magnitude (complex modulus/radius) of the number, the second number gives the angle from the positive real axis measured counterclockwise toward the 'positive' imaginary axis (default: in the primary branch/Arg) as measured in some units (which that number should contain; the contextless default will suppose radians); the angle is not normalized.
- ko'o'e
- Pro-sumti: references a previously mentioned sumti, but which one is not specified.
- mau'au
- mekso: conversion of operator/function to operand
- ne'o'o
- mekso quaternary operator – Pochhammer symbol: with/for input (X1, X, this word/function outputs \prodk = 0^X2 - 1 (X; by default, X4 = 1 unless explicitly defined otherwise.
- po'i'oi
- mekso at-most-3-ary operator: convert to polynomial; X1 (ordered list of algebraic structure (probably field) elements) forms the (ordered list of) coefficients of a polynomial/Laurent-like series with respect to indeterminate X2 under ordering rule X3 (default for finite list: the first entry is the coefficient of the highest-degree term and each subsequent entry is the next lesser-degree coefficient via counting by ones and wherein the last entry is the constant term)
- te'au'u
- mekso ternary operator: Knuth up-arrow notation: a \uparrow \dots \uparrow b of order/with c-2 arrows ("\uparrow") initially, evaluated from right to left; the cth hyperoperator on a by b.
- te'o'a
- unary mekso operator: natural exponentiation operator exp, where exp(a) = ea \forall a.
- va'ei'a
- digit/number: Dom Hans van der Laan's plastic number ρ = 1.324717957244746025960908854…
- vei'u
- binary mekso operator: mod(ulus)/remainder; X1 \% X2, \,\,\, X1 (mod(X2)).
- vi'oi'au
- mekso unary operator: the set of all fixed points of function a
- xau'e
- symbol string to number/variable
- xo'ei
- unary mekso operator: produces a string of n consecutive "xo'e"'s, treated as digits (concatenated into a single string of digits)
- zau'e'u
- text affirmation/negation mode toggle
- zau'u
- digit/number: arbitrarily large/great/increased/many (finite but as big as desired/allowed).
- zu'ei
- Adverbial, metacommentary-introducing, and complex discursive: I express this utterance/construct/(rest of the) bridi which has been tagged for the purpose or goal of enacting, causing, enabling, implementing, actualizing, manifesting, enhancing, yielding, or rendering applicable the immediately following and enclosed bridi or in order to make the immediately following and enclosed bridi be true (or closer to the truth or more true or more strongly true) in application to the utterance/construct/rest of the bridi which has been tagged by this marker; the tagged expression/construct is for the benefit or sake of making the immediately following and enclosed bridi true.
- cpolinomi'a
- x1 is a formal polynomial with coefficients x2 (ordered list) of degree x3 (li; nonnegative integer) over structure/ring x4 (to which coefficients x2 all belong) and in indeterminant x5.
- daigno
- x1 (ordered list) is a sampling of entries of matrix/tensor x2 in which exactly one entry is sampled from each row and/or column (etc.) between entries x3 (list; default: the largest 'square'/'hypercubic' sampling possible in the entire tensor starting with the first entry, see notes) inclusively following selection procedure/rule/function/order x4 (default: diagonally, see notes), where the tensor/matrix is expressed in basis/under conditions x5
- enfa
- x1 abstractly pertains to an exponential/root/logarithmic relationship between the elements of x2 (ordered pair) which are related via concrete relationship x3.
- funtiio
- x1 (plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x3 when given input x2; x1(x2) = x3
- grafnseljimcnkipliiu
- x1 is a 'quipyew' tree graph with special node x2, on nodes x3 (set of points; includes x2), with edges x4 (set of ordered pairs of nodes), and with other properties x5.
- jivnrfarzu'e
- x1 (mass/set) do orienteering in competition of type x2 [property of the event] with (other) rule(s) x3 [property of each participant].
- ki'inmoi
- x1 is in relation x4 with x2 to the x3th degree; x1 is x3 nodes before x2 in the sequence such that every element thereof and the next element are linked by the relation x4; x1 is [ that which is in relation x4 with ] (repeat x3 times the part between brackets) x2
- pi'eitci
- x1 (the acidity/hydrogen activity of a solution) measures x2 in pH according to scale (si'o) x3 using logarithmic base x4 (default: ten)
- sakprtlfmsnge'a
- x1 is a word in language x2 with longest consonant cluster having length x3
- salrixo
- x1 is the differintegral of x2 with respect to x3 of order x4, with differintegration being according to definition/specification or of type x5.
- seplrcnite
- x1
is a Dedekind cut associated with number/point x2 of totally ordered set x3
- socnrpanrnji'akobi
- x1 is a binary operator in structure x2 which exhibits the Jacobi property with respect to binary operator x3 (which also endows x2) and element/object x4 (which is an element of the underlying set which form x2).
- zdeltakronekre
- x1 is a Kronecker delta function defined on structure x2 which evaluates to one for any argument belonging to subset x3 and which evaluates to zero otherwise
- izyng
- Ising
- gi bu
- pro-sumti: in the second half of a sumti forethought connective expression, refers to the first half.
- cu'a zei fancu
- f1 is an absolute value function from domain f2 to range f3.