Я использую 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 не занимает места и не мешает комментарию, но смещено влево.