Fuente TeX:
0.5 \notin \mathbb{N}