Example exc-240

Prev: exc-239

Next: exc-241

false

<math>
<apply><eq/>
  <apply><not/><true/></apply>
  <cn>false</cn>
</apply>
</math>