根据文本长度调整字距

根据文本长度调整字距

我正在使用该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,但不知道如何使用它。我对乳胶还很陌生,所以我可能错过了一些显而易见的东西。

提前致谢!

答案1

您可以使用

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

因此 1&3 不占用空间,所以不会干扰注释,但会向左偏移。

相关内容