Example exc-145

Prev: exc-144

Next: exc-146

a A

<math>
<apply><notin/>
  <ci> a </ci>
  <ci type="set"> A </ci>
</apply>
</math>