☰

如果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}

覆蓋特定行的行號

下次我可能會添加這個，因為它很簡單，但可能不會傷害任何東西（太多）。

相關內容