Usando \item en la primera columna de una tabla

Question

Tengo una lista y una sublista creadas con \enumerate, y cada elemento de la sublista consta de dos mitades (ambas matemáticas). ¿Cómo podría separar las mitades para que la primera mitad de cada fila esté alineada a la izquierda con todas las demás primeras mitades y la segunda mitad de cada fila esté alineada a la izquierda con las segundas mitades?

Lo primero que pensé fue usar \iteminside \tabular, pero no pude hacerlo funcionar. El ejemplo más sencillo que podemos ofrecer proviene de la página 6 del libro de Enderton.Elementos de la teoría de conjuntos:

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

El resultado está a continuación. Como puede ver, las segundas mitades de cada subelemento no están alineadas.

Encontré otras preguntas relacionadas con listas enumeradas dentro de tablas, pero soy relativamente nuevo en LaTeX (y StackExchange), por lo que no estaba seguro de cuál solución era la adecuada para mí. Estoy buscando la solución más simple, pero si ya se proporcionó en otra pregunta, indíqueme allí. Gracias de antemano.

Answer 1

Aquí hay dos formas posibles, sin alignetc. si debe ser una enumerateversión.

La razón por la cual las columnas no están alineadas de un elemento al siguiente es que cada una \begin{tabular}{ll}...\end{tabular}tiene diferentes anchos de columna. Si todas las columnas tuvieran el mismo ancho, entonces las columnas estarían alineadas. He hecho esto en la segunda versión a continuación, *{2}{p{\mycolumnwidth}}establece dos (2) parboxcolumnas de ancho alineadas a la izquierda \mycolumnwidth, configuradas aquí en 3,5 cm. Cambiar a los valores apropiados...

La primera versión falsifica el interior enumeratemediante el uso de un conteo automático de filas, utilizando un tabularentorno común.

\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

En el siguiente código, defino un tabenumerateentorno y un \tabitemcomando, que imitan un entorno de enumeración de segundo nivel dentro de un tabularentorno:

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