在枚举环境中命名方程

Question

我是 LaTeX 的初学者，所以我确信这个问题可能已经被问过了。如果有人能提供链接我将不胜感激，因为我找不到它！

以下是我期望的输出结构：

（1）x ~ x（反身性）

（2）x ~ y <=> y ~ x（对称性）

（3）x ~ y 和 y ~ z => x ~ z （传递性）

我希望数字和标签（反身性、对称性、传递性）能够对齐。

我一直尝试在枚举环境中执行此操作，但不确定如何添加标签。我应该在对齐环境中执行此操作吗？

谢谢！

Answer 1

这里有两种enumerate基于 的解决方案。第一种占据了文本块的整个宽度。如果这太宽了，不合您的口味，请考虑第二种解决方案，它将环境包裹在宽度减小的enumerate中。minipage

\documentclass{article} % or some other suitable document class
\usepackage{enumitem} 

\begin{document}

\begin{enumerate}[label=(\arabic*)]
\item $x\sim x$ \hfill (Reflexivity)
\item $x\sim y \Leftrightarrow y\sim x$ \hfill (Symmetry)
\item $x\sim y \mbox{ and } y\sim z \Rightarrow x\sim z$ \hfill (Transitivity)
\end{enumerate}

\bigskip\noindent
\begin{minipage}{3in}
\begin{enumerate}[label=(\arabic*)]
\item $x\sim x$ \hfill (Reflexivity)
\item $x\sim y \Leftrightarrow y\sim x$ \hfill (Symmetry)
\item $x\sim y \mbox{ and } y\sim z \Rightarrow x\sim z$ \hfill (Transitivity)
\end{enumerate}
\end{minipage}

\end{document}

Answer 2

该包的另一种可能性listliketab是：

\documentclass{article} % or some other suitable document class
\usepackage{array}
\usepackage{amsmath}
\usepackage{listliketab}

\begin{document}

\begin{listliketab}
\storestyleof{enumerate}
\newcounter{tabenum}\setcounter{tabenum}{0}
\newcommand{\nextnum}{\refstepcounter{tabenum}(\thetabenum)}
\begin{tabular}{>{\nextnum}l >{$}l<{$}!{\qquad}l}
 & x\sim x &(Reflexivity) \\
 & x\sim y \Leftrightarrow y\sim x & (Symmetry) \\
 & x\sim y \text{ and } y\sim z \Rightarrow x\sim z & (Transitivity)
\end{tabular}
\end{listliketab}

\end{document}