☰

テキストの長さに基づいたカーニング

tag-icon • tag-icon kerning
テキストの長さに基づいたカーニング

私は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 の長さに基づいて 2 番目のコメントをカーニングする方法があることを期待していました。

使用方法を調べていました\widthofが、目的に応じてどのように使用すればよいかわかりませんでした。私はラテックスにかなり不慣れなので、何か明らかなことを見逃しているのかもしれません。

前もって感謝します！

答え1

使用できます

\makebox[0pt][r]{1\&3\hspace{100pt}}Comment

したがって、1 と 3 はスペースを取らないのでコメントの邪魔にはなりませんが、左にオフセットされます。

関連情報