![枚举表格中的第一列](https://linux22.com/image/471382/%E6%9E%9A%E4%B8%BE%E8%A1%A8%E6%A0%BC%E4%B8%AD%E7%9A%84%E7%AC%AC%E4%B8%80%E5%88%97.png)
鉴于以下 mwe:
\documentclass{article}
\begin{document}
\begin{tabular}{llllllll}
\(\indent (1)\) & \( \mathrm{A}\) & \(\Rightarrow\) & \( \mathrm{B}\) & ~ & ~ \\ [5pt]
\(\indent (2)\) & \( \mathrm{C}\) & \(\Rightarrow\) & \( \mathrm{D}\) & ~ & ~ \\ [5pt]
\(\indent (3)\) & \( \mathrm{E}\) & \(\Leftrightarrow \) & \( \mathrm{F}\) & \, \({\Large \&}\) & \(\lnot \mathrm{G}\) \\ [5pt]
\(\indent(4)\) & \( \mathrm{H}\) & \(\Leftrightarrow\) & \(\models \mathrm{I}\) & \, \({\Large \&}\) & \(\lnot \mathrm{J}\)
\end{tabular}
\end{document}
有没有办法通过枚举获得这个,以便可以将活动项目命令用于第一列?
目标是在定理环境中使用这种构造,因此有时参考编号子定理会很有用。
答案1
抱歉,不清楚你为什么用表格来表示数学术语。在我看来,结果相当丑陋。
使用enumerate
列表我将添加不带表的内联路径表达式:
\documentclass{article}
\usepackage{enumitem}
\begin{document}
\begin{enumerate}[label=(\arabic*)]
\item $ \mathrm{A} \Rightarrow \mathrm{B}$
\item $ \mathrm{C} \Rightarrow \mathrm{D}$
\item $ \mathrm{E} \Leftrightarrow\mathrm{F}\hphantom{\models}
\wedge\lnot\mathrm{G}$
\item $ \mathrm{H} \Leftrightarrow\;\models\mathrm{I}\wedge\lnot\mathrm{J}$
\end{enumerate}
\end{document}