枚举中对齐文本

Question

我想知道是否有任何环境既允许编号（如枚举）又允许制表符（&，如对齐）。我还想继续使用类似方程式的环境，以便可以使用 \tag*{} 命令。我可以使用 tabto 包做我想做的事情，但我发现这个解决方案不太令人满意（太乏味了……而且看起来很愚蠢）

\documentclass[a4paper]{article}
\textwidth=400pt
\usepackage{amsmath}
\usepackage{tabto}

\begin{document}

\noindent  and that satisfy:
\begin{enumerate}
\item \textbf{Associativity}  \tabto{2.6cm} \text{:} \tabto{3.2cm} 
                               $(a\star b)\star c=a\star(b\star c)=a\star b\star c$ 
                              \tabto{10cm} $\forall a, b, c\in G$
%
\item \textbf{Simplification} \tabto{2.6cm} \text{:} \tabto{3.2cm} 
                              $g\star g^{-1}=g^{-1}\star g=e_{G} $ 
                              \tabto{10.6cm} $\forall g\in G$
%
\item \textbf{Neutrality}     \tabto{2.6cm} \text{:} \tabto{3.2cm} 
                              $e_{G} \star g=g\star e_{G}=g$  
                              \tabto{10.6cm} $\forall g\in G$
\end{enumerate}
\end{document}

还有其他选择吗？

Answer 1

我不认为存在这样的环境，但你可以将所有内容包装在xalignat*环境中，并使用自定义计数器来计数你的项目。我正在考虑这样的事情：

\documentclass[a4paper]{article}
\textwidth=400pt
\usepackage{amsmath}
\usepackage{tabto}
\newcounter{myitem}
\newcommand\myitem[1][\relax]{%
  \refstepcounter{myitem}\textbf{\arabic{myitem}.\space}&\textbf{#1}%
}
\begin{document}

\noindent  and that satisfy:
\begin{xalignat*}{3}
\myitem[Associativity] & (a\star b)\star c=a\star(b\star c)=a\star b\star c
                       && \forall a, b, c\in G
\\
\myitem[Simplification] & g\star g^{-1}=g^{-1}\star g=e_{G}
                        && \forall g\in G
\\
\myitem[Neutrality] & e_{G} \star g=g\star e_{G}=g
                    && \forall g\in G
\end{xalignat*}
\end{document}

生成结果：

你并没有真正说出你想要的输出是什么样子，只是你不喜欢你所做的:)，所以这可能并不完全符合你想要的风格。如果你想通过示例提供更多关于你想要的信息，我可以尝试调整它。例如，你可以将所有内容包装在一个像这样的环境：

\documentclass[a4paper]{article}
\textwidth=400pt
\usepackage{amsmath}
\usepackage{tabularx}
\newcounter{myitem}
\newenvironment{enumtab}[1]{%
   \setcounter{myitem}{0}\parindent=0pt%
   \renewcommand\item[1][\relax]{%
      \refstepcounter{myitem}\textbf{\arabic{myitem}.\space##1}%
   }
   \tabularx{\textwidth}{#1}%
}{\endtabularx}

\begin{document}

\noindent  and that satisfy:

\begin{enumtab}{@{}XXX@{}}
\item[Associativity] & $(a\star b)\star c=a\star(b\star c)=a\star b\star c$
                       & $\forall a, b, c\in G$
\\
\item[Simplification] & $g\star g^{-1}=g^{-1}\star g=e_{G}$
                        & $\forall g\in G$
\\
\item[Neutrality] & $e_{G} \star g=g\star e_{G}=g$
& $\forall g\in G$
\end{enumtab}
\end{document}

给予

当然，这与 配合得不太好\tag。