Example exc-110
Prev:
exc-109
Next:
exc-111
3
3
4
<math> <apply><leq/><cn>3</cn><cn>3</cn><cn>4</cn></apply> </math>