Вручную задать номера строк, если prooftrees.sty?

Question

Можно ли вручную задать номер строки в prooftreesтаблице? Или отключить номера строк для отдельной строки? Я бы хотел что-то вроде

1  A_1
   \vdots
n  A_n

произведено, возможно, чем-то вроде

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

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

Возможно, я добавлю это в следующий раз, так как это достаточно просто, но вряд ли может навредить (сильно).