⨾の意味
⨾ は共通の中間値を介して2つの関係を合成します。 Z記法の関係合成では、最初の関係の結果が次の関係の入力になります。また、Check ⨾ Reserve のように操作をつなぐこともでき、最初の操作は次が使える状態を残す必要があります。
関係合成にセミコロンを使う慣習はZより古く、資料ではエルンスト・シュレーダーの1895年の教科書までさかのぼります。Zはソフトウェア仕様を厳密に記述するためにこの合成を取り入れ、国際規格は2002年に発行されました。
Z仕様記述で使う専門的な数学記号です。合成の意味は、対象の種類と並び順で決まります。
〜と混同しないで
1⨾の入力方法
Windows (Word)
Alt+X2A3Eを入力してAlt+Xを押すと⨾になります。
Windows
Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ（Win + .）を使います。
macOS
Control+Command+Space文字ビューアを開き、「z notation relational composition」を検索します。
Linux
Ctrl+Shift+U2a3eを入力してEnterまたはSpaceを押します。
HTML
⨾CSS
\2A3Eコードと文字コードコードポイント数：1
HTML 十進数
⨾
HTML 十六進数
⨾
CSS 内容
content: "\2A3E";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%A8%BE
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。