TeX source:
2 \not \in [1;2[