Definir manualmente os números de linha se prooftrees.sty?

Question

É possível definir manualmente o número da linha em um prooftreesquadro? Ou suprimir os números de linha de uma linha individual? Eu gostaria de ter algo como

1  A_1
   \vdots
n  A_n

produzido talvez por algo como

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

Answer 1

Forneça um exemplo prático mínimo da próxima vez, pois isso é muito mais útil do que alguns fragmentos de código.

Você pode definir o número da linha manualmente, desde que faça isso suficientemente tarde no processamento da especificação da árvore pelo Forest.

Por exemplo,

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

Devo acrescentar isso na próxima vez, pois é bastante simples, mas provavelmente não pode prejudicar nada (muito).