⨡の意味
両方の条件を保ち、2つ目の名前だけを見せます。 Zのスキーマは、名前付きの変数と条件をまとめたものです。宣言された名前の集合をシグネチャと呼びます。
S ⨡ Tでは、値の組み合わせは両方のスキーマの条件を満たし、見える名前はTのものだけです。スキーマ隠蔽(S \ (x))は、隠す変数を指定します。1984年のオックスフォードの報告書は、Zを計算機システムを仕様化する言語として説明しています。ISO規格は射影をスキーマ演算子として定義しています。フォントによって⨡の形が異なったり、表示できなかったりします。
⨡の入力方法
Windows (Word)
Alt+X2A21を入力してAlt+Xを押すと⨡になります。
Windows
Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ(Win + .)を使います。
macOS
Control+Command+Space文字ビューアを開き、「z notation schema projection」を検索します。
Linux
Ctrl+Shift+U2a21を入力してEnterまたはSpaceを押します。
HTML
⨡CSS
\2A21ZのLaTeX
Community Z ToolsのLaTeX記法では、この演算子に `\project` を使います。
コードと文字コードコードポイント数:1
HTML 十進数
⨡
HTML 十六進数
⨡
CSS 内容
content: "\2A21";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%A8%A1
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。
