notin2

a not in A as <reln>

W3C sample	WIRIS
	$a\notin A$

<math xmlns="http://www.w3.org/1998/Math/MathML">
  <reln>
    <notin/>
    <ci>a</ci>
    <ci>A</ci>
  </reln>
</math>

Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)