Fuente TeX:

0.5 \notin \mathbb{N}