Estoy usando el flagderivpaquete para pruebas, pero no tiene forma de poner texto antes del número de línea, así que solía \kernponer el texto donde lo quiero, pero esto desalinea los comentarios.
Aquí hay un ejemplo de lo que estoy tratando de hacer:
\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}
Esto se acerca a lo que quiero que se vea, pero los comentarios no están alineados, por lo que esperaba que hubiera alguna forma de interletraje del segundo comentario según la longitud de 1 y 3.
Estaba pensando en usarlo \widthofpero no podía descubrir cómo usarlo para mi propósito. Soy bastante nuevo en el látex, así que tal vez me esté perdiendo algo obvio.
¡Gracias de antemano!
Respuesta1
Puedes usar
\makebox[0pt][r]{1\&3\hspace{100pt}}Comment
por lo que 1 y 3 no ocupan espacio, por lo que no perturban el comentario, sino que se desplazan hacia la izquierda.