格式化顶部栏

Question

我不完全理解如何绘制下图顶部和底部的线条：

我不需要帮助格式化文本，只需要格式化顶部和底部的线条。

我想我必须使用一系列hrule和vrule命令，但我不太确定这是否是正确的方法，而且我无法让事情按照我想要的方式排列。

Answer 1

您可以使用包中的\overbracket和命令。\underbracketmathtools

\documentclass{article}
\usepackage{mathtools}
\begin{document}
\[
\underbracket{\overbracket{%
\begin{array}{ll}
  \Gamma \vdash \diamond & \text{$\Gamma$ is a well-formed environment}
\end{array}
}}
\]
\[
\underbracket[0.5pt]{\overbracket[0.5pt]{%
\begin{array}{ll}
  \Gamma \vdash \diamond & \text{$\Gamma$ is a well-formed environment}
\end{array}
}}
\]
\end{document}