prev ( testsuite > StrictContent > TheoryOfSets > in > rec-in1  ) next (show test run result)

Alternatives: (mml file)  (full) (simple) (plain) (form) (slideshow)
File:StrictContent/TheoryOfSets/in/rec-in1
CVS-ID:
Author:MathML 2 Recommendation
Description:a in A

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

Sample Rendering:

$\mathrm{in}(a, A)$

Source Code:

```<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<csymbol cd="set1">in</csymbol>
<ci>a</ci>
<semantics>
<ci>A</ci>
<annotation-xml cd="mathmltypes" name="type" encoding="MathML-Content">
<ci>set</ci>
</annotation-xml>
</semantics>
</apply>
[/itex]```