如何对齐 \left \right 里面的内容？

Question

这是我的代码

\documentclass{article}
\usepackage{amsmath}
\usepackage{stmaryrd}
\usepackage{proof}
\newcommand{\subtyp}[2]{#1<:#2}

\begin{document}

$$
\left\llbracket \infer{\subtyp{S}{T}}{C_1:: \subtyp{S}{U} & C_2:: \subtyp{U}{T}} \right\rrbracket
$$

\end{document}

表明

分隔符内的内容似乎顶部对齐，我希望它如下所示

你可以看到我的图片底部有一些空白，我想让分隔符内的内容居中。我该怎么做？这是一个在线 latex 视图https://www.overleaf.com/read/ypwgkhjkdgqm

如果我将其替换\infer为\frac，就可以很容易地看出差异。

Answer 1

您想要使用gathered：

\documentclass{article}
\usepackage{amsmath}
\usepackage{stmaryrd}
\usepackage{proof}

\newcommand{\subtyp}[2]{#1<:#2}

\begin{document}

\[
\left\llbracket
  \begin{gathered}
  \infer{\subtyp{S}{T}}{C_1:: \subtyp{S}{U} & C_2:: \subtyp{U}{T}}
  \end{gathered}
\right\rrbracket
\]

\end{document}

也许\,在两边添加会更好：

\[
\left\llbracket\,
  \begin{gathered}
  \infer{\subtyp{S}{T}}{C_1:: \subtyp{S}{U} & C_2:: \subtyp{U}{T}}
  \end{gathered}
\,\right\rrbracket
\]

Answer 2

不清楚您想用数学表达式实现什么。 重现第二幅图像的一种简单方法是：

\documentclass{article}
\usepackage{stmaryrd}
\newcommand{\subtyp}[2]{#1<:#2}

\begin{document}
\[
\left\llbracket 
\raisebox{-1.5ex}{
\infer[(S-\textsc{Trans})]{\subtyp{S}{T}}{C_1:: \subtyp{S}{U} 
                            & 
                           C_2:: \subtyp{U}{T}}} 
\right\rrbracket
\]
\end{document}

附录：

如果您由于某种原因坚持使用proofpackae anfd it 语法，那么您可能希望使用命令在和raisebox之间垂直对齐您的证明：\llbracket\llbracket

\documentclass{article}
\usepackage{stmaryrd}
\usepackage{proof}
\newcommand{\subtyp}[2]{#1<:#2}

\begin{document}

\[
\left\llbracket 
\raisebox{-1.5ex}{\infer[(S-\textsc{Trans})]{\subtyp{S}{T}}{C_1:: \subtyp{S}{U} 
                        & C_2:: 
                         \subtyp{U}{T}}} \right\rrbracket
\]

\end{document}

Answer 3

您可以将表达式放在\hbox, 内部\vcenter：

请注意，您必须重新进入数学模式。

\[
\left\llbracket \vcenter{\hbox{$\infer{\subtyp{S}{T}}{C_1:: \subtyp{S}{U} & C_2:: \subtyp{U}{T}}$}} \right\rrbracket
\]