¿Establecer manualmente los números de línea si esprooftrees.sty?

Question

¿Es posible configurar manualmente el número de línea en un prooftreescuadro? ¿O suprimir los números de línea de una línea individual? Me gustaría tener algo como

1  A_1
   \vdots
n  A_n

producido tal vez por algo como

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

Answer 1

La próxima vez proporcione un ejemplo práctico mínimo, ya que es mucho más útil que un par de fragmentos de código.

Puede establecer el número de línea manualmente siempre que lo haga lo suficientemente tarde en el procesamiento de la especificación del árbol por parte de Forest.

Por ejemplo,

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

Podría agregar esto la próxima vez, ya que es bastante simple, pero probablemente no haga daño a nada (mucho).