TeX source:
n=0{,}5\not\in\mathbb{N}^+