如何正确排版所有等价类的集合

Question

考虑以下 MWE：

\documentclass{amsart}

\begin{document}
\begin{equation}
    X/\sim
\end{equation}
\end{document}

产生

看起来不太美观。有没有办法减少\sim和之间的间距/。此外，正确的排版方式是什么？一般来说，排版等价关系时应该使用哪个符号？

Answer 1

如果经常需要这种排版，我建议使用逻辑标记，比如使用命令\equivclass

可以使用 引入一些负间距\!，但这会导致/和~符号之间的间距非常窄。我不建议这样做。不过，请自行判断。

\documentclass{amsart}

\newcommand{\equivclass}[1]{%
  #1/{\sim}%
}
\newcommand{\equivcls}[1]{%
  #1/\!{\sim}%
}

\begin{document}

\begin{equation}
\equivclass{X}
\end{equation}

\begin{equation}
\equivcls{X}
\end{equation}

\end{document}