⦇の意味
Z記法で関係像を表す式の始まりを示します。
Zは、ソフトウェアやその他の離散システムを数学的に正確に記述するための言語です。R⦇S⦈では、関係Rが値どうしを結び付け、Sは集合です。式全体は、Sの少なくとも1つの要素とRで結び付く値を表します。
ジャン＝レーモン・アブリアルによるZの研究は1970年代後半に始まりました。オックスフォードで発展し、1980年代には産業プロジェクトでも使われ、その後、形式手法の教育にも取り入れられました。
専門性の高い記号です。Zの仕様書や、Z形式の関係記法を示します。
通常の丸括弧ではなく、⦈で閉じます。
組み合わせの例
1RによるSの関係像。Sの少なくとも1つの要素と結び付く値を表します。
⦇の入力方法
Windows (Word)
Alt+X2987を入力してAlt+Xを押すと⦇になります。
Windows
Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ（Win + .）を使います。
macOS
Control+Command+Space文字ビューアを開き、「z notation left image bracket」を検索します。
Linux
Ctrl+Shift+U2987を入力してEnterまたはSpaceを押します。
HTML
⦇CSS
\2987コードと文字コードコードポイント数：1
HTML 十進数
⦇
HTML 十六進数
⦇
CSS 内容
content: "\2987";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%A6%87
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。