2006-04-18 proof.sty 先日、証明図をがんばってarray環境で書いていたら、先生にバカにされたので、proof.styをインストールする。これは…便利すぎて鼻血がでそうである。僕はなんて幸せなんだろうか。