Использование \item в первом столбце таблицы

Question

У меня есть список и подсписок, оба созданы с помощью \enumerate, и каждый элемент в подсписке состоит из двух половин (обе математические). Как мне разделить половины так, чтобы первая половина каждой строки была выровнена по левому краю со всеми остальными первыми половинами, а вторая половина каждой строки была выровнена по левому краю со вторыми половинами?

Моя первая мысль была использовать \itemв пределах \tabular, но я не смог заставить это работать. Самый простой пример, который можно предложить, взят со страницы 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

Вот два возможных способа, без alignetc., если это должна быть enumerateверсия.

Причина, по которой столбцы не выровнены от одного элемента к другому, заключается в том, что \begin{tabular}{ll}...\end{tabular}у каждого столбца разная ширина. Если бы все столбцы имели одинаковую ширину, то столбцы были бы выровнены. Я сделал это во второй версии ниже, устанавливает *{2}{p{\mycolumnwidth}}два (2) выровненных по левому краю parboxстолбца шириной \mycolumnwidth, установленной здесь на 3,5 см. Измените на соответствующие значения...

Первая версия подделывает внутреннюю часть, 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команду, которые имитируют среду перечисления 2-го уровня внутри 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}