Fix MathML syntax

src/epub/text/tractatus-logico-philosophicus.xhtml

@@ -3771,7 +3771,7 @@
 						<h3 epub:type="title">5.534</h3>
 					</td>
 					<td>
-						<p>And we see that the apparent propositions like: “<m:math alttext="a = a"><m:mi>a</m:mi><m:mo>=</m:mo><m:mi>a</m:mi></m:math>”, “<m:math alttext="a = b.b = c.⊃a = c"><m:mrow><m:row><m:mi>a</m:mi><m:mo>=</m:mo><m:mi>b</m:mi></m:row><m:mo>.</m:mo><m:mrow><m:mi>b</m:mi><m:mo>=</m:mo><m:mi>c</m:mi></m:mrow></m:mrow><m:mo>.</m:mo><m:mo>⊃</m:mo><m:mrow><m:mi>a</m:mi><m:mo>=</m:mo><m:mi>c</m:mi></m:mrow></m:math>”, “<m:math alttext="(x).x = x"><m:mrow><m:mfenced><m:mi>x</m:mi></m:mfenced><m:mo>.</m:mo><m:mi>x</m:mi></m:mrow><m:mo>=</m:mo><m:mi>x</m:mi></m:math>”. “<m:math alttext="(∃x).x = a"><m:mrow><m:mfenced><m:mrow><m:mo>∃</m:mo><m:mi>x</m:mi></m:mrow></m:mfenced><m:mo>.</m:mo><m:mi>x</m:mi></m:mrow><m:mo>=</m:mo><m:mi>a</m:mi></m:math>”, <abbr>etc.</abbr> cannot be written in a correct logical notation at all.</p>
+						<p>And we see that the apparent propositions like: “<m:math alttext="a = a"><m:mi>a</m:mi><m:mo>=</m:mo><m:mi>a</m:mi></m:math>”, “<m:math alttext="a = b.b = c.⊃a = c"><m:mrow><m:mrow><m:mi>a</m:mi><m:mo>=</m:mo><m:mi>b</m:mi></m:mrow><m:mo>.</m:mo><m:mrow><m:mi>b</m:mi><m:mo>=</m:mo><m:mi>c</m:mi></m:mrow></m:mrow><m:mo>.</m:mo><m:mo>⊃</m:mo><m:mrow><m:mi>a</m:mi><m:mo>=</m:mo><m:mi>c</m:mi></m:mrow></m:math>”, “<m:math alttext="(x).x = x"><m:mrow><m:mfenced><m:mi>x</m:mi></m:mfenced><m:mo>.</m:mo><m:mi>x</m:mi></m:mrow><m:mo>=</m:mo><m:mi>x</m:mi></m:math>”. “<m:math alttext="(∃x).x = a"><m:mrow><m:mfenced><m:mrow><m:mo>∃</m:mo><m:mi>x</m:mi></m:mrow></m:mfenced><m:mo>.</m:mo><m:mi>x</m:mi></m:mrow><m:mo>=</m:mo><m:mi>a</m:mi></m:math>”, <abbr>etc.</abbr> cannot be written in a correct logical notation at all.</p>
 					</td>
 				</tr>
 				<tr id="section-5.535">
@@ -4259,7 +4259,7 @@
 						<h3 epub:type="title">6.03</h3>
 					</td>
 					<td>
-						<p>The general form of the cardinal number is: <m:math alttext="[0,ξ,ξ + 1]"><m:mfenced close="]" open="["><m:mn>0</m:mn><m:mi>ξ</m:mi><m:row><m:mi>ξ</m:mi><m:mo>+</m:mo><m:mn>1</m:mn></m:row></m:mfenced></m:math>.</p>
+						<p>The general form of the cardinal number is: <m:math alttext="[0,ξ,ξ + 1]"><m:mfenced close="]" open="["><m:mn>0</m:mn><m:mi>ξ</m:mi><m:mrow><m:mi>ξ</m:mi><m:mo>+</m:mo><m:mn>1</m:mn></m:mrow></m:mfenced></m:math>.</p>
 					</td>
 				</tr>
 				<tr id="section-6.031">
@@ -4388,7 +4388,7 @@
 					</td>
 					<td>
 						<p>If for example two propositions “<m:math alttext="p"><m:mi>p</m:mi></m:math>” and “<m:math alttext="q"><m:mi>q</m:mi></m:math>” give a tautology in the connection “<m:math alttext="p⊃q"><m:mi>p</m:mi><m:mo>⊃</m:mo><m:mi>q</m:mi></m:math>”, then it is clear that <m:math alttext="q"><m:mi>q</m:mi></m:math> follows from <m:math alttext="p"><m:mi>p</m:mi></m:math>.</p>
-						<p><abbr>E.g.</abbr> that “<m:math alttext="q"><m:mi>q</m:mi></m:math>” follows from “<m:math alttext="p⊃q.p"><m:mi>p</m:mi><m:mo>⊃</m:mo><m:mi>q</m:mi><m:mo>.</m:mo><m:mi>p</m:mi></m:math>” we see from these two propositions themselves, but we can also show it by combining them to “<m:math alttext="q"><m:mi>q</m:mi></m:math>” follows from “<m:math alttext="p⊃q.p:⊃:q"><m:mrow><m:mi>p</m:mi><m:mo>⊃</m:mo><m:mi>q</m:mi></m:mrow><m:mo>.</m:mo><m:row><m:mi>p</m:mi><m:mo>:</m:mo><m:mo>⊃</m:mo><m:mo>:</m:mo><m:mi>q</m:mi></m:row></m:math>
+						<p><abbr>E.g.</abbr> that “<m:math alttext="q"><m:mi>q</m:mi></m:math>” follows from “<m:math alttext="p⊃q.p"><m:mi>p</m:mi><m:mo>⊃</m:mo><m:mi>q</m:mi><m:mo>.</m:mo><m:mi>p</m:mi></m:math>” we see from these two propositions themselves, but we can also show it by combining them to “<m:math alttext="q"><m:mi>q</m:mi></m:math>” follows from “<m:math alttext="p⊃q.p:⊃:q"><m:mrow><m:mi>p</m:mi><m:mo>⊃</m:mo><m:mi>q</m:mi></m:mrow><m:mo>.</m:mo><m:mrow><m:mi>p</m:mi><m:mo>:</m:mo><m:mo>⊃</m:mo><m:mo>:</m:mo><m:mi>q</m:mi></m:mrow></m:math>
 						” and then showing that this is a tautology.</p>
 					</td>
 				</tr>