最近まで知らなかった話。公式ドキュメントをしっかり読んだら一瞬で解決して心が痛くなった話とも言う． LaTeX で証明図を書くのに普段 bussproofs.sty を使っているが，証明図の後に句読点を打とうとするとうまく行かなかった． The introduction rule of …