Source TeX:

-3  \notin  \mathbb{N}