パッケージ。 bxproofstyle.sty (gist) \documentclass[a4paper]{article} \usepackage{bxproofstyle} \newtheorem{theorem}{Theorem} % \newprooflikestyle でスタイルを定義. 引数の意味は最後(9盤目)の % ものがないことを除いて \newtheoremstyle と同じ…