The Logical Language Group Online Dictionary Query |
There are specific tools that make searching this database easier:
la sutysisku dictionary, an offline enabled web app
la vlasisku search engine for the Lojban dictionary
From Lojban to English :
Word: fa'au [jbovlaste] Type: experimental cmavo (YOU RISK BEING MISUNDERSTOOD IF YOU USE THIS WORD) Gloss Word: function map notation Gloss Word: map notation in the sense of "function" Gloss Word: anonymous function in the sense of "function map notation" selma'o: VUhU Definition: mathematical unary operator: map notation Notes: 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 input-output 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.