Return-path: <apache@lojban.org>
Envelope-to: jbovlaste-admin@lojban.org
Delivery-date: Fri, 04 Nov 2022 05:56:10 -0700
Received: from [192.168.123.254] (port=60716 helo=jiten.lojban.org)
	by d7893716a6e6 with smtp (Exim 4.94.2)
	(envelope-from <apache@lojban.org>)
	id 1oqwEx-008CJt-WB
	for jbovlaste-admin@lojban.org; Fri, 04 Nov 2022 05:56:10 -0700
Received: by jiten.lojban.org (sSMTP sendmail emulation); Fri, 04 Nov 2022 12:56:02 +0000
From: "Apache" <apache@lojban.org>
To: gleki.is.my.name@gmail.com
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word dei'i -- By gleki
Date: Fri, 4 Nov 2022 12:56:02 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Message-Id: <E1oqwEx-008CJt-WB@d7893716a6e6>
X-Spam-Score: -2.9 (--)
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --



In jbovlaste, the user gleki has edited a
definition of "dei'i" in the language "English".

Differences:

2,2c2,2
< 		non-logical connective: set difference of $x_1$ and $x_2$: ${x_1}{dei'i}{x_2}={x_1}\setminus{x_2}=\{{x}\in{x_1}:{x}\notin{x_2}\}$
---
> 		non-logical connective: set difference of $x_1$ and $x_2$: ${x_1}dei'i{x_2}={x_1}\setminus{x_2}=\{{x}\in{x_1}:{x}\notin{x_2}\}$


Old Data:

	Definition:
		non-logical connective: set difference of $x_1$ and $x_2$: ${x_1}{dei'i}{x_2}={x_1}\setminus{x_2}=\{{x}\in{x_1}:{x}\notin{x_2}\}$

	Notes:
		

	Jargon:
		

	Gloss Keywords:

	Place Keywords:



New Data:

	Definition:
		non-logical connective: set difference of $x_1$ and $x_2$: ${x_1}dei'i{x_2}={x_1}\setminus{x_2}=\{{x}\in{x_1}:{x}\notin{x_2}\}$

	Notes:
		

	Jargon:
		

	Gloss Keywords:

	Place Keywords:




You can go to <http://jbovlaste.lojban.org/dict/dei'i> to see it.