表組みの仕様が変わった

行の銭湯にある「|-」に反応するようになってしまった。よって、証明可能性記号が行頭で使えない。過去記事は壊れる。