From: "Apache" <apache@digitalkingdom.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word te'o'a -- By krtisfranks
Date: Thu, 14 Jul 2016 11:30:15 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1bNlOp-0004Gd-3o@stodi.digitalkingdom.org>
X-Spam_score: 0.5
X-Spam_score_int: 5
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 "te'o'a" in the language "English". Differences: 5,5c5,5 < Approximately
    equivalent to "{se} {te'a} {te'o}" possibly with {ma'o} included somewhere.
    This is mostly useful for abbreviation and for being careful in distinguishing
    functions from numbers (since $\mathbb{e}^x$ is a number and not a function;
    this word is $\mathbb{e}^{#}$ using Wolfram notation). For example: Let $\operatorname{D}$
    be the differentiation operator with respect to the first variable of its
    argument. Then $\operatorname{D} (\mathbb{e}^x) = 0$ at best, strictly speaking,
    because $x$ must be just a number and so the differentiand is a constant
   (in fact and at worst, it may not even be a function, in which case the derivative
    is not even defined); we accept this notation to mean something else (which
    will be shown momentarily) because few other notations are convenient. However,
    what we really mean, and what this word facilitates, is: $\operatorname{D}
    (\operatorname{exp}) = \operatorname{exp}$; this is true because the differentiand
    is a differentiable (and special) function. --- > Approximately equivalent
    to "{se} {te'a} {te'o}" possibly with {ma'o} included somewhere. This is
   mostly useful for abbreviation and for being careful in distinguishing functions
    from numbers (since $e^x$ is a number and not a function; this word is $e^{#}$
    using Wolfram notation). For example: Let $D$ be the differentiation operator
    with respect to the first variable of its argument. Then $D(e^x) = 0$ at
   best, strictly speaking, because $x$ must be just a number and so the differentiand
    is a constant (in fact and at worst, it may not even be a function, in which
    case the derivative is not even defined); we accept this notation to mean
    something else (which will be shown momentarily) because few other notations
    are convenient. However, what we really mean, and what this word facilitates,
    is: $D(exp) = exp$; this is true because the differentiand is a differentiable
    (and special) function. 11,11d10 < Word: natural exponentiation function,
    In Sense: \n12a12,12 \n> Word: natural exponentiation function, In Sense:
    [...] 
 
 Content analysis details:   (0.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]
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0000]
  1.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


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

Differences:

5,5c5,5
< 		Approximately equivalent to "{se} {te'a} {te'o}" possibly with {ma'o} included somewhere. This is mostly useful for abbreviation and for being careful in distinguishing functions from numbers (since $\mathbb{e}^x$ is a number and not a function; this word is $\mathbb{e}^{#}$ using Wolfram notation). For example: Let $\operatorname{D}$ be the differentiation operator with respect to the first variable of its argument. Then $\operatorname{D} (\mathbb{e}^x) = 0$ at best, strictly speaking, because $x$ must be just a number and so the differentiand is a constant (in fact and at worst, it may not even be a function, in which case the derivative is not even defined); we accept this notation to mean something else (which will be shown momentarily) because few other notations are convenient. However, what we really mean, and what this word facilitates, is: $\operatorname{D} (\operatorname{exp}) = \operatorname{exp}$; this is true because the differentiand is a differentiable (and special) function.
---
> 		Approximately equivalent to "{se} {te'a} {te'o}" possibly with {ma'o} included somewhere. This is mostly useful for abbreviation and for being careful in distinguishing functions from numbers (since $e^x$ is a number and not a function; this word is $e^{#}$ using Wolfram notation). For example: Let $D$ be the differentiation operator with respect to the first variable of its argument. Then $D(e^x) = 0$ at best, strictly speaking, because $x$ must be just a number and so the differentiand is a constant (in fact and at worst, it may not even be a function, in which case the derivative is not even defined); we accept this notation to mean something else (which will be shown momentarily) because few other notations are convenient. However, what we really mean, and what this word facilitates, is: $D(exp) = exp$; this is true because the differentiand is a differentiable (and special) function.
11,11d10
< 		Word: natural exponentiation function, In Sense: 
\n12a12,12
\n> 		Word: natural exponentiation function, In Sense: 


Old Data:

	Definition:
		unary mekso operator: natural exponentiation operator exp, where $\operatorname{exp}(a) = \mathbb{e}^a \forall a$.

	Notes:
		Approximately equivalent to "{se} {te'a} {te'o}" possibly with {ma'o} included somewhere. This is mostly useful for abbreviation and for being careful in distinguishing functions from numbers (since $\mathbb{e}^x$ is a number and not a function; this word is $\mathbb{e}^{#}$ using Wolfram notation). For example: Let $\operatorname{D}$ be the differentiation operator with respect to the first variable of its argument. Then $\operatorname{D} (\mathbb{e}^x) = 0$ at best, strictly speaking, because $x$ must be just a number and so the differentiand is a constant (in fact and at worst, it may not even be a function, in which case the derivative is not even defined); we accept this notation to mean something else (which will be shown momentarily) because few other notations are convenient. However, what we really mean, and what this word facilitates, is: $\operatorname{D} (\operatorname{exp}) = \operatorname{exp}$; this is true because the differentiand is a differentiable (and special) function.

	Jargon:
		

	Gloss Keywords:
		Word: natural exponentiation function, In Sense: 
		Word: exp, In Sense: 

	Place Keywords:


New Data:

	Definition:
		unary mekso operator: natural exponentiation operator exp, where $\operatorname{exp}(a) = \mathbb{e}^a \forall a$.

	Notes:
		Approximately equivalent to "{se} {te'a} {te'o}" possibly with {ma'o} included somewhere. This is mostly useful for abbreviation and for being careful in distinguishing functions from numbers (since $e^x$ is a number and not a function; this word is $e^{#}$ using Wolfram notation). For example: Let $D$ be the differentiation operator with respect to the first variable of its argument. Then $D(e^x) = 0$ at best, strictly speaking, because $x$ must be just a number and so the differentiand is a constant (in fact and at worst, it may not even be a function, in which case the derivative is not even defined); we accept this notation to mean something else (which will be shown momentarily) because few other notations are convenient. However, what we really mean, and what this word facilitates, is: $D(exp) = exp$; this is true because the differentiand is a differentiable (and special) function.

	Jargon:
		

	Gloss Keywords:
		Word: exp, In Sense: 
		Word: natural exponentiation function, In Sense: 

	Place Keywords:


You can go to <http://jbovlaste.lojban.org/dict/te'o'a> to see it.