Wikipedia

補助数学記号

補助数学記号（ほじょすうがくきごう、英語: Supplemental Mathematical Operators）は、Unicodeの95個目のブロック。

補助数学記号
Supplemental Mathematical Operators
範囲 U+2A00..U+2AFF
(256 個の符号位置)
面 基本多言語面
用字 Common
主な言語・文字体系
割当済 256 個の符号位置
未使用 0 個の保留
Unicodeのバージョン履歴
3.2 256 (+256)
公式ページ
コード表 ∣ ウェブページ
テンプレートを表示

解説

編集

数学記号のうち、数学記号ブロックに含まれていないものが収録されている。

Unicodeのバージョン3.2において初めて追加された。

収録文字

編集
コード 文字 文字名（英語） 用例・説明
n項演算子
U+2A00 ⨀ N-ARY CIRCLED DOT OPERATOR
U+2A01 ⨁ N-ARY CIRCLED PLUS OPERATOR n項演算子としてのU+2295 ⊕ CIRCLED PLUS。記号自体が大きく書かれ、記号の下に変数の開始値が、上に終了値が書かれることを意図している。

ベクトル演算において直和を表す。

U+2A02 ⨂ N-ARY CIRCLED TIMES OPERATOR n項演算子としてのU+2297 ⊗ CIRCLED TIMES。記号自体が大きく書かれ、記号の下に変数の開始値が、上に終了値が書かれることを意図している。

ベクトル演算においてテンソル積を表す。

U+2A03 ⨃ N-ARY UNION OPERATOR WITH DOT
U+2A04 ⨄ N-ARY UNION OPERATOR WITH PLUS
U+2A05 ⨅ N-ARY SQUARE INTERSECTION OPERATOR
U+2A06 ⨆ N-ARY SQUARE UNION OPERATOR
U+2A07 ⨇ TWO LOGICAL AND OPERATOR
U+2A08 ⨈ TWO LOGICAL OR OPERATOR
U+2A09 ⨉ N-ARY TIMES OPERATOR n項演算子としてのU+00D7 × Multiplication sign。記号自体が大きく書かれ、記号の下に変数の開始値が、上に終了値が書かれることを意図している。

ベクトル演算において外積を表す。

総和記号及び積分記号
U+2A0A ⨊ MODULO TWO SUM
U+2A0B ⨋ SUMMATION WITH INTEGRAL
U+2A0C ⨌ QUADRUPLE INTEGRAL OPERATOR 四重積分を表す。
U+2A0D ⨍ FINITE PART INTEGRAL
U+2A0E ⨎ INTEGRAL WITH DOUBLE STROKE
U+2A0F ⨏ INTEGRAL AVERAGE WITH SLASH
U+2A10 ⨐ CIRCULATION FUNCTION
U+2A11 ⨑ ANTICLOCKWISE INTEGRATION
U+2A12 ⨒ LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE
U+2A13 ⨓ LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE
U+2A14 ⨔ LINE INTEGRATION NOT INCLUDING THE POLE
U+2A15 ⨕ INTEGRAL AROUND A POINT OPERATOR
U+2A16 ⨖ QUATERNION INTEGRAL OPERATOR
U+2A17 ⨗ INTEGRAL WITH LEFTWARDS ARROW WITH HOOK
U+2A18 ⨘ INTEGRAL WITH TIMES SIGN
U+2A19 ⨙ INTEGRAL WITH INTERSECTION
U+2A1A ⨚ INTEGRAL WITH UNION
U+2A1B ⨛ INTEGRAL WITH OVERBAR ダルブー積分（英語版）
U+2A1C ⨜ INTEGRAL WITH UNDERBAR
その他の大きな演算子
U+2A1D ⨝ JOIN 関係データベースのデータベース理論（英語版）(relational database theory)で用いられる[1]。
U+2A1E ⨞ LARGE LEFT TRIANGLE OPERATOR
U+2A1F ⨟ Z NOTATION SCHEMA COMPOSITION Z言語においてスキーマ構成(schema composition)を表す[2]。
U+2A20 ⨠ Z NOTATION SCHEMA PIPING Z言語においてスキーマのパイピング(schema piping)を表す[2]。
U+2A21 ⨡ Z NOTATION SCHEMA PROJECTION Z言語においてスキーマの投影(schema projection)を表す。
加算及び減算演算子
U+2A22 ⨢ PLUS SIGN WITH SMALL CIRCLE ABOVE
U+2A23 ⨣ PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE
U+2A24 ⨤ PLUS SIGN WITH TILDE ABOVE 差の絶対値、或いは総和を表す[1]。
U+2A25 ⨥ PLUS SIGN WITH DOT BELOW
U+2A26 ⨦ PLUS SIGN WITH TILDE BELOW 総和、或いは差の絶対値を表す[1]。
U+2A27 ⨧ PLUS SIGN WITH SUBSCRIPT TWO 組み合わせゲーム理論（英語版）においてニム加算（英語版）を表す[1]。
U+2A28 ⨨ PLUS SIGN WITH BLACK TRIANGLE
U+2A29 ⨩ MINUS SIGN WITH COMMA ABOVE
U+2A2A ⨪ MINUS SIGN WITH DOT BELOW
U+2A2B ⨫ MINUS SIGN WITH FALLING DOTS
U+2A2C ⨬ MINUS SIGN WITH RISING DOTS
U+2A2D ⨭ PLUS SIGN IN LEFT HALF CIRCLE
U+2A2E ⨮ PLUS SIGN IN RIGHT HALF CIRCLE
乗算及び除算演算子
U+2A2F ⨯ VECTOR OR CROSS PRODUCT ベクトル演算における外積を表す記号専用としてのU+00D7 × Multiplication sign。
U+2A30 ⨰ MULTIPLICATION SIGN WITH DOT ABOVE
U+2A31 ⨱ MULTIPLICATION SIGN WITH UNDERBAR
U+2A32 ⨲ SEMIDIRECT PRODUCT WITH BOTTOM CLOSED
U+2A33 ⨳ SMASH PRODUCT 位相幾何学においてスマッシュ積を表す。
U+2A34 ⨴ MULTIPLICATION SIGN IN LEFT HALF CIRCLE
U+2A35 ⨵ MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
U+2A36 ⨶ CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
U+2A37 ⨷ MULTIPLICATION SIGN IN DOUBLE CIRCLE
U+2A38 ⨸ CIRCLED DIVISION SIGN
その他の数学記号
U+2A39 ⨹ PLUS SIGN IN TRIANGLE
U+2A3A ⨺ MINUS SIGN IN TRIANGLE
U+2A3B ⨻ MULTIPLICATION SIGN IN TRIANGLE
U+2A3C ⨼ INTERIOR PRODUCT 線形代数学においてInterior product（英語版）を表す。なお、「内積(inner product)」とは異なる概念である。
U+2A3D ⨽ RIGHTHAND INTERIOR PRODUCT
U+2A3E ⨾ Z NOTATION RELATIONAL COMPOSITION Z言語において関係の構成(relational composition)を表す。
U+2A3F ⨿ AMALGAMATION OR COPRODUCT 直和或いは余積を表す。
積集合及び和集合
U+2A40 ⩀ INTERSECTION WITH DOT
U+2A41 ⩁ UNION WITH MINUS SIGN Z言語において多重集合の減算(bag subtraction)を表す。
U+2A42 ⩂ UNION WITH OVERBAR
U+2A43 ⩃ INTERSECTION WITH OVERBAR
U+2A44 ⩄ INTERSECTION WITH LOGICAL AND
U+2A45 ⩅ UNION WITH LOGICAL OR
U+2A46 ⩆ UNION ABOVE INTERSECTION
U+2A47 ⩇ INTERSECTION ABOVE UNION
U+2A48 ⩈ UNION ABOVE BAR ABOVE INTERSECTION
U+2A49 ⩉ INTERSECTION ABOVE BAR ABOVE UNION
U+2A4A ⩊ UNION BESIDE AND JOINED WITH UNION
U+2A4B ⩋ INTERSECTION BESIDE AND JOINED WITH INTERSECTION
U+2A4C ⩌ CLOSED UNION WITH SERIFS
U+2A4D ⩍ CLOSED INTERSECTION WITH SERIFS
U+2A4E ⩎ DOUBLE SQUARE INTERSECTION
U+2A4F ⩏ DOUBLE SQUARE UNION
U+2A50 ⩐ CLOSED UNION WITH SERIFS AND SMASH PRODUCT
論理積及び論理和
U+2A51 ⩑ LOGICAL AND WITH DOT ABOVE
U+2A52 ⩒ LOGICAL OR WITH DOT ABOVE
U+2A53 ⩓ DOUBLE LOGICAL AND
U+2A54 ⩔ DOUBLE LOGICAL OR
U+2A55 ⩕ TWO INTERSECTING LOGICAL AND
U+2A56 ⩖ TWO INTERSECTING LOGICAL OR
U+2A57 ⩗ SLOPING LARGE OR
U+2A58 ⩘ SLOPING LARGE AND
U+2A59 ⩙ LOGICAL OR OVERLAPPING LOGICAL AND
U+2A5A ⩚ LOGICAL AND WITH MIDDLE STEM
U+2A5B ⩛ LOGICAL OR WITH MIDDLE STEM ISO 2047では垂直タブ(U+000B)を表す。
U+2A5C ⩜ LOGICAL AND WITH HORIZONTAL DASH
U+2A5D ⩝ LOGICAL OR WITH HORIZONTAL DASH
U+2A5E ⩞ LOGICAL AND WITH DOUBLE OVERBAR
U+2A5F ⩟ LOGICAL AND WITH UNDERBAR
U+2A60 ⩠ LOGICAL AND WITH DOUBLE UNDERBAR
U+2A61 ⩡ SMALL VEE WITH UNDERBAR
U+2A62 ⩢ LOGICAL OR WITH DOUBLE OVERBAR
U+2A63 ⩣ LOGICAL OR WITH DOUBLE UNDERBAR
その他の数学記号
U+2A64 ⩤ Z NOTATION DOMAIN ANTIRESTRICTION Z言語において定義域の制限解除を表す[2]。
U+2A65 ⩥ Z NOTATION RANGE ANTIRESTRICTION Z言語において値域の制限解除を表す[2]。
関係演算子
U+2A66 ⩦ EQUALS SIGN WITH DOT BELOW
U+2A67 ⩧ IDENTICAL WITH DOT ABOVE
U+2A68 ⩨ TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE 幾何学において合同かつ平行であることを表す[1]。
U+2A69 ⩩ TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE
U+2A6A ⩪ TILDE OPERATOR WITH DOT ABOVE
U+2A6B ⩫ TILDE OPERATOR WITH RISING DOTS
U+2A6C ⩬ SIMILAR MINUS SIMILAR
U+2A6D ⩭ CONGRUENT WITH DOT ABOVE
U+2A6E ⩮ EQUALS WITH ASTERISK
U+2A6F ⩯ ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT
U+2A70 ⩰ APPROXIMATELY EQUAL OR EQUAL TO
U+2A71 ⩱ EQUALS SIGN ABOVE PLUS SIGN チェスの代数式記譜法（英語版）では黒がわずかに有利であることを表す[1]。
U+2A72 ⩲ PLUS SIGN ABOVE EQUALS SIGN チェスの代数式記譜法では白がわずかに有利であることを表す[1]。
U+2A73 ⩳ EQUALS SIGN ABOVE TILDE OPERATOR
U+2A74 ⩴ DOUBLE COLON EQUAL
U+2A75 ⩵ TWO CONSECUTIVE EQUALS SIGNS プログラミング言語ではしばしば単一の等号=が代入を表すため、等価であることを表すために用いられる。
U+2A76 ⩶ THREE CONSECUTIVE EQUALS SIGNS プログラミング言語のRubyでは左辺の集合の中に右辺が含まれているかどうかを判定するために用いられる。
U+2A77 ⩷ EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
U+2A78 ⩸ EQUIVALENT WITH FOUR DOTS ABOVE
U+2A79 ⩹ LESS-THAN WITH CIRCLE INSIDE
U+2A7A ⩺ GREATER-THAN WITH CIRCLE INSIDE
U+2A7B ⩻ LESS-THAN WITH QUESTION MARK ABOVE
U+2A7C ⩼ GREATER-THAN WITH QUESTION MARK ABOVE
U+2A7D ⩽ LESS-THAN OR SLANTED EQUAL TO
U+2A7E ⩾ GREATER-THAN OR SLANTED EQUAL TO
U+2A7F ⩿ LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
U+2A80 ⪀ GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
U+2A81 ⪁ LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
U+2A82 ⪂ GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
U+2A83 ⪃ LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
U+2A84 ⪄ GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
U+2A85 ⪅ LESS-THAN OR APPROXIMATE
U+2A86 ⪆ GREATER-THAN OR APPROXIMATE
U+2A87 ⪇ LESS-THAN AND SINGLE-LINE NOT EQUAL TO
U+2A88 ⪈ GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
U+2A89 ⪉ LESS-THAN AND NOT APPROXIMATE
U+2A8A ⪊ GREATER-THAN AND NOT APPROXIMATE
U+2A8B ⪋ LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN これらの不等号は複号を含む不等式において用いられる。
U+2A8C ⪌ GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
U+2A8D ⪍ LESS-THAN ABOVE SIMILAR OR EQUAL
U+2A8E ⪎ GREATER-THAN ABOVE SIMILAR OR EQUAL
U+2A8F ⪏ LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN これらの不等号は複号を含む不等式において用いられる。
U+2A90 ⪐ GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
U+2A91 ⪑ LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
U+2A92 ⪒ GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
U+2A93 ⪓ LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
U+2A94 ⪔ GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
U+2A95 ⪕ SLANTED EQUAL TO OR LESS-THAN
U+2A96 ⪖ SLANTED EQUAL TO OR GREATER-THAN
U+2A97 ⪗ SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
U+2A98 ⪘ SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
U+2A99 ⪙ DOUBLE-LINE EQUAL TO OR LESS-THAN
U+2A9A ⪚ DOUBLE-LINE EQUAL TO OR GREATER-THAN
U+2A9B ⪛ DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN
U+2A9C ⪜ DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
U+2A9D ⪝ SIMILAR OR LESS-THAN
U+2A9E ⪞ SIMILAR OR GREATER-THAN
U+2A9F ⪟ SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
U+2AA0 ⪠ SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
U+2AA1 ⪡ DOUBLE NESTED LESS-THAN 測度論において絶対連続を表す[1]。
U+2AA2 ⪢ DOUBLE NESTED GREATER-THAN
U+2AA3 ⪣ DOUBLE NESTED LESS-THAN WITH UNDERBAR
U+2AA4 ⪤ GREATER-THAN OVERLAPPING LESS-THAN
U+2AA5 ⪥ GREATER-THAN BESIDE LESS-THAN
U+2AA6 ⪦ LESS-THAN CLOSED BY CURVE
U+2AA7 ⪧ GREATER-THAN CLOSED BY CURVE
U+2AA8 ⪨ LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
U+2AA9 ⪩ GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
U+2AAA ⪪ SMALLER THAN ISO 2047では復帰(U+000D)を表す。
U+2AAB ⪫ LARGER THAN ISO 2047では水平タブ(U+0009)を表す。
U+2AAC ⪬ SMALLER THAN OR EQUAL TO
U+2AAD ⪭ LARGER THAN OR EQUAL TO
U+2AAE ⪮ EQUALS SIGN WITH BUMPY ABOVE
U+2AAF ⪯ PRECEDES ABOVE SINGLE-LINE EQUALS SIGN 順序や濃度について左辺が右辺よりも前にあるか同じ、或いは濃度が小さいか同じであることを表す。
U+2AB0 ⪰ SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN 順序や濃度について左辺が右辺よりも後にあるか同じ、或いは濃度が大きいか同じであることを表す。
U+2AB1 ⪱ PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO 順序や濃度について左辺が右辺よりも前にあり同じではない、或いは濃度が小さく同じではないことを表す。
U+2AB2 ⪲ SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TO 順序や濃度について左辺が右辺よりも後にあり同じではない、或いは濃度が大きく同じではないことを表す。
U+2AB3 ⪳ PRECEDES ABOVE EQUALS SIGN U+2AAF ⪯ PRECEDES ABOVE SINGLE-LINE EQUALS SIGNの異体字。
U+2AB4 ⪴ SUCCEEDS ABOVE EQUALS SIGN U+2AB0 ⪰ SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN SIGNの異体字。
U+2AB5 ⪵ PRECEDES ABOVE NOT EQUAL TO U+2AB1 ⪱ PRECEDES ABOVE SINGLE-LINE NOT EQUAL TOの異体字。
U+2AB6 ⪶ SUCCEEDS ABOVE NOT EQUAL TO U+2AB2 ⪲ SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TOの異体字。
U+2AB7 ⪷ PRECEDES ABOVE ALMOST EQUAL TO
U+2AB8 ⪸ SUCCEEDS ABOVE ALMOST EQUAL TO
U+2AB9 ⪹ PRECEDES ABOVE NOT ALMOST EQUAL TO
U+2ABA ⪺ SUCCEEDS ABOVE NOT ALMOST EQUAL TO
U+2ABB ⪻ DOUBLE PRECEDES 順序や濃度について左辺が右辺に比べて非常に前にある、或いは濃度が小さいことを表す。
U+2ABC ⪼ DOUBLE SUCCEEDS 順序や濃度について左辺が右辺に比べて非常に後にある、或いは濃度が大きいことを表す。
部分集合の関係
U+2ABD ⪽ SUBSET WITH DOT
U+2ABE ⪾ SUPERSET WITH DOT
U+2ABF ⪿ SUBSET WITH PLUS SIGN BELOW
U+2AC0 ⫀ SUPERSET WITH PLUS SIGN BELOW
U+2AC1 ⫁ SUBSET WITH MULTIPLICATION SIGN BELOW
U+2AC2 ⫂ SUPERSET WITH MULTIPLICATION SIGN BELOW
U+2AC3 ⫃ SUBSET OF OR EQUAL TO WITH DOT ABOVE
U+2AC4 ⫄ SUPERSET OF OR EQUAL TO WITH DOT ABOVE
U+2AC5 ⫅ SUBSET OF ABOVE EQUALS SIGN
U+2AC6 ⫆ SUPERSET OF ABOVE EQUALS SIGN
U+2AC7 ⫇ SUBSET OF ABOVE TILDE OPERATOR
U+2AC8 ⫈ SUPERSET OF ABOVE TILDE OPERATOR
U+2AC9 ⫉ SUBSET OF ABOVE ALMOST EQUAL TO
U+2ACA ⫊ SUPERSET OF ABOVE ALMOST EQUAL TO
U+2ACB ⫋ SUBSET OF ABOVE NOT EQUAL TO
U+2ACC ⫌ SUPERSET OF ABOVE NOT EQUAL TO
U+2ACD ⫍ SQUARE LEFT OPEN BOX OPERATOR
U+2ACE ⫎ SQUARE RIGHT OPEN BOX OPERATOR
U+2ACF ⫏ CLOSED SUBSET
U+2AD0 ⫐ CLOSED SUPERSET
U+2AD1 ⫑ CLOSED SUBSET OR EQUAL TO
U+2AD2 ⫒ CLOSED SUPERSET OR EQUAL TO
U+2AD3 ⫓ SUBSET ABOVE SUPERSET
U+2AD4 ⫔ SUPERSET ABOVE SUBSET
U+2AD5 ⫕ SUBSET ABOVE SUBSET
U+2AD6 ⫖ SUPERSET ABOVE SUPERSET
U+2AD7 ⫗ SUPERSET BESIDE SUBSET
U+2AD8 ⫘ SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
フォーク
U+2AD9 ⫙ ELEMENT OF OPENING DOWNWARDS
U+2ADA ⫚ PITCHFORK WITH TEE TOP
U+2ADB ⫛ TRANSVERSAL INTERSECTION
U+2ADC ⫝̸ FORKING 非独立であることを表す。U+2ADD ⫝ NONFORKINGの否定。

等式論理用の記号であり、計算科学用の記号ではない[1]。 非独立性（本来の概念）はフォークに関連している[1]。

U+2ADD ⫝ NONFORKING 独立であることを表す。

等式論理用の記号であり、計算科学用の記号ではない[1]。 独立性（本来の概念）はノンフォークに関連している[1]。

タック及びターンスタイル
U+2ADE ⫞ SHORT LEFT TACK
U+2ADF ⫟ SHORT DOWN TACK
U+2AE0 ⫠ SHORT UP TACK
U+2AE1 ⫡ PERPENDICULAR WITH S
U+2AE2 ⫢ VERTICAL BAR TRIPLE RIGHT TURNSTILE 論理学において「左辺は通常は右辺を満たす」(ordinary satisfies)ことを表す[1]。
U+2AE3 ⫣ DOUBLE VERTICAL BAR LEFT TURNSTILE
U+2AE4 ⫤ VERTICAL BAR DOUBLE LEFT TURNSTILE
U+2AE5 ⫥ DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE
U+2AE6 ⫦ LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
U+2AE7 ⫧ SHORT DOWN TACK WITH OVERBAR
U+2AE8 ⫨ SHORT UP TACK WITH UNDERBAR
U+2AE9 ⫩ SHORT UP TACK ABOVE SHORT DOWN TACK
U+2AEA ⫪ DOUBLE DOWN TACK
U+2AEB ⫫ DOUBLE UP TACK 確率論において独立(independence)であることを表す。
U+2AEC ⫬ DOUBLE STROKE NOT SIGN
U+2AED ⫭ REVERSED DOUBLE STROKE NOT SIGN
縦線演算子
U+2AEE ⫮ DOES NOT DIVIDE WITH REVERSED NEGATION SLASH
U+2AEF ⫯ VERTICAL LINE WITH CIRCLE ABOVE
U+2AF0 ⫰ VERTICAL LINE WITH CIRCLE BELOW
U+2AF1 ⫱ DOWN TACK WITH CIRCLE BELOW 論理学において「左辺は必然的に右辺を満たす」(necessarily satisfies)ことを表す[1]。
U+2AF2 ⫲ PARALLEL WITH HORIZONTAL STROKE
U+2AF3 ⫳ PARALLEL WITH TILDE OPERATOR
U+2AF4 ⫴ TRIPLE VERTICAL BAR BINARY RELATION interleaveを表す[1][3]。
U+2AF5 ⫵ TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE
その他の数学記号
U+2AF6 ⫶ TRIPLE COLON OPERATOR 論理学で用いられる[1]。
関係
U+2AF7 ⫷ TRIPLE NESTED LESS-THAN
U+2AF8 ⫸ TRIPLE NESTED GREATER-THAN
U+2AF9 ⫹ DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO
U+2AFA ⫺ DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO
U+2AFB ⫻ TRIPLE SOLIDUS BINARY RELATION
演算子
U+2AFC ⫼ LARGE TRIPLE VERTICAL BAR OPERATOR しばしばn項演算子として記号自体が大きく書かれ、記号の下に変数の開始値が、上に終了値が書かれる[1]。
U+2AFD ⫽ DOUBLE SOLIDUS OPERATOR 日本などにおける幾何学の平行記号(U+2225 ∥ parallel to)の異体字。
U+2AFE ⫾ WHITE VERTICAL BAR ダイクストラ法における選択(Dijkstra choice)を表す[1]。
U+2AFF ⫿ N-ARY WHITE VERTICAL BAR n項演算子としてのU+2AFE ⫾ WHITE VERTICAL BAR[1]。

小分類

編集

このブロックの小分類は「n項演算子」（N-ary operators）、「総和記号及び積分記号」（Summations and integrals）、「その他の大きな演算子」（Miscellaneous large operators）、「加算及び減算演算子」（Plus and minus sign operators）、「乗算及び除算演算子」（Multiplication and division sign operators）、「その他の数学記号」（Miscellaneous mathematical operators）、「積集合及び和集合」（Intersections and unions）、「論理積及び論理和」（Logical ands and ors）、「関係演算子」（Relational operators）、「部分集合の関係」（Subset and superset relations）、「フォーク」（Forks）、「タック及びターンスタイル」（Tacks and turnstiles）、「縦線演算子」（Vertical line operators）、「関係」（Relations）、「演算子」（Operators）の15個となっている[1]。本ブロックでは、Unicodeのバージョン更新時の文字追加が隙間を埋める形で行われた影響で、同一の小分類に属する文字が飛び飛びの符号位置に割り当てられていることがある。また、収録文字が1文字しかない小分類については小分類名が単数形で表現されているが、本記事では単数形か複数形かによる小分類名の表記ゆれについては別の小分類として扱わず、同一の小分類として扱うこととする。

n項演算子（N-ary operators）

編集

この小分類には記号自体が大きく書かれ、記号の下に変数の開始値が、上に終了値が書かれるn項演算子が収録されている。

総和記号及び積分記号（Summations and integrals）

編集

この小分類には総和記号や積分記号の派生記号が収録されている。

その他の大きな演算子（Miscellaneous large operators）

編集

この小分類には通常よりも大きく書かれる演算子の派生形が収録されている。

加算及び減算演算子（Plus and minus sign operators）

編集

この小分類にはプラス記号やマイナス記号の派生記号が収録されている。

乗算及び除算演算子（Multiplication and division sign operators）

編集

この小分類には乗算記号や除算記号の派生記号が収録されている。

その他の数学記号（Miscellaneous mathematical operators）

編集

この小分類にはその他のさまざまな数学記号が収録されている。

積集合及び和集合（Intersections and unions）

編集

この小分類には集合論における積集合や和集合の派生記号が収録されている。

論理積及び論理和（Logical ands and ors）

編集

この小分類には論理学における論理積や論理和の派生記号が収録されている。

関係演算子（Relational operators）

編集

この小分類には等号や不等号などの関係演算子が収録されている。

部分集合の関係（Subset and superset relations）

編集

この小分類には集合論における部分集合の派生記号が収録されている。

フォーク（Forks）

編集

この小分類にはフォークの形状をした記号が収録されている。

タック及びターンスタイル（Tacks and turnstiles）

編集

この小分類には論理学で用いられるT字形の記号類が収録されている。

縦線演算子（Vertical line operators）

編集

この小分類にはバーティカルバーの形状をした記号類が収録されている。

関係（Relations）

編集

この小分類には等号や不等号などの関係演算子が収録されている。

演算子（Operators）

編集

この小分類にはその他の演算子が収録されている。

文字コード

編集
補助数学記号(Supplemental Mathematical Operators)[1]
Official Unicode Consortium code chart (PDF)
  0 1 2 3 4 5 6 7 8 9 A B C D E F
U+2A0x ⨀ ⨁ ⨂ ⨃ ⨄ ⨅ ⨆ ⨇ ⨈ ⨉ ⨊ ⨋ ⨌ ⨍ ⨎ ⨏
U+2A1x ⨐ ⨑ ⨒ ⨓ ⨔ ⨕ ⨖ ⨗ ⨘ ⨙ ⨚ ⨛ ⨜ ⨝ ⨞ ⨟
U+2A2x ⨠ ⨡ ⨢ ⨣ ⨤ ⨥ ⨦ ⨧ ⨨ ⨩ ⨪ ⨫ ⨬ ⨭ ⨮ ⨯
U+2A3x ⨰ ⨱ ⨲ ⨳ ⨴ ⨵ ⨶ ⨷ ⨸ ⨹ ⨺ ⨻ ⨼ ⨽ ⨾ ⨿
U+2A4x ⩀ ⩁ ⩂ ⩃ ⩄ ⩅ ⩆ ⩇ ⩈ ⩉ ⩊ ⩋ ⩌ ⩍ ⩎ ⩏
U+2A5x ⩐ ⩑ ⩒ ⩓ ⩔ ⩕ ⩖ ⩗ ⩘ ⩙ ⩚ ⩛ ⩜ ⩝ ⩞ ⩟
U+2A6x ⩠ ⩡ ⩢ ⩣ ⩤ ⩥ ⩦ ⩧ ⩨ ⩩ ⩪ ⩫ ⩬ ⩭ ⩮ ⩯
U+2A7x ⩰ ⩱ ⩲ ⩳ ⩴ ⩵ ⩶ ⩷ ⩸ ⩹ ⩺ ⩻ ⩼ ⩽ ⩾ ⩿
U+2A8x ⪀ ⪁ ⪂ ⪃ ⪄ ⪅ ⪆ ⪇ ⪈ ⪉ ⪊ ⪋ ⪌ ⪍ ⪎ ⪏
U+2A9x ⪐ ⪑ ⪒ ⪓ ⪔ ⪕ ⪖ ⪗ ⪘ ⪙ ⪚ ⪛ ⪜ ⪝ ⪞ ⪟
U+2AAx ⪠ ⪡ ⪢ ⪣ ⪤ ⪥ ⪦ ⪧ ⪨ ⪩ ⪪ ⪫ ⪬ ⪭ ⪮ ⪯
U+2ABx ⪰ ⪱ ⪲ ⪳ ⪴ ⪵ ⪶ ⪷ ⪸ ⪹ ⪺ ⪻ ⪼ ⪽ ⪾ ⪿
U+2ACx ⫀ ⫁ ⫂ ⫃ ⫄ ⫅ ⫆ ⫇ ⫈ ⫉ ⫊ ⫋ ⫌ ⫍ ⫎ ⫏
U+2ADx ⫐ ⫑ ⫒ ⫓ ⫔ ⫕ ⫖ ⫗ ⫘ ⫙ ⫚ ⫛ ⫝̸ ⫝ ⫞ ⫟
U+2AEx ⫠ ⫡ ⫢ ⫣ ⫤ ⫥ ⫦ ⫧ ⫨ ⫩ ⫪ ⫫ ⫬ ⫭ ⫮ ⫯
U+2AFx ⫰ ⫱ ⫲ ⫳ ⫴ ⫵ ⫶ ⫷ ⫸ ⫹ ⫺ ⫻ ⫼ ⫽ ⫾ ⫿
注釈
1.^バージョン16.0時点


履歴

編集

以下の表に挙げられているUnicode関連のドキュメントには、このブロックの特定の文字を定義する目的とプロセスが記録されている。

バージョン コードポイント[a] 文字数 L2 ID ドキュメント
3.2 U+2A00..2AFF 256 L2/01-067 Barbara Beeton; Asmus Freytag; Patrick Ion (25 January 2001), Additional mathematical symbols (英語)
L2/01-088 Barbara Beeton; Asmus Freytag; Patrick Ion (25 January 2001), Additional Mathematical Symbols Proposed code allocation for “Math Candidates” (英語)
L2/01-142 Barbara Beeton; Asmus Freytag; Patrick Ion (2 April 2001), Additional Mathematical Symbols (replaces L2/01-088 == SC2/WG2 N2318) (英語)
  1. ^ 提案されたコードポイントと文字の名前は、最終決定と異なる場合がある。

出典

編集
  1. ^ a b c d e f g h i j k l m n o p q r s t "The Unicode Standard, Version 15.1 - U2A00.pdf" (PDF). The Unicode Standard (英語). 2024年12月9日閲覧。
  2. ^ a b c d “Glossary of Z notation”. staff.washington.edu. 2024年12月9日閲覧。
  3. ^ 訳語不明瞭

関連項目

編集
「https://ja.wikipedia.org/w/index.php?title=補助数学記号&oldid=102868970」から取得