答案1
\documentclass{article}
\usepackage[brackets]{schemata}
\begin{document}
\schema[open]{}{
{\sffamily VerifyTransaction}
\begin{itemize}
\item \textsc{inputs:}
\begin{itemize}
\item public parameters pp
\item a (mint or pour) transaction tx
\item The current legger $L$
\end{itemize}
\item \textsc{outputs:} but $b$, equals 1 iff the transaction is valid
\end{itemize}}
\end{document}
答案2
\documentclass{article}
\usepackage{lipsum}
\begin{document}
\[
\left[
\parbox{0.9\textwidth}{\lipsum[1]}
\right.
\]
\end{document}