prev ( testsuite > StrictContent > TheoryOfSets > list > rec-list2  ) next (show test run result)

Alternatives: (mml file)  (full) (simple) (plain) (form) (slideshow)
File:StrictContent/TheoryOfSets/list/rec-list2
CVS-ID:
Author:MathML 2 Recommendation
Description:list with condition: [x|x < 5]

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

Sample Rendering:

$\mathrm{map}(\mathrm{lambda}xx, \mathrm{suchthat}(R, \mathrm{lambda}x\mathrm{lt}(x, 5)))$

Source Code:

```<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<csymbol cd="list1">map</csymbol>
<bind>
<csymbol cd="fns1">lambda</csymbol>
<bvar>
<ci>x</ci>
</bvar>
<ci>x</ci>
</bind>
<apply>
<csymbol cd="set1">suchthat</csymbol>
<ci>R</ci>
<bind>
<csymbol cd="fns1">lambda</csymbol>
<bvar>
<ci>x</ci>
</bvar>
<apply>
<csymbol cd="relation1">lt</csymbol>
<ci>x</ci>
<cn>5</cn>
</apply>
</bind>
</apply>
</apply>
[/itex]```