数学記号 (Unicodeのブロック)
収録文字

| U+22A3 | ⊣ | LEFT TACK | U+22A2 ⊢ RIGHT TACKの否定。左辺により右辺が推論不可能であることを表す。 APLでは1項演算子として用いた場合は被演算子と同じ値を返すこと(same)を、2項演算子として用いた場合は左辺を返す(left)ことを表す。 ISO 2047では伝送ブロック終結(U+0017)を表す。 |
その他の数学記号
| U+22A4 | ⊤ | DOWN TACK | 以下の用法がある。  論理学において真(true)の真理値を表す。  APLにおいて左辺nのn進数で表された右辺を十進法に戻すこと(decode)を表す。 |
| U+22A5 | ⊥ | UP TACK | 以下の用法がある。  幾何学において2つの線分または直線が垂直であることを表す。垂直記号。  論理学において偽(false)の真理値を表す。  APLにおいて左辺nのn進数で右辺を表現すること(encode)を表す。  JISの製図記号では直角度（データム直線、データム平面に対して直角な幾何学的直線または幾何学的平面からの直角であるべき直線形体又は平面形体の狂いの大きさ）を表す。  ISO 2047ではテキスト開始(U+0002)を表す。 |
関係
| U+22A6 | ⊦ | ASSERTION |  |
| U+22A7 | ⊧ | MODELS |  |
| U+22A8 | ⊨ | TRUE | 論理学においてA⊨BはAはBのトートロジーであることを表す。左辺の命題から右辺の命題が論理的に等価であることが証明可能である（AからBが妥当な推論である）ことを表す。 |
| U+22A9 | ⊩ | FORCES | 線形論理において論理包含を表す。 |
| U+22AA | ⊪ | TRIPLE VERTICAL BAR RIGHT TURNSTILE |  |
| U+22AB | ⊫ | DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE |  |
| U+22AC | ⊬ | DOES NOT PROVE | U+22A2 ⊢ RIGHT TACKの否定。機能的にはU+22A3 ⊣ LEFT TACKと同等である。 |
| U+22AD | ⊭ | NOT TRUE | U+22A8 ⊨ TRUEの否定。 |
| U+22AE | ⊮ | DOES NOT FORCE | U+22A9 ⊩ FORCESの否定。 |
| U+22AF | ⊯ | NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE |  |
| U+22B0 | ⊰ | PRECEDES UNDER RELATION |  |
| U+22B1 | ⊱ | SUCCEEDS UNDER RELATION |  |
| U+22B2 | ⊲ | NORMAL SUBGROUP OF | 抽象代数学においてA⊲Bは群A(群Bの部分群)が群Bの正規部分群であることを表す。 |
| U+22B3 | ⊳ | CONTAINS AS NORMAL SUBGROUP | A⊳Bは群Aが群Bを正規部分群として包含していることを表す。 |
| U+22B4 | ⊴ | NORMAL SUBGROUP OF OR EQUAL TO | 正規部分群であるか、同一の群である |
| U+22B5 | ⊵ | CONTAINS AS NORMAL SUBGROUP OR EQUAL TO | 正規部分群であるか、同一の群である |
| U+22B6 | ⊶ | ORIGINAL OF |  |
| U+22B7 | ⊷ | IMAGE OF |  |
| U+22B8 | ⊸ | MULTIMAP | 線形論理において論理結合子を表す。A⊸BはAがBに変化され、Aが消費されることを表す。 |
| U+22B9 | ⊹ | HERMITIAN CONJUGATE MATRIX |  |
演算子
| U+22BA | ⊺ | INTERCALATE |  |
| U+22BB | ⊻ | XOR | 論理学において排他的論理和(XOR)を表す。 |
| U+22BC | ⊼ | NAND | 論理学において否定論理積(NAND)を表す。 |
| U+22BD | ⊽ | NOR | 論理学において否定論理和(NOR)を表す。 |
その他の数学記号
| U+22BE | ⊾ | RIGHT ANGLE WITH ARC |  |
| U+22BF | ⊿ | RIGHT TRIANGLE | 幾何学において直角三角形を表す。 |
N項演算子
| U+22C0 | ⋀ | N-ARY LOGICAL AND | n項論理積 記号の下に変数の開始値が、上に終了値が書かれることを意図している。 「すべての～」(U+2200 ∀ FOR ALLと等価)を表すためにも使用される。 |
| U+22C1 | ⋁ | N-ARY LOGICAL OR | n項論理和 記号の下に変数の開始値が、上に終了値が書かれることを意図している。 「とある～」(U+2203 ∃ THERE EXISTSと等価)を表すためにも使用される。 |
| U+22C2 | ⋂ | N-ARY INTERSECTION | n項積集合 記号の下に変数の開始値が、上に終了値が書かれることを意図している。 Z言語では一般化された積集合を表す。 |
| U+22C3 | ⋃ | N-ARY UNION | n項和集合 記号の下に変数の開始値が、上に終了値が書かれることを意図している。 Z言語では一般化された和集合を表す。 |
演算子
| U+22C4 | ⋄ | DIAMOND OPERATOR | APLで1行に複数の命令文を書く場合にセパレータとして用いられる(Statement Separator)。 |
| U+22C5 | ⋅ | DOT OPERATOR | 以下の用法がある。  乗算記号として用いられる。  ベクトル演算では通常の乗算記号(U+00D7 × MULTIPLICATION SIGN)とは区別され、内積を表す。  電子工学においては論理演算における論理積を表す。乗算の表記として、U+00B7 ·(中黒)より適切である。 |
| U+22C6 | ⋆ | STAR OPERATOR | 以下の用法がある。  リーマン幾何学においてホッジスター作用素を表す。  APLにおいて演算子として用いられる。1項演算子として用いた場合は底に関する指数函数(exponential)を、2項演算子として用いた場合は冪乗(power)を表す。 |
| U+22C7 | ⋇ | DIVISION TIMES |  |
関係
| U+22C8 | ⋈ | BOWTIE |  |
演算子
| U+22C9 | ⋉ | LEFT NORMAL FACTOR SEMIDIRECT PRODUCT | 群論において半直積を表す。⋊は左辺に作用する右辺の半直積を、⋉はその逆を表す。 |
| U+22CA | ⋊ | RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT | 群論において半直積を表す。⋊は左辺に作用する右辺の半直積を、⋉はその逆を表す。 |
| U+22CB | ⋋ | LEFT SEMIDIRECT PRODUCT |  |
| U+22CC | ⋌ | RIGHT SEMIDIRECT PRODUCT |  |
関係
| U+22CD | ⋍ | REVERSED TILDE EQUALS |  |
論理演算子
| U+22CE | ⋎ | CURLY LOGICAL OR |  |
| U+22CF | ⋏ | CURLY LOGICAL AND |  |
関係
| U+22D0 | ⋐ | DOUBLE SUBSET |  |
| U+22D1 | ⋑ | DOUBLE SUPERSET |  |
演算子
| U+22D2 | ⋒ | DOUBLE INTERSECTION |  |
| U+22D3 | ⋓ | DOUBLE UNION |  |
関係
| U+22D4 | ⋔ | PITCHFORK |  |
| U+22D5 | ⋕ | EQUAL AND PARALLEL TO |  |
| U+22D6 | ⋖ | LESS-THAN WITH DOT |  |
| U+22D7 | ⋗ | GREATER-THAN WITH DOT |  |
| U+22D8 | ⋘ | VERY MUCH LESS-THAN |  |
| U+22D9 | ⋙ | VERY MUCH GREATER-THAN |  |
| U+22DA | ⋚ | LESS-THAN EQUAL TO OR GREATER-THAN |  |
| U+22DB | ⋛ | GREATER-THAN EQUAL TO OR LESS-THAN |  |
| U+22DC | ⋜ | EQUAL TO OR LESS-THAN |  |
| U+22DD | ⋝ | EQUAL TO OR GREATER-THAN |  |
| U+22DE | ⋞ | EQUAL TO OR PRECEDES |  |
| U+22DF | ⋟ | EQUAL TO OR SUCCEEDS |  |
| U+22E0 | ⋠ | DOES NOT PRECEDE OR EQUAL | U+227C ≼ PRECEDES OR EQUAL TOの否定。 |
| U+22E1 | ⋡ | DOES NOT SUCCEED OR EQUAL | U+227D ≽ SUCCEEDS OR EQUAL TOの否定。 |
| U+22E2 | ⋢ | NOT SQUARE IMAGE OF OR EQUAL TO |  |
| U+22E3 | ⋣ | NOT SQUARE ORIGINAL OF OR EQUAL TO |  |
| U+22E4 | ⋤ | SQUARE IMAGE OF OR NOT EQUAL TO |  |
| U+22E5 | ⋥ | SQUARE ORIGINAL OF OR NOT EQUAL TO |  |
| U+22E6 | ⋦ | LESS-THAN BUT NOT EQUIVALENT TO |  |
| U+22E7 | ⋧ | GREATER-THAN BUT NOT EQUIVALENT TO |  |
| U+22E8 | ⋨ | PRECEDES BUT NOT EQUIVALENT TO |  |
| U+22E9 | ⋩ | SUCCEEDS BUT NOT EQUIVALENT TO |  |
| U+22EA | ⋪ | NOT NORMAL SUBGROUP OF | U+22B2 ⊲ NORMAL SUBGROUP OFの否定。 |
| U+22EB | ⋫ | DOES NOT CONTAIN AS NORMAL SUBGROUP | U+22B3 ⊳ CONTAINS AS NORMAL SUBGROUPの否定。 |
| U+22EC | ⋬ | NOT NORMAL SUBGROUP OF OR EQUAL TO | U+22B4 ⊴ NORMAL SUBGROUP OF OR EQUAL TOの否定。 |
| U+22ED | ⋭ | DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL | U+22B5 ⊵ CONTAINS AS NORMAL SUBGROUP OR EQUAL TOの否定。 |
行列の省略
| U+22EE | ⋮ | VERTICAL ELLIPSIS | これら 4 つの省略記号は、行列の行/列の省略に使用される。 |
| U+22EF | ⋯ | MIDLINE HORIZONTAL ELLIPSIS | これら 4 つの省略記号は、行列の行/列の省略に使用される。 |
| U+22F0 | ⋰ | UP RIGHT DIAGONAL ELLIPSIS | これら 4 つの省略記号は、行列の行/列の省略に使用される。 |
| U+22F1 | ⋱ | DOWN RIGHT DIAGONAL ELLIPSIS | これら 4 つの省略記号は、行列の行/列の省略に使用される。 |
関係
| U+22F2 | ⋲ | ELEMENT OF WITH LONG HORIZONTAL STROKE |  |
| U+22F3 | ⋳ | ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |  |
| U+22F4 | ⋴ | SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |  |
| U+22F5 | ⋵ | ELEMENT OF WITH DOT ABOVE |  |
| U+22F6 | ⋶ | ELEMENT OF WITH OVERBAR |  |
| U+22F7 | ⋷ | SMALL ELEMENT OF WITH OVERBAR |  |
| U+22F8 | ⋸ | ELEMENT OF WITH UNDERBAR |  |
| U+22F9 | ⋹ | ELEMENT OF WITH TWO HORIZONTAL STROKES |  |
| U+22FA | ⋺ | CONTAINS WITH LONG HORIZONTAL STROKE |  |
| U+22FB | ⋻ | CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |  |
| U+22FC | ⋼ | SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |  |
| U+22FD | ⋽ | CONTAINS WITH OVERBAR |  |
| U+22FE | ⋾ | SMALL CONTAINS WITH OVERBAR |  |
| U+22FF | ⋿ | Z NOTATION BAG MEMBERSHIP |  |