Example exc-078

Prev: exc-077

Next: exc-079

a n

<math>
<apply><root/>
<ci> a </ci>
<ci> n </ci>
</apply>
</math>