prev ( testsuite > StrictContent > ArithmeticAlgebraLogic > exists > rec-exists1  ) next (show test run result)

Alternatives: (mml file)  (full) (simple) (plain) (form) (slideshow)
File:StrictContent/ArithmeticAlgebraLogic/exists/rec-exists1
CVS-ID:
Author:MathML 2 Recommendation
Description:there exists an x for which f(x)=0

passed (p) failed (f) not-tested (n) broken-test (b) some parts pass (s)

Sample Rendering:

$\mathrm{exists}x\mathrm{eq}(f(x), 0)$

Source Code:

```<math xmlns="http://www.w3.org/1998/Math/MathML">
<bind>
<csymbol cd="quant1">exists</csymbol>
<bvar>
<ci>x</ci>
</bvar>
<apply>
<csymbol cd="relation1">eq</csymbol>
<apply>
<ci>f</ci>
<ci>x</ci>
</apply>
<cn>0</cn>
</apply>
</bind>
[/itex]```