텍스트 길이에 따른 커닝

텍스트 길이에 따른 커닝

나는 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은 공간을 차지하지 않으므로 주석을 방해하지 않지만 왼쪽으로 오프셋됩니다.

관련 정보