lojbo jufsisku
Lojban sentence search

Total: 3 result(s)
zai'ai
experimental cmavo (elidable) terminator of mathematical/formal quote with mau'au See also: mau'au.
mau'au
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.
kei'au
experimental cmavo mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C Equivalent to: lo'i li zy du ca'e li pe'o se'au mau'au B zai'ai vei ma'o xy boi ny ve'o boi tau sy boi C ku poi ke'a cmaci xanri zi'e poi ke'a mleca li ci'i zo'u tau sy klesi A. Acts on an operator/function (b) and produces all finite results of that operator being used on any allowable number of elements of the set A without repetition within any given application. The result must be defined (and finite, obviously). Application of the operator on nothing (the elements of the empty set) is generically allowed and follows convention (for example, an empty sum may evaluate to 0). Differs from kei'ai. Use mau'au and zai'ai for quoting B. C will be specified explicitly (possibly elsewhere) and/or via zoi'ai.