Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [prooftrees]

The tag has no usage guidance.

4
votes
0answers
24 views

Edge of prooftree takes on style of other edge if move by is used twice

I use the package prooftrees, which is based on the TikZ forest. As I have to draw proofs with many branches, I want some nodes to be lower, which is supported by the "move by" option. However, if I ...
3
votes
1answer
149 views

How do you use environments that have the same name within a single LaTeX document?

I'm trying to typeset some proof tree exercises. But I need to use the prooftree environment from the bussproofs package, as well as the prooftree environment from the prooftrees package. Is there a ...
1
vote
2answers
59 views

Show up only parts of prooftree on beamer frames

I tried to use prooftrees in a beamer file. Exists there an option to fade in each layer of the prooftree, without using several frames? In the code-frame below I used \visible<>{}, but it only ...
4
votes
1answer
90 views

prooftrees.sty - why are line numbers overlapping and how to avoid?

Why are the "6" and "7" overlapping here and how can I avoid it? \documentclass[border=10pt]{standalone} \usepackage{prooftrees} \begin{document} \begin{prooftree}{} [A [A [A [...
4
votes
0answers
62 views

prooftrees tree nodes on different line

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{...
2
votes
2answers
104 views

Why is prooftrees putting everything on the same line?

I'm trying to do a prooftrees tree like this: \documentclass[letterpaper, 12pt]{article} \usepackage{prooftrees} \begin{document} \begin{prooftree} { to prove={ A \lor B \lor C \lor D \lor E } } ...