prooftrees.sty - 为什么行号重叠以及如何避免？

Question

为什么这里的“6”和“7”重叠？我该如何避免这种情况？

\documentclass[border=10pt]{standalone}
\usepackage{prooftrees}
\begin{document}
\begin{prooftree}{}
[A
    [A
        [A
            [A
                [A
                    [A
                        [A]
                    ]
                ]
            ]
        ]
    ]
    [A
        [A
            [A
                [A]
                [A]
            ]
        ]
    ]
]
\end{prooftree}
\end{document}

我知道“移动”选项，但在大型复杂树中，这会增加很多有时很长的单个分支，在我看来，这看起来不太好。在我看来，当应用分支规则时，分支的大小应该增加/减少，这样就不会发生这种情况。

编辑-我想要的是类似这样的内容：

Answer 1

更新

0.7 版prooftrees现已推出

鉴于

\documentclass[border=10pt]{standalone}
\usepackage{prooftrees}
\begin{document}
\begin{prooftree}{}
[A
    [A
        [A
            [A
                [A
                  [A
                        [A]
                    ]
                ]
            ]
        ]
    ]
    [A
        [A
        [A
                [A]
                [A]
            ]
        ]
    ]
]
\end{prooftree}
\end{document}

也就是说，重叠节点（我认为是一个错误）现在有望得到修复。

---

原始答案

prooftrees默认情况下不应生成此输出。也就是说，我认为这是一个错误。但是，默认情况下也不太可能精确生成您想要的输出。我不认为这是一个错误。

目前prooftrees，我建议

\documentclass[border=10pt]{standalone}
\usepackage{prooftrees}
\begin{document}
\begin{prooftree}{}
  [A
    [A
        [A
            [A
                [A
                  [A
                        [A]
                    ]
                ]
            ]
        ]
    ]
    [A
        [A
            [A
                [A, move by=1]
                [A, move by=1]
            ]
        ]
    ]
  ]
\end{prooftree}
\end{document}

或者，

\begin{prooftree}{}
  [A
      [A
          [A
              [A
                [A, move by=1, edge+={draw=none}% if you don't want an edge
                    [A
                          [A]
                      ]
                  ]
              ]
          ]
      ]
      [A
          [A
              [A
                  [A]
                  [A]
              ]
          ]
      ]
  ]
\end{prooftree}