Como compor corretamente o conjunto de todas as classes de equivalência

Question

Considere o seguinte MWE:

\documentclass{amsart}

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

que produz

Não é muito atraente aos olhos. Existe uma maneira de reduzir o espaço entre \sime /. Além disso, qual seria a forma correta de compor isso e em geral qual símbolo deveria ser usado para compor uma relação de equivalência?

Answer 1

Eu sugiro usar marcação lógica para tal composição se isso for necessário muitas vezes, digamos, usando um comando\equivclass

É possível introduzir algum espaçamento negativo com \!, mas isso levará a um espaçamento muito estreito entre os símbolos /e ~. Eu não recomendo. Julgue a si mesmo, no entanto.

\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}