@@ -3891,7 +3891,9 @@ <h6 id="set1.suchthat.ex1">Examples (Elements specified by condition)</h6>
38913891 <mi>x</mi>
38923892 <mo>|</mo>
38933893 <mrow>
3894- <mrow><mo>(</mo><mi>x</mi><mo>&lt;</mo><mn>5</mn><mo>)</mo></mrow>
3894+ <mrow>
3895+ <mo>(</mo><mi>x</mi><mo>&lt;</mo><mn>5</mn><mo>)</mo>
3896+ </mrow>
38953897 <mo>∧</mo>
38963898 <mrow>
38973899 <mi>x</mi><mo>∈</mo><mi mathvariant="double-struck">N</mi>
@@ -5463,7 +5465,11 @@ <h6 id="fns1.ex1">Examples</h6>
54635465 < div class ="example mathml mmlcore ">
54645466 < pre >
54655467 <mrow>
5466- <mrow><mi>domain</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>f</mi><mo>)</mo></mrow></mrow>
5468+ <mrow>
5469+ <mi>domain</mi>
5470+ <mo>&#x2061;<!--ApplyFunction--></mo>
5471+ <mrow><mo>(</mo><mi>f</mi><mo>)</mo></mrow>
5472+ </mrow>
54675473 <mo>=</mo>
54685474 <mi mathvariant="double-struck">R</mi>
54695475 </mrow>
@@ -5472,7 +5478,11 @@ <h6 id="fns1.ex1">Examples</h6>
54725478 < div class ="example mathml mmlcore ">
54735479 < pre >
54745480 <mrow>
5475- <mrow><mi>codomain</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>f</mi><mo>)</mo></mrow></mrow>
5481+ <mrow>
5482+ <mi>codomain</mi>
5483+ <mo>&#x2061;<!--ApplyFunction--></mo>
5484+ <mrow><mo>(</mo><mi>f</mi><mo>)</mo></mrow>
5485+ </mrow>
54765486 <mo>=</mo>
54775487 <mi mathvariant="double-struck">Q</mi>
54785488 </mrow>
@@ -5481,7 +5491,11 @@ <h6 id="fns1.ex1">Examples</h6>
54815491 < div class ="example mathml mmlcore ">
54825492 < pre >
54835493 <mrow>
5484- <mrow><mi>image</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>sin</mi><mo>)</mo></mrow></mrow>
5494+ <mrow>
5495+ <mi>image</mi>
5496+ <mo>&#x2061;<!--ApplyFunction--></mo>
5497+ <mrow><mo>(</mo><mi>sin</mi><mo>)</mo></mrow>
5498+ </mrow>
54855499 <mo>=</mo>
54865500 <mrow><mo>[</mo><mn>-1</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow>
54875501 </mrow>
@@ -5759,12 +5773,16 @@ <h6 id="veccalc1.ex1">Examples</h6>
57595773
57605774 < div class ="example mathml mmlcore ">
57615775 < pre >
5762- <mrow><mi>div</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>a</mi><mo>)</mo></mrow></mrow>
5776+ <mrow>
5777+ <mi>div</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>a</mi><mo>)</mo></mrow>
5778+ </mrow>
57635779 </ pre >
57645780 </ div >
57655781 < div class ="example mathml mmlcore ">
57665782 < pre >
5767- <mrow><mi>div</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>E</mi><mo>)</mo></mrow></mrow>
5783+ <mrow>
5784+ <mi>div</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>E</mi><mo>)</mo></mrow>
5785+ </mrow>
57685786 <mtext> or </mtext>
57695787 <mrow><mo>∇</mo><mo>⋅</mo><mi>E</mi></mrow>
57705788 </ pre >
@@ -5783,7 +5801,9 @@ <h6 id="veccalc1.ex1">Examples</h6>
57835801 </ div >
57845802 < div class ="example mathml mmlcore ">
57855803 < pre >
5786- <mrow><mi>curl</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>a</mi><mo>)</mo></mrow></mrow>
5804+ <mrow>
5805+ <mi>curl</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>a</mi><mo>)</mo></mrow>
5806+ </mrow>
57875807 <mtext> or </mtext>
57885808 <mrow><mo>∇</mo><mo>×</mo><mi>a</mi></mrow> </ pre >
57895809 </ div >
@@ -5889,7 +5909,11 @@ <h6 id="veccalc1.ex2">Examples</h6>
58895909 <mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>)</mo></mrow>
58905910 <mo>↦</mo>
58915911 <mrow>
5892- <mi>x</mi><mo>&#x2062;<!--InvisibleTimes--></mo><mi>y</mi><mo>&#x2062;<!--InvisibleTimes--></mo><mi>z</mi>
5912+ <mi>x</mi>
5913+ <mo>&#x2062;<!--InvisibleTimes--></mo>
5914+ <mi>y</mi>
5915+ <mo>&#x2062;<!--InvisibleTimes--></mo>
5916+ <mi>z</mi>
58935917 </mrow>
58945918 <mo>)</mo>
58955919 </mrow>
@@ -6222,8 +6246,12 @@ <h6 id="calculus1.diff.ex1">Examples</h6>
62226246 < pre >
62236247 <mrow>
62246248 <mfrac>
6225- <mrow><mi>d</mi><mrow><mi>sin</mi><mo>&#x2061;<!--ApplyFunction--></mo><mi>x</mi></mrow></mrow>
6226- <mrow><mi>d</mi><mi>x</mi></mrow>
6249+ <mrow>
6250+ <mi>d</mi><mrow><mi>sin</mi><mo>&#x2061;<!--ApplyFunction--></mo><mi>x</mi></mrow>
6251+ </mrow>
6252+ <mrow>
6253+ <mi>d</mi><mi>x</mi>
6254+ </mrow>
62276255 </mfrac>
62286256 <mo>=</mo>
62296257 <mrow><mi>cos</mi><mo>&#x2061;<!--ApplyFunction--></mo><mi>x</mi></mrow>
@@ -6680,7 +6708,9 @@ <h6 id="set-constants.ex1">Examples</h6>
66806708
66816709 < div class ="example mathml mmlcore ">
66826710 < pre >
6683- <mrow><mn>42</mn><mo>∈</mo><mi mathvariant="double-struck">Z</mi></mrow>
6711+ <mrow>
6712+ <mn>42</mn><mo>∈</mo><mi mathvariant="double-struck">Z</mi>
6713+ </mrow>
66846714 </ pre >
66856715 </ div >
66866716 < div class ="example mathml mmlcore ">
@@ -6709,15 +6739,19 @@ <h6 id="set-constants.ex1">Examples</h6>
67096739 < div class ="example mathml mmlcore ">
67106740 < pre >
67116741 <mrow>
6712- <mrow><mn>17</mn><mo>+</mo><mn>29</mn><mo>&#x2062;<!--InvisibleTimes--></mo><mi>i</mi></mrow>
6742+ <mrow>
6743+ <mn>17</mn><mo>+</mo><mn>29</mn><mo>&#x2062;<!--InvisibleTimes--></mo><mi>i</mi>
6744+ </mrow>
67136745 <mo>∈</mo>
67146746 <mi mathvariant="double-struck">C</mi>
67156747 </mrow>
67166748 </ pre >
67176749 </ div >
67186750 < div class ="example mathml mmlcore ">
67196751 < pre >
6720- <mrow><mn>17</mn><mo>∈</mo><mi mathvariant="double-struck">P</mi></mrow>
6752+ <mrow>
6753+ <mn>17</mn><mo>∈</mo><mi mathvariant="double-struck">P</mi>
6754+ </mrow>
67216755 </ pre >
67226756 </ div >
67236757 < div class ="example mathml mmlcore ">
@@ -6821,7 +6855,11 @@ <h6 id="quant1.forall.ex1">Examples</h6>
68216855 <mrow>
68226856 <mo>(</mo>
68236857 <mrow>
6824- <mrow><mi>f</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow>
6858+ <mrow>
6859+ <mi>f</mi>
6860+ <mo>&#x2061;<!--ApplyFunction--></mo>
6861+ <mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow>
6862+ </mrow>
68256863 <mo>=</mo>
68266864 <mn>0</mn>
68276865 </mrow>
@@ -6882,10 +6920,16 @@ <h6 id="quant1.forall.ex1">Examples</h6>
68826920 <mo>.</mo>
68836921 <mrow>
68846922 <mo>(</mo>
6885- <mrow><mi>x</mi><mo>∈</mo><mi mathvariant="double-struck">Z</mi></mrow>
6923+ <mrow>
6924+ <mi>x</mi><mo>∈</mo><mi mathvariant="double-struck">Z</mi>
6925+ </mrow>
68866926 <mo>∧</mo>
68876927 <mrow>
6888- <mrow><mi>f</mi><mo>&#x2061;<!--ApplyFunction--></mo><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow>
6928+ <mrow>
6929+ <mi>f</mi>
6930+ <mo>&#x2061;<!--ApplyFunction--></mo>
6931+ <mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow>
6932+ </mrow>
68896933 <mo>=</mo>
68906934 <mn>0</mn>
68916935 </mrow>
0 commit comments