定理型環境とは 数学的文章を書く場合、定理、命題、補題といった定理型環境の存在は欠かせません。しかしmarkdownには当然そのような機能は無いため、妥協して**定理**などで装飾したりします。HTMLのタグを用いてCSSでそれっぽく作ることもできますが、今…