Example exc-237

Prev: exc-236

Next: exc-238

-12

<math>
<apply><eq/>
  <imaginaryi/>
  <apply><root/><cn>-1</cn><cn>2</cn></apply>
</apply>
</math>