☰

在数组环境中，如何在两列之间添加额外的空间以及如何跨行进行枚举？

tag-icon • tag-icon spacing enumerate arrays
在数组环境中，如何在两列之间添加额外的空间以及如何跨行进行枚举？

在数组环境中，

  1. 如何在两列之间添加额外的空间？

  2. 如何枚举跨行？

例如

在此处输入图片描述

答案1

答案如何枚举表的行可能无法满足你，因为它的数量全部行。

\label我建议进行修改，也允许您通过-机制引用行号\ref。

\documentclass{article}
\usepackage{array}

\newcounter{formalproof}
\newenvironment{formalproof}
  {\setcounter{formalproof}{0}%
   \begin{tabular}{
     @{}
     >{\refstepcounter{formalproof}\theformalproof. $}l<{$}
     @{\hspace{2em}}
     l
     @{}
   }
   \multicolumn{1}{@{}l@{\hspace{2em}}}{\textbf{Step}} & \multicolumn{1}{@{}l@{}}{\textbf{Reason}}\\}
  {\end{tabular}}

\begin{document}
\noindent\begin{formalproof}
\label{ONE} \forall x(D(x)\to C(x)) & Premise \\
\label{TWO} D(\textrm{Marla})\to C(\textrm{Marla}) & Universal instantiation from (\ref{ONE}) \\
\label{THR} D(\textrm{Marla}) & Premise \\
C(\textrm{Marla}) & Modus ponens from (\ref{TWO}) and (\ref{THR})
\end{formalproof}
\end{document}

当然，您使用的标签是任意的。

在此处输入图片描述

相关内容