で記号論理の証明図を書ける proof.sty なるファイルがあることを知り、早速ダウンロード。 しかし、証明図を \infer 木に変換するのはかなり面倒かも。UNIX の X Window system 上で動く xpe(X window system Proof Editor) なるツールはあるらしいが… Wind…