Loading
S = { (x, y, z, t) : -a ≤ x ≤ a, -a ≤ y ≤ a, z = 0, t = t0 }