TeX source:
R^4_+ = /{(x_1,x_2,x_3,x_4) /mid x_1, x_2, x_3, x_4 /in R_+/}