Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 11d4ffe3 authored by Michael Kohlhase's avatar Michael Kohlhase

adding the HTML5 version of the sentence.

parent 72d0e4df
<p xmlns="http://www.w3.org/1999/xhtml" id="p1.1" class="ltx_p">
A positive integer
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="n" display="inline">
<semantics id="p1.1.m1.1a">
<mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">n</mi>
<annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
<ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝑛</ci>
</annotation-xml>
<annotation encoding="application/x-tex" id="p1.1.m1.1c">n</annotation>
</semantics>
</math>
is called prime, iff there is no positive integer
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m2.1" class="ltx_Math" alttext="1&lt;m&lt;n" display="inline">
<semantics id="p1.1.m2.1a">
<mrow id="p1.1.m2.1.6" xref="p1.1.m2.1.6.cmml">
<mn id="p1.1.m2.1.1" xref="p1.1.m2.1.1.cmml">1</mn>
<mo id="p1.1.m2.1.2" xref="p1.1.m2.1.2.cmml">&lt;</mo>
<mi id="p1.1.m2.1.3" xref="p1.1.m2.1.3.cmml">m</mi>
<mo id="p1.1.m2.1.4" xref="p1.1.m2.1.4.cmml">&lt;</mo>
<mi id="p1.1.m2.1.5" xref="p1.1.m2.1.5.cmml">n</mi>
</mrow>
<annotation-xml encoding="MathML-Content" id="p1.1.m2.1b">
<apply id="p1.1.m2.1.6.cmml" xref="p1.1.m2.1.6">
<and id="p1.1.m2.1.6a.cmml" xref="p1.1.m2.1.6"/>
<apply id="p1.1.m2.1.6b.cmml" xref="p1.1.m2.1.6">
<lt id="p1.1.m2.1.2.cmml" xref="p1.1.m2.1.2"/>
<cn type="integer" id="p1.1.m2.1.1.cmml" xref="p1.1.m2.1.1">1</cn>
<ci id="p1.1.m2.1.3.cmml" xref="p1.1.m2.1.3">𝑚</ci>
</apply>
<apply id="p1.1.m2.1.6c.cmml" xref="p1.1.m2.1.6">
<lt id="p1.1.m2.1.4.cmml" xref="p1.1.m2.1.4"/>
<share href="#p1.1.m2.1.3.cmml" id="p1.1.m2.1.6d.cmml" xref="p1.1.m2.1.6"/>
<ci id="p1.1.m2.1.5.cmml" xref="p1.1.m2.1.5">𝑛</ci>
</apply>
</apply>
</annotation-xml>
<annotation encoding="application/x-tex" id="p1.1.m2.1c">1&lt;m&lt;n</annotation>
</semantics>
</math>
with <math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m3.1" class="ltx_Math" alttext="m|n" display="inline">
<semantics id="p1.1.m3.1a">
<mrow id="p1.1.m3.1b">
<mi id="p1.1.m3.1.1">m</mi>
<mo stretchy="false" id="p1.1.m3.1.2" xref="p1.1.m3.1.2.cmml">|</mo>
<mi id="p1.1.m3.1.3">n</mi>
</mrow>
<annotation-xml encoding="MathML-Content" id="p1.1.m3.1c">
<cerror id="p1.1.m3.1d">
<csymbol cd="ambiguous" id="p1.1.m3.1e">fragments</csymbol>
<csymbol cd="unknown" id="p1.1.m3.1f">m</csymbol>
<ci id="p1.1.m3.1.2.cmml" xref="p1.1.m3.1.2">|</ci>
<csymbol cd="unknown" id="p1.1.m3.1g">n</csymbol>
</cerror>
</annotation-xml>
<annotation encoding="application/x-tex" id="p1.1.m3.1h">m|n</annotation>
</semantics>
</math>.
</p>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment