その他の数学記号A

その他の数学記号A（そのたのすうがくきごうA、）は、Unicodeの90個目のブロック。

解説数学記号のうち、数学記号ブロックに含まれていないものが収録されている。 Unicodeのバージョン3.2において初めて追加された。

収録文字コード文字文字名（英語）用例・説明その他の記号U+27C0⟀THREE DIMENSIONAL ANGLE立体角。ユークリッド幾何学で用いられる。U+27C1⟁WHITE TRIANGLE CONTAINING SMALL WHITE TRIANGLEユークリッド幾何学で用いられる。U+27C2⟂PERPENDICULAR幾何学における垂直記号専用の記号。ユークリッド幾何学で用いられる。

U+22A5 ⊥ UP TACKは論理学において偽の真理値を表すことがあり、カーニングにおいて差異があること、LaTeX上で両者が区別されていることから、垂直記号専用の記号として符号位置を分離された。U+27C3⟃OPEN SUBSET位相ベクトル空間の有界な部分集合を表す。U+27C4⟄OPEN SUPERSET対になる約物U+27C5⟅LEFT S-SHAPED BAG DELIMITER多重集合の定義を表す際に用いられる。U+27C6⟆RIGHT S-SHAPED BAG DELIMITER演算子U+27C7⟇OR WITH DOT INSIDEその他の記号U+27C8⟈REVERSE SOLIDUS PRECEDING SUBSETU+27C9⟉SUPERSET PRECEDING SOLIDUS縦線演算子U+27CA⟊VERTICAL BAR WITH HORIZONTAL STROKEその他の記号U+27CB⟋MATHEMATICAL RISING DIAGONAL以下の用法がある。

の空間(spaces of double cosets)の記述に用いられる。合成体の記述に用いられる。除算演算子U+27CC⟌LONG DIVISION除算記号。初等教育などの筆算において割り算で用いられる。右に書かれる被除数（割られる数）の長さだけ上の水平線が伸びる。その他の記号U+27CD⟍MATHEMATICAL FALLING DIAGONAL以下の用法がある。

両側剰余類の空間の記述に用いられる。合成体の記述に用いられる。演算子U+27CE⟎SQUARED LOGICAL AND形態学的最小積演算子、形態学的侵食演算子、加法最小演算子を表す。主に機械学習の分野で用いられ、加算の後に最小値を求める非線形演算子(box-min)として用いられる。通常のANDで書かれる畳み込み演算子（乗算のあとに加算する）と区別するために四角い囲みが付けられている。U+27CF⟏SQUARED LOGICAL OR形態学的最大積演算子、形態学的拡張演算子、加法最大演算子を表す。主に機械学習の分野で用いられ、加算の後に最大値を求める非線形演算子(box-max)として用いられる。通常のORで書かれる畳み込み演算子（乗算のあとに加算する）と区別するために四角い囲みが付けられている。その他の記号U+27D0⟐WHITE DIAMOND WITH CENTRED DOT演算子U+27D1⟑AND WITH DOTU+27D2⟒ELEMENT OF OPENING UPWARDSU+27D3⟓LOWER RIGHT CORNER WITH DOT圏論における引き戻しを表す。U+27D4⟔UPPER LEFT CORNER WITH DOT圏論におけるを表す。データベース理論用の演算子U+27D5⟕LEFT OUTER JOINU+27D6⟖RIGHT OUTER JOINU+27D7⟗FULL OUTER JOINタック及びターンスタイルU+27D8⟘LARGE UP TACKU+27D9⟙LARGE DOWN TACKU+27DA⟚LEFT AND RIGHT DOUBLE TURNSTILE左辺の命題と右辺の命題がどちら側からも他方が論理的に等価であることが証明できる（妥当な推論である）ことを表す。U+27DB⟛LEFT AND RIGHT TACK左辺の命題と右辺の命題がどちら側からも他方が推論可能であることを表す。U+27DC⟜LEFT MULTIMAPU+27DD⟝LONG RIGHT TACKU+27DE⟞LONG LEFT TACKU+27DF⟟UP TACK WITH CIRCLE ABOVE極座標における動径成分を表す。様相論理演算子U+27E0⟠LOZENGE DIVIDED BY HORIZONTAL RULE様相論理において可能性演算子として使用される。U+25CA ◊ LOZENGEの異体字。U+27E1⟡WHITE CONCAVE-SIDED DIAMOND「～は決してあり得ない(never)」を表す。U+27E2⟢WHITE CONCAVE-SIDED DIAMOND WITH LEFTWARDS TICK「～は決してあり得なかった(was never)」を表す。U+27E3⟣WHITE CONCAVE-SIDED DIAMOND WITH RIGHTWARDS TICK「～は決してあり得なくなるだろう(will never be)」を表す。U+27E4⟤WHITE SQUARE WITH LEFTWARDS TICK「～は必然的だった(was always)」を表す。U+27E5⟥WHITE SQUARE WITH RIGHTWARDS TICK「～は必然的になるだろう(will always be)」を表す。数学用括弧U+27E6⟦MATHEMATICAL LEFT WHITE SQUARE BRACKETZ言語で多重集合(bag)を表す。U+27E7⟧MATHEMATICAL RIGHT WHITE SQUARE BRACKETU+27E8⟨MATHEMATICAL LEFT ANGLE BRACKET以下の用法がある。

生成を表す。群論で群の表示に用いられる。結び目理論でブラケット多項式に用いる。波動関数でブラ-ケット記法に用いる。 Z言語で配列(sequence)を表す。U+27E9⟩MATHEMATICAL RIGHT ANGLE BRACKETU+27EA⟪MATHEMATICAL LEFT DOUBLE ANGLE BRACKETU+27EB⟫MATHEMATICAL RIGHT DOUBLE ANGLE BRACKETU+27EC⟬MATHEMATICAL LEFT WHITE TORTOISE SHELL BRACKETU+27ED⟭MATHEMATICAL RIGHT WHITE TORTOISE SHELL BRACKETU+27EE⟮MATHEMATICAL LEFT FLATTENED PARENTHESIS大きな数式を囲むのに用いられる丸括弧"()"。縦方向に引き延ばされる際に垂直中央位置が平らな字形になるため符号位置を分けられた。U+27EF⟯MATHEMATICAL RIGHT FLATTENED PARENTHESIS

小分類このブロックの小分類は「その他の記号」（）、「対になる約物」（）、「演算子」（）、「縦線演算子」（）、「除算演算子」（）、「データベース理論用の演算子」（）、「タック及びターンスタイル」（）、「様相論理演算子」（）、「数学用括弧」（）の9つとなっている。本ブロックでは、Unicodeのバージョン更新時の文字追加が隙間を埋める形で行われた影響で、同一の小分類に属する文字が飛び飛びの符号位置に割り当てられていることがある。また、収録文字が1文字しかない小分類については小分類名が単数形で表現されているが、本記事では単数形か複数形かによる小分類名の表記ゆれについては別の小分類として扱わず、同一の小分類として扱うこととする。

その他の記号（）この小分類には以下の他の小分類に分類不可能な様々な記号類が収録されている。

対になる約物（）この小分類には1対で機能する括弧類が収録されている。

演算子（）この小分類には様々な演算子が収録されている。

縦線演算子（）この小分類にはバーティカルバーの形をした演算子が収録されている。

除算演算子（）この小分類には筆算で用いる除算の記号1文字のみが収録されている。

データベース理論用の演算子（）この小分類にはで用いられる演算子が収録されている。

タック及びターンスタイル（）この小分類には論理学などで用いられるタックとターンスタイルの変種が収録されている。

様相論理演算子（）この小分類には様相論理で用いられる演算子が収録されている。

数学用括弧（）この小分類には数学において様々な用途で用いられる括弧類が収録されている。

これらの括弧文字は、数学的なコンテキスト以外において約物としても使用される。

文字コード

履歴以下の表に挙げられているUnicode関連のドキュメントには、このブロックの特定の文字を定義する目的とプロセスが記録されている。バージョン文字数L2 IDドキュメント3.2U+27D0..27EB284.1U+27C0..27C12U+27C21U+27C3..27C645.0U+27C7..27C93U+27CA15.1U+27EC..27ED2U+27CC,27EE..27EF36.0U+27CE..27CF26.1U+27CB,27CD2提案されたコードポイントと文字の名前は、最終決定と異なる場合がある。

出典

その他の数学記号A

Źródło i licencja