Sokratesさんの備忘録ないし雑記帳

ブログは同人誌の一種だと思って書いてる.書きたいことを書いている.駄文注意.

2021-03-01から1日間の記事一覧

証明図の後に句読点を打ちたい話(bussproofs.sty)

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