I am curious about a notation that I have seen, but I have only seen it in contexts beyond my current level of ability and so haven't learned its meaning. Also, it's often difficult to search for the meaning of notations. It appears to be group theoretic in nature.
The notation uses a backslash followed by a forward slash, like so: $\text{SL}_n\mathbb{Z} \setminus \text{SL}_n\mathbb{R} \,/ \,\text{SO}(n)$.
Of course it may be a 'set minus' followed by a 'modded by', but I'm not so sure. So what's the meaning of this notation, and in what contexts is it most often used? Thanks.
Here ya go. It's a double coset space.