LaTeX

LaTeXで証明木を書く

証明木をflag notationで書く 普通の証明木(?)を書く方法はネットに情報が転がっているのですが、flag記法で書く方法はどうにも情報がない…と思っていたらついに見つけました。 CTAN: Package flagderiv PDFはこちら。 http://ftp://ftp.u-aizu.ac.jp/pub…

TeX 行間の調整

一行おきに書きたい、とか行間を調整したいという時に。 一部だけ行間を調整したい 一行おきに書きたい、とかそういうときは特に便利かもしれないです。 setspaceというパッケージを使うとできます。プリアンブルのところに \usepackage{setspace} と書いて…