From: "Apache" <apache@digitalkingdom.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word mrenspoi -- By krtisfranks
Date: Tue, 24 Apr 2018 14:32:15 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1fB5Xr-0003jw-LM@stodi.digitalkingdom.org>
X-Spam_score: 4.5
X-Spam_score_int: 45
X-Spam_bar: ++++
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  In jbovlaste, the user krtisfranks has edited a definition
    of "mrenspoi" in the language "English". Differences: 5,5c5,5 < This is the
    order by which $-\infty (infty) < r < +\infty (infty) for all r in the reals,
    $\dots < -2 < -1 < 0 < +1 < +2 < \dots$, $0 < r_1/q < r_2/q < 1 \forall r_1,
    r_2, q \in \mathbb{N}: [...] 
 
 Content analysis details:   (4.5 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was blocked.
                             See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: lojban.org]
  1.4 RCVD_IN_BRBL_LASTEXT   RBL: No description available.
                             [173.13.139.235 listed in bb.barracudacentral.org]
 -0.5 BAYES_05               BODY: Bayes spam probability is 1 to 5%
                             [score: 0.0124]
  1.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS
  2.6 TO_NO_BRKTS_DYNIP      To: lacks brackets and dynamic rDNS


In jbovlaste, the user krtisfranks has edited a
definition of "mrenspoi" in the language "English".

Differences:

5,5c5,5
< 		This is the order by which $-\infty (infty) < r < +\infty (infty) for all r in the reals, $\dots < -2 < -1 < 0 < +1 < +2 < \dots$, $0 < r_1/q < r_2/q < 1 \forall r_1, r_2, q \in \mathbb{N}: r_1 < r_2 < q$, etc. Occasionally isomorphically intersects {cleispoi} and {moinspoi}. See also: {enspoi}.
---
> 		This is the order by which $-\infty (infty) < r < +\infty (infty)$ for all r in the reals, $\dots < -2 < -1 < 0 < +1 < +2 < \dots$, $0 < r_1/q < r_2/q < 1$ for all $r_1, r_2, q$ in the naturals such that $r_1 < r_2 < q$, etc. Occasionally isomorphically intersects {cleispoi} and {moinspoi}. See also: {enspoi}.


Old Data:

	Definition:
		$x_1$ is the traditional/standard/classical strict total-order(ing) '<' which endows the (extended) real numbers.

	Notes:
		This is the order by which $-\infty (infty) < r < +\infty (infty) for all r in the reals, $\dots < -2 < -1 < 0 < +1 < +2 < \dots$, $0 < r_1/q < r_2/q < 1 \forall r_1, r_2, q \in \mathbb{N}: r_1 < r_2 < q$, etc. Occasionally isomorphically intersects {cleispoi} and {moinspoi}. See also: {enspoi}.

	Jargon:
		

	Gloss Keywords:
		Word: traditional total-order of the reals, In Sense: 

	Place Keywords:


New Data:

	Definition:
		$x_1$ is the traditional/standard/classical strict total-order(ing) '<' which endows the (extended) real numbers.

	Notes:
		This is the order by which $-\infty (infty) < r < +\infty (infty)$ for all r in the reals, $\dots < -2 < -1 < 0 < +1 < +2 < \dots$, $0 < r_1/q < r_2/q < 1$ for all $r_1, r_2, q$ in the naturals such that $r_1 < r_2 < q$, etc. Occasionally isomorphically intersects {cleispoi} and {moinspoi}. See also: {enspoi}.

	Jargon:
		

	Gloss Keywords:
		Word: traditional total-order of the reals, In Sense: 

	Place Keywords:


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