是否可以使用bussproof.sty
封装来获得具有垂直点的前提放电?例如:使用proof.sty
封装我用来\infer*
获得垂直点放电
\documentclass[a4paper,12pt,twoside,openright]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[german,english,italian]{babel}
\usepackage{amssymb,amsmath,amsthm,varwidth,bussproofs,syllogism, mathrsfs, proof}
\begin{document}
\infer{C}{A \vee B & \infer*{C}{[A]} & \infer*{C}{[B]} }
\end{document}
但是使用bussproof.sty
封装后我无法获得垂直点放电。例如:
\documentclass[a4paper,12pt,twoside,openright]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[german,english,italian]{babel}
\usepackage{amssymb,amsmath,amsthm,varwidth,bussproofs,syllogism, mathrsfs, proof}
\begin{document}
\begin{prooftree}
\AxiomC{$A \vee B$}
\AxiomC{[$A$]}
\noLine
\UnaryInfC{$C$}
\AxiomC{[$B$]}
\noLine
\UnaryInfC{$C$}
\TrinaryInfC{$C$}
\end{prooftree}
\end{document}
答案1
你可以用以下方式伪造它:
\documentclass[a4paper,12pt,twoside,openright]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{amssymb,amsmath,bussproofs,mathrsfs}
\begin{document}
\begin{prooftree}
\AxiomC{$A \vee B$}
\AxiomC{[$A$]}
\noLine
\UnaryInfC{$\vdots$}
\noLine
\UnaryInfC{$C$}
\AxiomC{[$B$]}
\noLine
\UnaryInfC{$\vdots$}
\noLine
\UnaryInfC{$C$}
\TrinaryInfC{$C$}
\end{prooftree}
\end{document}