基於文字長度的字距調整

Question

我正在使用該flagderiv包進行校樣，但它無法將文字放在行號之前，因此我只是習慣\kern將文字放在我想要的位置，但這會使註解錯位。

這是我正在嘗試做的事情的一個例子：

\documentclass[11pt]{article}
   \usepackage{flagderiv}

\begin{document}

\noindent Formula: 
\begin{flagderiv}
   \step{}{P\implies Q}{}
   \step{}{Q\implies R}{commment}
   \assume{}{P}{}
      \step{}{Q}{\kern-115pt 1\&3\kern115pt comment}
      \step{}{R}{\kern-115pt 2\&4}
   \conclude{}{P\implies R}{}
\end{flagderiv}

\end{document}

這接近我想要的樣子，但註釋沒有對齊，所以我希望有某種方法可以根據 1 和 3 的長度調整第二個註釋。

我正在考慮使用\widthof但不知道如何將它用於我的目的。我對乳膠很陌生，所以我可能錯過了一些明顯的東西。

先致謝！

Answer 1

您可以使用

\makebox[0pt][r]{1\&3\hspace{100pt}}Comment

因此 1&3 不佔用空間，因此不會幹擾註釋，但會向左偏移。