Zeilennummern manuell festlegen, wenn prooftrees.sty?

Question

Ist es möglich, die Zeilennummer in einem prooftreesTableau manuell festzulegen? Oder die Zeilennummern für eine einzelne Zeile zu unterdrücken? Ich hätte gerne so etwas wie

1  A_1
   \vdots
n  A_n

erzeugt vielleicht durch etwas wie

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

Answer 1

Bitte stellen Sie das nächste Mal ein minimales funktionierendes Beispiel zur Verfügung, da dies viel hilfreicher ist als ein paar Codefragmente.

Sie können die Zeilennummer manuell festlegen, sofern Sie dies spät genug bei der Verarbeitung der Baumspezifikation durch Forest tun.

Zum Beispiel,

\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}

Ich werde das vielleicht das nächste Mal hinzufügen, da es einfach genug ist, aber wahrscheinlich nicht (viel) schaden kann.