如果这个问题已经在某处得到解答,我很抱歉,但我似乎找不到它(或者如何正确地提出问题)。
我有一个包含多种情况的定理。在每种情况下,我都希望将我的假设与案例标签对齐,如下所示(来自 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}