a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Discussion of "pi'u'e"
[parent] [root]
Comment #2: Re: Utility
Curtis W Franks (Wed Nov 22 07:51:27 2023)

krtisfranks wrote:
> This word functions as "" herein:
> Operator ⋅ : S×SS×S, such that (a, b) $\mapsto$ (a,
> b)
> In other words: ab = (a, b).
> Then, make such operator a big operator.
> This then allows one to generate tuples of arbitrary size without
> "...". For example:
> (x1, x2,..., xn) is ambiguous because the rule of construction
> not specified and the ellipsis relies on intuition but is not
> defined, whereas ×i∈

1, n

$\scriptstyle \mathbb <a class=Z$">(xi) is not
> ambiguous. It also allows for extension to infinitely many terms via an
> explicitly defined formula.
> English mathematical writing usually lacks this degree of clarity.

Ah, none of the math writing is rendering. I will try to fix this later.
For now, click "reply" in order to see the TeX version.

Currently, jbovlaste will accept data for 70 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?