prooftrees tree nodes on different line

Question

While trying to write a tableaux proof tree with prooftrees, I had some difficulty with putting single and branching nodes on the same line.

documentclass{article}
usepackage{prooftrees}
begin{document}

begin{prooftree}
{
     to prove=neg(a vee b) vee ((a vee b) vee  b)
}
[{(a vee b) vee ((a vee b) vee  b)}, just = 1
    [{neg (a vee b)} just = 2
        [{a,b} just = 3
        ]
    ]
    [{(a vee b) vee  b}
        [{a vee b}
        ]
        [{b}
        ]
    ]
]
end{prooftree}
end{document}

I'd like to have 3. and 4. be on the same line, instead of different ones. how would I go about doing this? I'm writing with MiKTeX 2.9.6480 and TeXWorks, and typesetting with pdfLaTeX.
(also there's no tag for prooftrees, which is odd)

cfr · Answer

Version 0.7 of prooftrees can do this by disabling the automated movement algorithm.

documentclass[tikz,border=10pt]{standalone}
usepackage{prooftrees}
begin{document}

begin{prooftree}
{
     to prove=neg(a vee b) vee ((a vee b) vee  b),
     not auto move,
}
[{(a vee b) vee ((a vee b) vee  b)}, just = 1
    [{neg (a vee b)}, just = 2
        [{a,b}, just = 3
        ]
    ]
    [{(a vee b) vee  b}
        [{a vee b}
        ]
        [{b}
        ]
    ]
]
end{prooftree}
end{document}

You might want to use single branches in this case, also.

prooftrees tree nodes on different line

One Answer

Add your own answers!

Ask a Question