tabular：将不同的符号对齐到同一列但不同的行

Question

我拼命地试图在表格环境中对齐出现在同一列但不同行的公式：

所需的结果应该与上图完全一样，只是我需要左列分别按“⊢”或“⊨”对齐。我尝试了所有能找到的解决方案，但都没有真正奏效。如果我对齐公式，标题就会错位，反之亦然。我刚开始使用 LaTeX。有人能帮我吗？

以下是 MWE：

\documentclass[a4paper, fontsize=11pt, headings=optiontohead, headsepline=true, twoside=false]{scrartcl}
\usepackage{amssymb}
\usepackage{turnstile}
\usepackage[math-style=upright]{unicode-math}
\usepackage{tcolorbox}
\begin{document}

\begin{tcolorbox}[colback=gray!10,colframe=gray!100,fonttitle=\bfseries, title=Übersicht: Syntaktische und semantische Folge]
\centering
  \begin{tabular}{r|l}
Metasprachliche Behauptung & Redeweise \\ \hline \rule{0pt}{4ex}
$\{ \alpha_1, …, \alpha_n \} \sststile {}{} \beta$ & $\beta$ ist aus $\{ \alpha_1, …, \alpha_n \}$ herleitbar \\ \rule{0pt}{3ex}
$\sststile {}{} \alpha$ & $\alpha$ ist beweisbar \\[2ex] \hline \hline \rule{0pt}{4ex}
$\{ \alpha_1, …, \alpha_n \} \sdtstile {}{} \beta$ & $\beta$ ist aus $\{ \alpha_1, …, \alpha_n \}$ herleitbar \\ \rule{0pt}{3ex}
$\sdtstile {}{} \alpha$ & $\alpha$ ist beweisbar
\end{tabular}
\end{tcolorbox}

\end{document}

编辑：感谢大家的帮助！直到几分钟前，我还不知道这些phantom命令。你们太棒了。

Answer 1

答案应该是四列而不是一列，但是左侧的长标题使该解决方案变得不可行。

您可以使用eqparbox设施。第一个强制参数\eqmathbox是用于所有要均衡的框的唯一标签。

我还提出了一种不同的渲染。

\documentclass[
  a4paper,
  fontsize=11pt,
  headings=optiontohead,
  headsepline=true,
  twoside=false
]{scrartcl}
\usepackage{amssymb}
\usepackage{turnstile}
\usepackage[math-style=upright]{unicode-math}
\usepackage{tcolorbox}
\usepackage{eqparbox}
\usepackage{array}
\usepackage{booktabs}

\makeatletter
\newcommand{\eqmathbox}[3][c]{%
  \eqmakebox[#2][#1]{$\m@th#3$}%
}
\makeatother

\begin{document}

\begin{tcolorbox}[
  colback=gray!10,
  colframe=gray!100,
  fonttitle=\bfseries,
  title=Übersicht: Syntaktische und semantische Folge
]
\centering

\begin{tabular}{ >{\vphantom{$\Big|$}}r | l }
Metasprachliche Behauptung & Redeweise \\
\hline
$\{\alpha_1, \dots, \alpha_n\} \sststile{}{} \eqmathbox{A}{\beta}$ &
  $\beta$ ist aus $\{\alpha_1, \dots, \alpha_n \}$ herleitbar \\
${}\sststile{}{} \eqmathbox{A}{\alpha}$ &
  $\alpha$ ist beweisbar \\
\hline \hline 
$\{\alpha_1, \dots, \alpha_n\} \sdtstile{}{} \eqmathbox{A}{\beta}$ &
  $\beta$ ist aus $\{ \alpha_1, \dots, \alpha_n \}$ herleitbar \\
${}\sdtstile{}{} \eqmathbox{A}{\alpha}$ &
  $\alpha$ ist beweisbar
\end{tabular}
\end{tcolorbox}

\begin{tcolorbox}[
  colback=gray!10,
  colframe=gray!100,
  fonttitle=\bfseries,
  title=Übersicht: Syntaktische und semantische Folge
]
\centering

\begin{tabular}{ @{} r @{\qquad} l @{} }
Metasprachliche Behauptung & Redeweise \\
\midrule
$\{\alpha_1, \dots, \alpha_n\} \sststile{}{} \eqmathbox{B}{\beta}$ &
  $\beta$ ist aus $\{\alpha_1, \dots, \alpha_n \}$ herleitbar \\
\addlinespace
${}\sststile{}{} \eqmathbox{B}{\alpha}$ &
  $\alpha$ ist beweisbar \\
\midrule
$\{\alpha_1, \dots, \alpha_n\} \sdtstile{}{} \eqmathbox{B}{\beta}$ &
  $\beta$ ist aus $\{ \alpha_1, \dots, \alpha_n \}$ herleitbar \\
\addlinespace
${}\sdtstile{}{} \eqmathbox{B}{\alpha}$ &
  $\alpha$ ist beweisbar
\end{tabular}
\end{tcolorbox}

\end{document}

Answer 2

\beta最不具侵入性的解决方案是将第一列中的 s替换为\phantom\alpha\llap{$\beta$}。这会使\beta和 一样宽\alpha，并在左侧添加必要的空间，以便它在第一列中保持右对齐。

（也可以看看从破折号开始水平对齐两行，第一行前一行没有下标，第二行前一行有下标）

Answer 3

您可以在单独的表格列中插入想要对齐的内容。

\documentclass[a4paper, fontsize=11pt, headings=optiontohead, headsepline=true, twoside=false]{scrartcl}
\usepackage{amssymb}
\usepackage{turnstile}
\usepackage[math-style=upright]{unicode-math}
\usepackage{tcolorbox}
\begin{document}
    
    \begin{tcolorbox}[colback=gray!10,colframe=gray!100,fonttitle=\bfseries, title=Übersicht: Syntaktische und semantische Folge]
        \centering
        \begin{tabular}{p{2cm}r@{\hspace{0.5\tabcolsep}}l|l}
            \multicolumn{3}{r|}{Metasprachliche Behauptung} & Redeweise \\ \hline \rule{0pt}{4ex}
            &$\{ \alpha_1, …, \alpha_n \}$ &$\sststile {}{} \beta$ & $\beta$ ist aus $\{ \alpha_1, …, \alpha_n \}$ herleitbar \\ \rule{0pt}{3ex}
            &&$\sststile {}{} \alpha$ & $\alpha$ ist beweisbar \\[2ex] \hline \hline \rule{0pt}{4ex}
            &$\{ \alpha_1, …, \alpha_n \}$ & $\sdtstile {}{} \beta$ & $\beta$ ist aus $\{ \alpha_1, …, \alpha_n \}$ herleitbar \\ \rule{0pt}{3ex}
            &&$\sdtstile {}{} \alpha$ & $\alpha$ ist beweisbar
        \end{tabular}
    \end{tcolorbox}
\end{document}