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