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>