与框顶部对齐

Question

该乳胶代码（使用 amsmath 和证明）产生下面的图像：

\documentclass{article}
\usepackage{proof}
\usepackage{amsmath}
\begin{document}
\begin{equation*}
  \infer[\forall x \mathrm{i}]{\forall x \phi}{%
    \boxed{x_0 \quad \mbox{\infer*{\phi\lbrack x_0/x \rbrack}{}}}
  }
\end{equation*}
\end{document}

我怎样才能使 x_0 与 \boxed 的顶部对齐？

Answer 1

框的参考点\infer位于底部。您可以使用 更改其垂直对齐方式adjustbox；我展示了三个版本。

\documentclass{article}
\usepackage{amsmath,proof,adjustbox,calc}

\begin{document}
\[
\infer[\forall x \mathrm{i}]
  {\forall x \phi}
  {%
   \boxed{
     x_0
     \quad
     \begin{adjustbox}{valign=t,raise=-.6ex}
       \infer*{\phi[x_0/x]}{}
     \end{adjustbox}
   }%
  }
\qquad
\infer[\forall x \mathrm{i}]
  {\forall x \phi}
  {%
   \boxed{
     x_0
     \quad
     \begin{adjustbox}{valign=t}
       \infer*{\phi[x_0/x]}{}
     \end{adjustbox}
   }%
  }
\qquad
\infer[\forall x \mathrm{i}]
  {\forall x \phi}
  {%
   \boxed{
     x_0
     \quad
     \begin{adjustbox}{valign=T}
       \infer*{\phi[x_0/x]}{}
     \end{adjustbox}
   }%
  }
\]
\end{document}