厳密含意
$ \strictif
↑、どうしよう…
一応
$ A \mathbin{⥽} B
(
[$ A \mathbin{⥽} B]
)で上手くいくが，端的に言って面倒．
2024.01.17
[$ \strictif]
が無いので，今後この
Scrapbox
では厳密含意を
$ \to^\Box
と表記する．