TeX source:
Q^4 = /{(x_1,x_2,x_3,x_4) /mid x_1, x_2, x_3, x_4 /in Q /}