Changes

→‎Note 7: trim & markup
Line 2,791: Line 2,791:  
===Note 7===
 
===Note 7===
   −
<pre>
+
One more piece of notation will save us a few bytes in the length of many of our schematic formulations.
One more piece of notation will save us a few bytes
  −
in the length of many of our schematic formulations.
     −
Let !X= {x_1, ..., x_k} be a finite class of variables --
+
Let <math>\mathcal{X} = \{ x_1, \ldots, x_k \}</math> be a finite class of variables, regarded as a formal alphabet of formal symbols but listed here without quotation marks.  Starting from this initial alphabet, the following items may then be defined:
whose names I list, according to the usual custom, without
  −
what seems to my semiotic consciousness like the necessary
  −
quotation marks around their particular characters, though
  −
not without not a little trepidation, or without a worried
  −
cognizance that I may be obligated to reinsert them all to
  −
their rightful places at a subsequent stage of development --
  −
with regard to which we may now define the following items:
     −
1.  The "(first order) differential alphabet",
+
#<p>The "(first order) differential alphabet",</p><p><math>\operatorname{d}\mathcal{X} = \{ \operatorname{d}x_1, \ldots, \operatorname{d}x_k \}.</math>
 
+
#<p>The "(first order) extended alphabet",</p><p><math>\operatorname{E}\mathcal{X} = \mathcal{X} \cup \operatorname{d}\mathcal{X},</math></p><p><math>\operatorname{E}\mathcal{X} = \{ x_1, \dots, x_k, \operatorname{d}x_1, \ldots, \operatorname{d}x_k \}.</math></p>
    d!X= {dx_1, ..., dx_k}.
  −
 
  −
2.  The "(first order) extended alphabet",
  −
 
  −
    E!X= !X! |_| d!X!,
  −
 
  −
    E!X= {x_1, ..., x_k, dx_1, ..., dx_k}.
      +
<pre>
 
Before we continue with the differential analysis
 
Before we continue with the differential analysis
 
of the source proposition q, we need to pause and
 
of the source proposition q, we need to pause and
12,080

edits