Display:

$42\in \mathbb{Z}$

Source:

<apply>
     <in/>
     <cn type="integer"> 42 </cn>
     <integers/>
</apply>