# Insert punctuation into a prooftree

My codes are follows:

\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}

This codes working fine, but I need to insert a period at the end of display proof, please advise how to do it?

Use \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}

• as usual you are really great...it works fine.... – MadyYuvi Oct 30 '18 at 12:45