目次： 普通の証明木(?)を書く 証明木をflag notationで書く 普通の証明木(?)を書く 普通のproof treeは bussproofs が良さげです。 bussproof.sty：bussproofs: LaTeX proof tree style file マニュアル：http://math.ucsd.edu/~sbuss/ResearchWeb/bussproo…