Example exc-113

Prev: exc-112

Next: exc-114

a b

<math>
<apply><factorof/>
  <ci> a </ci>
  <ci> b </ci>
</apply>
</math>