prooftrees.sty 中 tableau 的闭包符号和终端节点之间的空格

Question

prooftrees我尝试根据包的文档 (参见)排版带有包的 tableau。https://ctan.joethei.xyz/graphics/pgf/contrib/prooftrees/prooftrees.pdf) 和 Peter Smith 的指南（参见https://www.logicmatters.net/resources/pdfs/L4LProoftrees.pdf）。对我来说，终端节点和闭包符号之间总是会出现奇怪的空格。我用几个 TeX Live 版本测试了这个包，问题出现在 TeX Live 2019 及更新版本中。有人知道解决方法吗？下面是我使用的一些代码：

\documentclass[tikz,border=10pt]{standalone}
\usepackage[tableaux]{prooftrees}
\begin{document}
\begin{tableau}
  {
    close with={\ensuremath{\ast}}
  }
  [P \land (Q \lor \lnot R), checked
    [\lnot ((P \land Q) \land S), checked
      [\lnot (P \land S) \lor R, checked
        [\lnot\lnot S
          [P
            [Q \lor \lnot R, checked
              [\lnot (P \land Q), checked
                [\lnot P, close]
                [\lnot Q
                  [Q, close]
                  [\lnot R
                    [\lnot (P \land S), checked
                      [\lnot P, close]
                      [\lnot S, close]
                    ]
                    [R, close]
                  ]
                ]
              ]
              [\lnot S, close]
            ]
          ]
        ]
      ]
    ]
  ]
\end{tableau}
\end{document}

输出如下：

预先感谢您的帮助！

Answer 1

这是 0.7 版本中出现的一个错误，已在 0.8 版本中修复。

需要说明的是，我所熟悉的 tableaux 证明系统没有一个能对齐终端节点。所以这肯定是不是某事prooftrees应该或将要发生。

错误的间距是我没有发现的一个错误，当然不是设计造成的。

电流输出：

对于代码：

\documentclass[tikz,border=10pt]{standalone}
\usepackage[tableaux]{prooftrees}
\begin{document}
\begin{tableau}
  {
    close with={\ensuremath{\ast}}
  }
  [P \land (Q \lor \lnot R), checked
    [\lnot ((P \land Q) \land S), checked
      [\lnot (P \land S) \lor R, checked
        [\lnot\lnot S
          [P
            [Q \lor \lnot R, checked
              [\lnot (P \land Q), checked
                [\lnot P, close]
                [\lnot Q
                  [Q, close]
                  [\lnot R
                    [\lnot (P \land S), checked
                      [\lnot P, close]
                      [\lnot S, close]
                    ]
                    [R, close]
                  ]
                ]
              ]
              [\lnot S, close]
            ]
          ]
        ]
      ]
    ]
  ]
\end{tableau}
\end{document}