| prev | next |
| File: | Content/ArithmeticAlgebraLogic/forall/rec-forall2.html | |
| Author: | MathML 2 Recommendation | |
| Description: | forall x, x-x=0 | |
| Sample Rendering: |
|
Your browser's rendering:
Source Code:
<math>
<apply>
<forall/>
<bvar>
<ci> x </ci>
</bvar>
<apply>
<eq/>
<apply>
<minus/>
<ci> x </ci>
<ci> x </ci>
</apply>
<cn>0</cn>
</apply>
</apply>
</math>