XHTML document | MathML Source |
 |
<apply>
<forall/>
<bvar> <ci> x </ci> </bvar>
<apply> <eq/>
<apply>
<minus/> <ci> x </ci> <ci> x </ci>
</apply>
<cn>0</cn>
</apply>
</apply>
|
XHTML document | MathML Source |
 |
<apply>
<forall/>
<bvar> <ci> p </ci> </bvar>
<bvar> <ci> q </ci> </bvar>
<condition>
<apply> <and/>
<apply> <in/> <ci> p </ci> <rationals/> </apply>
<apply> <in/> <ci> q </ci> <rationals/> </apply>
<apply> <lt/> <ci> p </ci> <ci> q </ci> </apply>
</apply>
</condition>
<apply> <lt/>
<ci> p </ci>
<apply>
<power/>
<ci> q </ci>
<cn> 2 </cn>
</apply>
</apply>
</apply>
|
XHTML document | MathML Source |
 |
<apply>
<forall/>
<bvar> <ci> n </ci> </bvar>
<condition>
<apply> <and/>
<apply> <gt/> <ci> n </ci> <cn> 0 </cn> </apply>
<apply> <in/> <ci> n </ci> <integers/> </apply>
</apply>
</condition>
<apply>
<exists/>
<bvar> <ci> x </ci> </bvar>
<bvar> <ci> y </ci> </bvar>
<bvar> <ci> z </ci> </bvar>
<condition>
<apply> <and/>
<apply> <in/> <ci> x </ci> <integers/> </apply>
<apply> <in/> <ci> y </ci> <integers/> </apply>
<apply> <in/> <ci> z </ci> <integers/> </apply>
</apply>
</condition>
<apply>
<eq/>
<apply>
<plus/>
<apply> <power/> <ci> x </ci> <ci> n </ci> </apply>
<apply> <power/> <ci> y </ci> <ci> n </ci> </apply>
</apply>
<apply> <power/> <ci> z </ci> <ci> n </ci> </apply>
</apply>
</apply>
</apply>
|