>>36
\sim は二項演算子だから、$S/{\sim}$ とかやるのが正しい気がする。
最終的には好みだろうけど。