2018-06-11 約数倍数 教育 半形式証明スクリプト 具体例 困った事と対策: aはbの約数である(bはaの倍数である)ことを表す(広く合意された)記号がない。 縦棒 | を使うことがあるが、使い勝手が悪い! Unicode一覧を見ると、⊑(U+2291) と ⊒(U+2292) がある。 これを使おう。 定義: aはbの約数である ⇔ a⊑b aはbの倍数である ⇔ a⊒b a⊑b ⇔ b⊒a