在表格的第一列中使用 \item

Question

我有一個列表和一個子列表，都是用 創建的\enumerate，子列表中的每個項目都由兩半組成（都是數學）。如何將兩半分開，以便每行的前半部分與所有其他前半部分左對齊，每行的後半部分與後半部分左對齊？

我的第一個想法是使用\iteminside \tabular，但我無法完全讓它發揮作用。最簡單的例子來自 Enderton 的第 6 頁集合論要素:

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
\begin{enumerate}
\item
\begin{enumerate}
    \item \begin{tabular}{ll}$\{\emptyset\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\emptyset\}\}$\end{tabular}

    \item \begin{tabular}{ll}$\{\emptyset\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$\end{tabular}

    \item \begin{tabular}{ll}$\{\{\emptyset\}\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$\end{tabular}

    \item \begin{tabular}{ll}$\{\{\emptyset\}\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset\}\}$\end{tabular}

    \item \begin{tabular}{ll}$\{\{\emptyset\}\} \not \in \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$\end{tabular}
\end{enumerate}
\end{enumerate}
\end{document}

結果如下。正如您所看到的，每個子項的後半部沒有對齊。

我確實發現了與表中的枚舉清單相關的其他問題，但我對 LaTeX（和 StackExchange）相對較新，所以我不確定哪種解決方案適合我。我正在尋找最簡單的解決方案，但如果它已經在另一個問題中提供，請指出我在那裡。提前致謝。

Answer 1

這裡有兩種可能的方法，align如果它必須是一個enumerate版本，則無需等待。

列從一個項目到下一個項目不對齊的原因是，每個項目\begin{tabular}{ll}...\end{tabular}都有不同的列寬。如果所有列都具有相同的寬度，則列將對齊。我在下面的第二個版本中完成了此操作，*{2}{p{\mycolumnwidth}}設定了兩 (2) 個左對齊的parbox寬度列\mycolumnwidth，此處設定為 3.5cm。更改為適當的值...

enumerate第一個版本透過使用自動行計數和一個公共環境來偽造內部tabular。

\documentclass{article}
\usepackage{amsmath,amssymb}

\usepackage{array}

\newcounter{rowcounter}
\renewcommand{\therowcounter}{(\alph{rowcounter})}
\newcolumntype{R}{>{\stepcounter{rowcounter}\therowcounter\arraybackslash}r}

\newlength{\mycolumnwidth}

\setlength{\mycolumnwidth}{3.5cm}
\begin{document}


%%%%

\begin{enumerate}
\item 
  \begin{tabular}[t]{Rll}
   & $\{\emptyset\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\emptyset\}\}$ \tabularnewline
   & $\{\emptyset\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$ \tabularnewline
   & $\{\{\emptyset\}\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$ \tabularnewline
   & $\{\{\emptyset\}\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset\}\}$ \tabularnewline
   & $\{\{\emptyset\}\} \not \in \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$
\end{tabular}
\end{enumerate}

\begin{enumerate}
\item
\begin{enumerate}
    \item \begin{tabular}{*{2}{p{\mycolumnwidth}}}$\{\emptyset\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\emptyset\}\}$\end{tabular}
    \item \begin{tabular}{*{2}{p{\mycolumnwidth}}}$\{\emptyset\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$\end{tabular}
    \item \begin{tabular}{*{2}{p{\mycolumnwidth}}}$\{\{\emptyset\}\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$\end{tabular}
    \item \begin{tabular}{*{2}{p{\mycolumnwidth}}}$\{\{\emptyset\}\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset\}\}$\end{tabular}
    \item \begin{tabular}{*{2}{p{\mycolumnwidth}}}$\{\{\emptyset\}\} \not \in \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$\end{tabular}
\end{enumerate}
\end{enumerate}



\end{document}

Answer 2

在下面的程式碼中，我定義了一個tabenumerate環境和一個\tabitem命令，它模仿環境中的第二級枚舉環境tabular：

\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{eqparbox}
\newcounter{tabenum}
\newenvironment{tabenumerate}{%
\setcounter{tabenum}{0}\setlength\extrarowheight{\itemsep}
\newcommand{\tabitem}{\refstepcounter{tabenum}\eqmakebox[A][r]{(\alph{tabenum})}\hskip\labelsep}
\begin{tabular}[t]{@{}l@{\qquad}l}
}
{\end{tabular}}

\begin{document}

\begin{enumerate}
  \item
        \begin{tabenumerate}
          \tabitem $\{\emptyset\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\emptyset\}\}$\\
          \tabitem $\{\emptyset\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$\\
          \tabitem $\{\{\emptyset\}\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$\\
          \tabitem $\{\{\emptyset\}\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset\}\}$\\
          \tabitem $\{\{\emptyset\}\} \not \in \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$
        \end{tabenumerate}
        %
  \item
        \begin{tabenumerate}
          \tabitem $\{\emptyset\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\emptyset\}\}$\\
          \tabitem $\{\emptyset\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\emptyset\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$\\
          \tabitem $\{\{\emptyset\}\} \not \in \{\emptyset, \{\{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \subseteq \{\emptyset, \{\{\emptyset\}\}\}$\\
          \tabitem $\{\{\emptyset\}\} \in \{\emptyset, \{\emptyset\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset\}\}$\\
          \tabitem $\{\{\emptyset\}\} \not \in \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$ & $\{\{\emptyset\}\} \not \subseteq \{\emptyset, \{\emptyset, \{\emptyset\}\}\}$
        \end{tabenumerate}
\end{enumerate}

\end{document}