Display:

$17\in \mathbb{P}$

Source:

<apply>
     <in/>
     <cn type="integer">17</cn>
     <primes/>
</apply>