∣の意味
左の数が右の数を余りなく割り切ることを表します。
つまり 3 ∣ 12 は正しく、5 ∣ 12 は誤りです。整数論や証明では a ∣ b の形でよく現れ、「a は b を割り切る」と読みます。
{n ∣ n > 0} のように波かっこの中では「〜であるような」と読み、「n > 0 であるような n 全体の集合」を表します。
20世紀初頭に定着した記法
ドイツの整数論学者エドムント・ランダウが、素数の分布に関する参考書である1909年の Handbuch でこの記法を説明し、1930年代に広く使われるようになりました。それまで言葉で書いていた関係を、短い一つの記号に置き換えたのです。
整数論や証明の文章で使う形式的な記号。普段のチャットで使うと専門的な数学記法だと受け取られます。
割り算ではありません。3 ∣ 12 は真か偽かの主張です。
このコレクションに含まれます
〜と混同しないで
2
関連する文字
1
似たもの
17
∣の入力・検索方法
- 別名
- mid · 整除記号
- 次のように検索
- 整除 · 割り切る 記号 · a は b を割り切る · such that · 縦棒
- 表示される場所
- テキストを入力できる場所 · 形はフォントによって異なります
Windows (Word)
Windows
HTML
∣CSS
\2223LaTeX
a \mid b と書きます。ただの では間隔が正しくなりません。LaTeX（否定）
a \nmid b と書きます（amssymb パッケージが必要）。Windows（Word）
2223 と入力して AltX を押します。
Linux（GTK アプリ）
CtrlShiftU を押し、2223 と入力して Enter を押します。
コードと文字コードコードポイント数：1
HTML 十進数
∣
HTML 十六進数
∣
CSS 内容
content: "\2223";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%88%A3
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。