fsymbols
記号を読み込み中…
››
⨡

Z記法のスキーマ射影

Z記法のスキーマ射影

⨡はZ記法のスキーマ射影演算子です。2つのスキーマの条件を組み合わせ、2つ目のスキーマにある名前だけを残します。形式仕様では、条件を保ちながら扱う変数を絞れます。

テキスト記号
次のように検索
zproject · Z射影 · スキーマ射影 · Z記法の射影 · LaTeXの射影コマンド
表示される場所
テキストを入力できる場所 · 形はフォントによって異なります

⨡の意味

両方の条件を保ち、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
\2A21
Zの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 はバイトを数えます。

この記号のグループ

1

数学と数字1,835個の記号