Source TeX:

0,3 \notin  \mathbb{Z}