如何将定理案例与表格对齐?

如何将定理案例与表格对齐?

如果这个问题已经在某处得到解答,我很抱歉,但我似乎找不到它(或者如何正确地提出问题)。

我有一个包含多种情况的定理。在每种情况下,我都希望将我的假设与案例标签对齐,如下所示(来自 FeatherWeight Java)

在此处输入图片描述

但是,我只能让 Case 标签和表格从中心对齐,就像这样……

在此处输入图片描述

有没有一种好的方法可以将表格顶部与案例标签对齐?或者这是错误的方法?感谢您的帮助,非常感谢。

梅威瑟:

\documentclass{article}

\usepackage{amsmath} %xrightarrow
\usepackage{amssymb} %leadsto rightsquigarrow rhd mathbb Join Subset
\usepackage{amsthm} %proof // llncs is not happy
\usepackage{tabularx}

\newtheoremstyle{custom}
{\topsep}   % Space above
{\topsep}   % Space below
{}          % Body font
{0pt}       % Indent amount (empty value is the same as 0pt)
{\itshape}  % Theorem head font
{}          % Punctuation after theorem head
{5pt plus 1pt minus 1pt} % Space after theorem head
{\thmname{#1} \thmnote{#3}} % Theorem head spec

\theoremstyle{custom}
\newtheorem*{case}{Case}

\begin{document}

\begin{case}[T-New] 
\begin{tabular}{>{$}l<{$} >{$}l<{$} >{$}l<{$}}
e = \tau_1 & \tau = \tau_2 & \\
e = \tau_2 & \tau = \tau_3 & \tau_4 \\
e = \tau_5 & & \\
\end{tabular}\\
Trivial.
\end{case}

\end{document}

答案1

tabular 环境可以采用可选参数来指定其相对于周围文本的垂直对齐方式:(t顶部)、c(居中)或b(底部)。使用[t]默认值[c]

在此处输入图片描述

相关内容