Example exc-247

Prev: exc-246

Next: exc-248


<math>
<apply><neq/>
  <integers/>
  <emptyset/>
</apply>
</math>