☰

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}

特定の行の行番号を上書きする

これは十分単純なので、次回追加するかもしれませんが、おそらく何も（あまり）害を及ぼすことはないと思います。

関連情報