同値類で集合割るときに $S/\sim$ ってやると
スペーシングが開きすぎて気持ち悪いのは私だけ？
今は $S/\!\!\sim$ でやってるけど