Example ex4-208
Prev:
ex4-207
Next:
ex4-209
44.997
<math> <apply> <in/> <cn type="real"> 44.997 </cn> <reals/> </apply> </math>