Example exc-162

Prev: exc-161

Next: exc-163

0 1

<math>
<apply><eq/>
  <apply><exp/><cn>0</cn></apply>
  <cn>1</cn>
</apply>
</math>