Estou usando o flagderivpacote para provas, mas ele não tem como colocar o texto antes do número da linha, então acabei \kernde colocar o texto onde quero, mas isso desalinha os comentários.
Aqui está um exemplo do que estou tentando fazer:
\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}
Isso está próximo do que eu quero, mas os comentários não estão alinhados, então eu esperava que houvesse alguma maneira de ajustar o kerning do segundo comentário com base no comprimento de 1 e 3.
Eu estava pensando em usar \widthof, mas não consegui descobrir como usá-lo para meu propósito. Eu sou muito novo no látex, então talvez esteja faltando algo óbvio.
Desde já, obrigado!
Responder1
Você pode usar
\makebox[0pt][r]{1\&3\hspace{100pt}}Comment
portanto, 1 e 3 não ocupa espaço e não atrapalha o comentário, mas é deslocado para a esquerda.