Display:

$44.997\in \mathbb{R}$

Source:

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