在 prooftree 中插入标点符号

Question

我的代码如下：

\documentclass{book}
 \usepackage{proof}
 \usepackage{bussproofs}


\begin{document}

This is for test

\begin{center}
\begin{prooftree}
\AxiomC{$\vdash  \{A \land b \}c\{A\}$}
\UnaryInfC{$\vdash \{A\} \textrm{ while } b \textrm{ do } c \{A \land
\lnot b\}$}
\end{prooftree}
\end{center}

This is for test

\end{document}

该代码运行良好，但我需要在显示证明末尾插入一个句点，请指教如何操作？

Answer 1

使用\DisplayProof：

\documentclass{book}
\usepackage{bussproofs}

\newenvironment{iproof}{}{\DisplayProof}

\begin{document}

This is for test
\[
\begin{iproof}
\AxiomC{$\vdash  \{A \land b \}c\{A\}$}
\UnaryInfC{$\vdash \{A\} \textrm{ while } b \textrm{ do } c \{A \land
\lnot b\}$}
\end{iproof}\,.
\]
This is for test

\end{document}