Display:

$1729\in \mathbb{N}$

Source:

<apply>
     <in/>
     <cn type="integer">1729</cn>
     <naturalnumbers/>
</apply>