Example ex4-208

Prev: ex4-207

Next: ex4-209

44.997

<math>
<apply>
  <in/>
  <cn type="real"> 44.997 </cn>
  <reals/>
</apply>
</math>