在分数旁边写文字

Question

我想在有许多楼层的分数旁边写一些文字，但我不知道该怎么做。以下是我想要做的一个示例：

在红色圆圈中，我想写一些类似于下面的内容。这是我得到这个的方法：

\cfrac
        {\cfrac
            {A \vee A \vdash A}
            {\vdash \neg (A \vee A), A}}  
        {\vdash \neg (A \vee A) \vee A}
        & \qquad \text{($\vdash \vee$)}

先感谢您。

编辑：事实上，我正在寻找类似的东西：

但我希望所有括号都对齐，并且不在分数内

Answer 1

首先，要实现 OP 所展示的内容：

\documentclass{article}

\usepackage{amsmath}
\newcommand\push{\hfill\mbox{}}
\newcommand\notate[1]{\push\qquad\rlap{$#1$}}
\begin{document}
\[
\cfrac
        {\!\cfrac
            {A \vee A \vdash A\push}
            {\vdash \neg (A \vee A), A}       \notate{(\vdash \vee)}}  
        {\vdash \neg (A \vee A) \vee A\push}  \notate{(\vdash \vee)}
\]
\end{document}

然后，他补充道：“但我希望所有括号都对齐，并且不在分数中”。所以在这里，我稍微改变了 的定义\notate：

\documentclass{article}

\usepackage{amsmath}
\newcommand\push{\hfill\mbox{}}
\newcommand\notate[1]{\push\rlap{\qquad$#1$}}
\begin{document}
\[
\cfrac
        {\mkern-2mu\cfrac
            {A \vee A \vdash A\push}
            {\vdash \neg (A \vee A), A}  \notate{(\vdash \vee)}}  
        {\vdash \neg (A \vee A) \vee A}  \notate{(\vdash \vee)}
\]
\end{document}

Answer 2

我可以建议bussproofs：

\documentclass{article}
\usepackage{bussproofs}

\begin{document}

\begin{prooftree}
\AxiomC{$\overline{A\vdash A}$} \AxiomC{$\overline{A\vdash A}$}
\RightLabel{$(\lor\vdash)$}
\BinaryInfC{$A\lor A\vdash A$}
\RightLabel{$(\vdash\neg)$}
\UnaryInfC{$\vdash\neg(A\lor A),A$}
\RightLabel{$(\vdash\lor)$}
\UnaryInfC{$\vdash\neg(A\lor A)\lor A$}
\end{prooftree}

\end{document}