☰

如果是 prooftrees.sty，是否手动设置行号？

tag-icon • tag-icon forest logic proof-package prooftrees
如果是 prooftrees.sty，是否手动设置行号？

是否可以手动设置prooftrees表中的行号？或者隐藏单个行的行号？我想要类似的东西

1  A_1
   \vdots
n  A_n

也许是由类似的东西产生的

[A_1 [\vdots, no line no [A_n, line no=n]]]

答案1

下次请提供一个最小的工作示例，因为这比几个代码片段更有帮助。

您可以手动设置行号，只要您在 Forest 处理树规范的足够晚的时候进行此操作即可。

例如，

\documentclass[border=10pt]{standalone}
\usepackage{prooftrees}
\forestset{
  line no override/.style={
    before drawing tree={
      for name/.process={Ow}{proof tree proof line no}{line no ##1}{
        content=\linenumberstyle{#1},
        typeset node,
      },
    },
  },
  no line no/.style={
    before drawing tree={
      for name/.process={Ow}{proof tree proof line no}{line no ##1}{
        content=,
        typeset node,
      },
    },
  },
}
\begin{document}
\begin{prooftree}{}
  [P \land Q
    [\vdots, no line no
      [Q,  line no override=n
      ]
    ]
  ]
\end{prooftree}
\end{document}

覆盖特定行的行号

我下次可能会添加这个，因为它足够简单，但可能不会造成太大的损害。

相关内容