TeX source:
(x_1,x_2 {/in} R )