| prev | ( testsuite > StrictContent > TheoryOfSets > notin > notin2 ) | next | (show test run result) |
| Alternatives: | (mml file) (full) (simple) (plain) (form) (slideshow) |
| File: | StrictContent/TheoryOfSets/notin/notin2 |
| CVS-ID: | |
| Author: | Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) |
| Description: | a not in A as <reln> |
Sample Rendering:
| |
Your browser's rendering:
Source Code:
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<csymbol cd="set1">notin</csymbol>
<ci>a</ci>
<ci>A</ci>
</apply>
</math>