⦁の意味
宣言と、それに続く述語や式を区切ります。 ∃ x : S ⦁ Pは、S内にPを真にするxがあるという意味です。∀ x : S ⦁ Pでは、S内のすべてのxがPを満たします。
〜と混同しないで
3組み合わせの例
2Pを満たすxがS内に存在する。
S内のすべてのxがPを満たす。
⦁の入力方法
Windows (Word)
Alt+X2981を入力してAlt+Xを押すと⦁になります。
Windows
Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ（Win + .）を使います。
macOS
Control+Command+Space文字ビューアを開き、「z notation spot」を検索します。
Linux
Ctrl+Shift+U2981を入力してEnterまたはSpaceを押します。
HTML
⦁CSS
\2981コードと文字コードコードポイント数：1
HTML 十進数
⦁
HTML 十六進数
⦁
CSS 内容
content: "\2981";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%A6%81
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。