TeX source:
-\sqrt{2}\not\in [0,2]