prev ( testsuite > Content > ArithmeticAlgebraLogic > and > and1  ) next (show test run result)

Alternatives: (mml file)  (full) (simple) (plain) (form) (slideshow)
File:Content/ArithmeticAlgebraLogic/and/and1
CVS-ID:
Author:Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)
Description:x > 0 and z < 1 as <apply>

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

Sample Rendering:

$(x> 0)\land (x< 1)$

Source Code:

```
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<and/>
<apply>
<gt/>
<ci> x </ci>
<cn> 0 </cn>
</apply>
<apply>
<lt/>
<ci> x </ci>
<cn> 1 </cn>
</apply>
</apply>
[/itex]
```