Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Sat, 18 Jun 2022 19:44:11 -0700 Received: from [192.168.123.254] (port=33038 helo=web.lojban.org) by d05c5d92ccf2 with smtp (Exim 4.94.2) (envelope-from ) id 1o2kv2-002mHm-8K for jbovlaste-admin@lojban.org; Sat, 18 Jun 2022 19:44:10 -0700 Received: by web.lojban.org (sSMTP sendmail emulation); Sun, 19 Jun 2022 02:44:08 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word joi'i -- By krtisfranks Date: Sun, 19 Jun 2022 02:44:08 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has edited a definition of "joi'i" in the language "English". Differences: 5,5c5,5 < Generally noncommutative. The result is a single string written over the alphabet that is the union of each of the alphabets of the $X_i$'s. joihi('ABC', 'DEF', 'GHI') = 'ABC' + 'DEF' + 'GHI' = 'ABCDEFGHI'. Use SE conversion for left-concatenation, depending on exact presentation of input strings. See "{konkatena}". --- > Generally noncommutative. $X_i$ may be referenced by a defined/named string-type object/variable; for example: if s = 'BC', then joihi('A', s) = 'ABC' (and not 'As'). The result is a single string written over the alphabet that is the union of each of the alphabets of the $X_i$'s. joihi('ABC', 'DEF', 'GHI') = 'ABC' + 'DEF' + 'GHI' = 'ABCDEFGHI'. Use SE conversion for left-concatenation, depending on exact presentation of input strings. See "{konkatena}". Old Data: Definition: mekso string operator (n-ary): formal right-concatenation; $X_1 + X_2 + X_3 +...$, where $X_i$ is a string/word/text/character/letteral/lerfu/quoted utterance (quote appropriately iff necessary; preserve and be careful about the use-vs.-mention distinction) for all $i$. Notes: Generally noncommutative. The result is a single string written over the alphabet that is the union of each of the alphabets of the $X_i$'s. joihi('ABC', 'DEF', 'GHI') = 'ABC' + 'DEF' + 'GHI' = 'ABCDEFGHI'. Use SE conversion for left-concatenation, depending on exact presentation of input strings. See "{konkatena}". Jargon: Gloss Keywords: Word: concatenation, In Sense: mekso operator; for strings Place Keywords: New Data: Definition: mekso string operator (n-ary): formal right-concatenation; $X_1 + X_2 + X_3 +...$, where $X_i$ is a string/word/text/character/letteral/lerfu/quoted utterance (quote appropriately iff necessary; preserve and be careful about the use-vs.-mention distinction) for all $i$. Notes: Generally noncommutative. $X_i$ may be referenced by a defined/named string-type object/variable; for example: if s = 'BC', then joihi('A', s) = 'ABC' (and not 'As'). The result is a single string written over the alphabet that is the union of each of the alphabets of the $X_i$'s. joihi('ABC', 'DEF', 'GHI') = 'ABC' + 'DEF' + 'GHI' = 'ABCDEFGHI'. Use SE conversion for left-concatenation, depending on exact presentation of input strings. See "{konkatena}". Jargon: Gloss Keywords: Word: concatenation, In Sense: mekso operator; for strings Place Keywords: You can go to to see it.