prev ( testsuite > Content > ArithmeticAlgebraLogic > implies > rec-implies1  ) next (show test run result)

Alternatives: (mml file)  (full) (simple) (plain) (form) (slideshow)
File:Content/ArithmeticAlgebraLogic/implies/rec-implies1
CVS-ID:
Author:MathML 2 Recommendation
Description:A -> B in <apply>

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

Sample Rendering:

$A\implies B$

Source Code:

```
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<implies/>
<ci> A </ci>
<ci> B </ci>
</apply>
[/itex]
```