証明木を書くのに大変便利な bussproofs.sty というものがあります. 使い方が簡単な上にマニュアルもしっかりしているので詳しいことは書きませんが, 位置取りまで込みでやってくれる環境の \begin{prooftree} \end{prooftree} を使う方法と,in-line 形式…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。