Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Sat, 18 Jun 2022 19:40:56 -0700 Received: from [192.168.123.254] (port=33034 helo=web.lojban.org) by d05c5d92ccf2 with smtp (Exim 4.94.2) (envelope-from ) id 1o2krt-002mHU-FR for jbovlaste-admin@lojban.org; Sat, 18 Jun 2022 19:40:55 -0700 Received: by web.lojban.org (sSMTP sendmail emulation); Sun, 19 Jun 2022 02:40:53 +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:40:53 +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: 2,2c2,2 < 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). --- > 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$. 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). 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. 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.