Ich verwende das flagderivPaket für Beweise, aber es gibt keine Möglichkeit, Text vor die Zeilennummer einzufügen. Daher habe ich \kernden Text einfach dort eingefügt, wo ich ihn haben wollte. Dadurch werden jedoch die Kommentare falsch ausgerichtet.
Hier ist ein Beispiel dessen, was ich versuche:
\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}
Das kommt meinem Wunsch schon sehr nahe, aber die Kommentare sind nicht ausgerichtet, deshalb hoffte ich, dass es eine Möglichkeit gibt, den zweiten Kommentar basierend auf der Länge von 1&3 zu kernen.
Ich habe mir die Verwendung angesehen, \widthofkonnte aber nicht herausfinden, wie ich es für meinen Zweck verwenden kann. Ich bin ziemlich neu bei Latex, also übersehe ich vielleicht etwas Offensichtliches.
Dank im Voraus!
Antwort1
Sie können
\makebox[0pt][r]{1\&3\hspace{100pt}}Comment
daher nimmt 1&3 keinen Platz ein und stört den Kommentar nicht, ist aber nach links verschoben.