在 LaTeX 中重现兰贝克演算符号

Question

我试图在我的文档中重现以下内容：

但是我找不到办法。我找到的最接近的方法是使用以下代码：

\documentclass[a4paper, oneside, 10pt]{extarticle}
\usepackage[inference]{semantic}
\begin{document}

\inference{
    \inference{
        \inference{ p \rightarrow p\;\;\;\;p\rightarrow 
p}{p \rightarrow p\;\;\;\;\;(p/p)p \rightarrow p}[(/ $\rightarrow$)]} 
{(p/p)p(p\backslash p) \rightarrow p}[$(\backslash \rightarrow)$]
}
{(p/p)p \rightarrow p/(p\backslash p)}
[($\rightarrow$ /).]

\end{document}

结果却截然不同：

我怎样才能正确重现第一张图像？

Answer 1

这是该包中的一个方法prftree：

\documentclass[border=10pt,varwidth]{standalone}
\usepackage{prftree}
\begin{document}
\begin{displaymath}
  \prftree[r]{$\scriptstyle(/ \rightarrow)$}
  {\prftree[r]{$\scriptstyle(\backslash \rightarrow)$}
    {\prfassumption{p \rightarrow p}} {\prftree[r]{$\scriptstyle(/ \rightarrow)$}{\prfassumption{p \rightarrow p}}{\prfassumption{p \rightarrow p}}{(p/p)p \rightarrow p}}
    {(p/p)p(p \backslash p) \rightarrow p}}
  {(p/p)p \rightarrow p/(p \backslash p)}
\end{displaymath}
\end{document}