TeX source:
1{,}5 \in [1;2[