Example exc-106

Prev: exc-105

Next: exc-107

34

<math>
<apply><neq/><cn>3</cn><cn>4</cn></apply>
</math>