こんにちは．
数学において，集合 $X$ を同値関係 $\sim$ で割って
同値類 $\tilde$ を定義するとき，
\[\tilde{X} := X/\sim = \{[x] \mid ほげほげ（省略）\}\]
のように書くと思うのですが，
真ん中の $X/\sim$ の $\sim$ が関係演算子なので
/ と $\sim$ の間に \; の空白が入り，
$\sim =$ で一つの関係演算子と判断されてくっついてしまっているように見えます．
愚かな対処法としては， $X/\!\sim\; =$ とすれば解消すると思うのですが，
そもそも$\sim$を関係演算子でなくする方法というのは存在するのでしょうか．
何かご存じの方はお教え願いたいです．
よろしくお願いします．