summaryrefslogtreecommitdiffstats
path: root/Compose/src/math.module
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Compose/src/math.module94
1 files changed, 48 insertions, 46 deletions
diff --git a/Compose/src/math.module b/Compose/src/math.module
index 11f37ec..04b2ec6 100644
--- a/Compose/src/math.module
+++ b/Compose/src/math.module
@@ -74,7 +74,12 @@
<dead_caron> <equal> : "≚" U225A # EQUIANGULAR TO
<dead_circumflex> <equal> : "≙" U2259 # ESTIMATES
<Multi_key> <equal> <asciicircum> : "≙" U2259 # ESTIMATES
+<Multi_key> <Greek_DELTA> <equal> : "≜" U225C # DELTA EQUAL TO
+<Multi_key> <equal> <Greek_DELTA> : "≜" U225C # DELTA EQUAL TO
+<Multi_key> <equal> <question> : "≟" U225F # QUESTIONED EQUAL TO
+<Multi_key> <question> <equal> : "≟" U225F # QUESTIONED EQUAL TO
<dead_abovedot> <equal> : "≐" U2250 # APPROACHES THE LIMIT
+<dead_belowdot> <equal> : "⩦" U2A66 # EQUALS SIGN WITH DOT BELOW
<Multi_key> <KP_Add> <KP_Subtract> : "±" plusminus # PLUS-MINUS SIGN
<Multi_key> <KP_Subtract> <KP_Add> : "∓" U2213 # MINUS-OR-PLUS SIGN
<Multi_key> <minus> <plus> : "∓" U2213 # MINUS-OR-PLUS SIGN
@@ -131,6 +136,7 @@
<dead_circumflex> <plus> : "⨣" U2A23 # PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE
<dead_tilde> <plus> : "⨤" U2A24 # PLUS SIGN WITH TILDE ABOVE
<dead_abovedot> <plus> : "∔" U2214 # DOT PLUS
+<dead_abovedot> <multiply> : "⨰" U2A30 # MULTIPLICATION SIGN WITH DOT ABOVE
<Multi_key> <less> <bar> : "⊲" U22B2 # NORMAL SUBGROUP OF
<Multi_key> <bar> <less> : "⊲" U22B2 # NORMAL SUBGROUP OF
<Multi_key> <bar> <greater> : "⊳" U22B3 # CONTAINS AS NORMAL SUBGROUP
@@ -152,6 +158,7 @@
<Multi_key> <0> <dead_stroke> <dead_stroke>: "∅" U2205 # EMPTY SET
<dead_abovering> <emptyset> : "⦲" U29B2 # EMPTY SET WITH SMALL CIRCLE ABOVE
<U21BB> <emptyset> : "⦰" U29B0 # REVERSED EMPTY SET
+<dead_macron> <emptyset> : "⦱" U29B1 # EMPTY SET WITH OVERBAR
<Multi_key> <o> <plus> : "⊕" U2295 # CIRCLED PLUS
<Multi_key> <o> <KP_Add> : "⊕" U2295 # CIRCLED PLUS
<Multi_key> <o> <minus> : "⊖" U2296 # CIRCLED MINUS
@@ -165,6 +172,10 @@
<Multi_key> <o> <asterisk> : "⊛" U229B # CIRCLED ASTERISK OPERATOR
<Multi_key> <o> <equal> : "⊜" U229C # CIRCLED EQUALS
<Multi_key> <o> <KP_Equal> : "⊜" U229C # CIRCLED EQUALS
+<Multi_key> <o> <U22A5> : "⦹" U29B9 # CIRCLED PERPENDICULAR
+<Multi_key> <o> <U2225> : "⦷" U29B7 # CIRCLED PARALLEL
+<Multi_key> <o> <less> : "⧀" U29C0 # CIRCLED LESS-THAN
+<Multi_key> <o> <greater> : "⧁" U29C1 # CIRCLED GREATER-THAN
<Multi_key> <asterisk> <asterisk> : "∗" U2217 # ASTERISK OPERATOR
<Multi_key> <KP_Multiply> <KP_Multiply> : "∗" U2217 # ASTERISK OPERATOR
<Multi_key> <bar> <multiply> <bar> : "⋈" U22C8 # BOWTIE
@@ -192,53 +203,41 @@
<Multi_key> <KP_3> <equal> : "⩶" U2A76 # THREE CONSECUTIVE EQUALS SIGNS
# new ideas (to be discussed)
-<dead_belowdot> <logicaland> : "⟑" U27D1 # AND WITH DOT
-<dead_abovedot> <Greek_DELTA> : "⧊" U29CA # TRIANGLE WITH DOT ABOVE
+<dead_belowdot> <logicaland> : "⟑" U27D1 # AND WITH DOT
+<dead_abovedot> <Greek_DELTA> : "⧊" U29CA # TRIANGLE WITH DOT ABOVE
<Multi_key> <colon> <rightarrow> : "⧴" U29F4 # RULE-DELAYED
-<Multi_key> <minus> <integral> : "⨍" U2A0D # FINITE PART INTEGRAL
-<Multi_key> <equal> <integral> : "⨎" U2A0E # INTEGRAL WITH DOUBLE STROKE
-<Multi_key> <integral> <equal> : "⨎" U2A0E # INTEGRAL WITH DOUBLE STROKE
-<Multi_key> <multiply> <integral> : "⨘" U2A18 # INTEGRAL WITH TIMES SIGN
-<Multi_key> <integral> <multiply> : "⨘" U2A18 # INTEGRAL WITH TIMES SIGN
-<Multi_key> <intersection> <integral> : "⨙" U2A19 # INTEGRAL WITH INTERSECTION
-<Multi_key> <integral> <intersection> : "⨙" U2A19 # INTEGRAL WITH INTERSECTION
-<Multi_key> <union> <integral> : "⨚" U2A1A # INTEGRAL WITH UNION
-<Multi_key> <integral> <union> : "⨚" U2A1A # INTEGRAL WITH UNION
-<dead_macron> <integral> : "⨛" U2A1B # INTEGRAL WITH OVERBAR
-<Multi_key> <underscore> <integral> : "⨜" U2A1C # INTEGRAL WITH UNDERBAR
-<Multi_key> <underbar> <integral> : "⨜" U2A1C # INTEGRAL WITH UNDERBAR
-<Multi_key> <slash> <integral> : "⨏" U2A0F # INTEGRAL AVERAGE WITH SLASH
-<dead_stroke> <integral> : "⨏" U2A0F # INTEGRAL AVERAGE WITH SLASH
-<dead_abovedot> <multiply> : "⨰" U2A30 # MULTIPLICATION SIGN WITH DOT ABOVE
-<Multi_key> <underscore> <multiply> : "⨱" U2A31 # MULTIPLICATION SIGN WITH UNDERBAR
-<Multi_key> <underbar> <multiply> : "⨱" U2A31 # MULTIPLICATION SIGN WITH UNDERBAR
-<dead_macron> <union> : "⩂" U2A42 # UNION WITH OVERBAR
-<dead_macron> <intersection> : "⩃" U2A43 # INTERSECTION WITH OVERBAR
-<dead_belowdot> <equal> : "⩦" U2A66 # EQUALS SIGN WITH DOT BELOW
-<dead_macron> <emptyset> : "⦱" U29B1 # EMPTY SET WITH OVERBAR
-<Multi_key> <o> <U22A5> : "⦹" U29B9 # CIRCLED PERPENDICULAR
-<Multi_key> <o> <U2225> : "⦷" U29B7 # CIRCLED PARALLEL
-<Multi_key> <o> <less> : "⧀" U29C0 # CIRCLED LESS-THAN
-<Multi_key> <o> <greater> : "⧁" U29C1 # CIRCLED GREATER-THAN
-<Multi_key> <less> <parenright> : "⪦" U2AA6 # LESS-THAN CLOSED BY CURVE
-<Multi_key> <parenleft> <greater> : "⪧" U2AA7 # GREATER-THAN CLOSED BY CURVE
-<U21BB> <numbersign> : "⨳" U2A33 # SMASH PRODUCT
-#<Multi_key> <multiply> <multiply> : "⨯" U2A2F # VECTOR OR CROSS PRODUCT
-<Multi_key> <Greek_DELTA> <plus> : "⨹" U2A39 # PLUS SIGN IN TRIANGLE
-<Multi_key> <plus> <Greek_DELTA> : "⨹" U2A39 # PLUS SIGN IN TRIANGLE
-<Multi_key> <Greek_DELTA> <minus> : "⨺" U2A3A # MINUS SIGN IN TRIANGLE
-<Multi_key> <minus> <Greek_DELTA> : "⨺" U2A3A # MINUS SIGN IN TRIANGLE
-<Multi_key> <Greek_DELTA> <multiply> : "⨻" U2A3B # MULTIPLICATION SIGN IN TRIANGLE
-<Multi_key> <multiply> <Greek_DELTA> : "⨻" U2A3B # MULTIPLICATION SIGN IN TRIANGLE
-<Multi_key> <Greek_DELTA> <equal> : "≜" U225C # DELTA EQUAL TO
-<Multi_key> <equal> <Greek_DELTA> : "≜" U225C # DELTA EQUAL TO
-<Multi_key> <equal> <question> : "≟" U225F # QUESTIONED EQUAL TO
-<Multi_key> <question> <equal> : "≟" U225F # QUESTIONED EQUAL TO
-<Multi_key> <question> <less> : "⩻" U2A7B # LESS-THAN WITH QUESTION MARK ABOVE
-<Multi_key> <less> <question> : "⩻" U2A7B # LESS-THAN WITH QUESTION MARK ABOVE
-<Multi_key> <question> <greater> : "⩼" U2A7C # GREATER-THAN WITH QUESTION MARK ABOVE
-<Multi_key> <greater> <question> : "⩼" U2A7C # GREATER-THAN WITH QUESTION MARK ABOVE
-
+<Multi_key> <minus> <integral> : "⨍" U2A0D # FINITE PART INTEGRAL
+<Multi_key> <equal> <integral> : "⨎" U2A0E # INTEGRAL WITH DOUBLE STROKE
+<Multi_key> <integral> <equal> : "⨎" U2A0E # INTEGRAL WITH DOUBLE STROKE
+<Multi_key> <multiply> <integral> : "⨘" U2A18 # INTEGRAL WITH TIMES SIGN
+<Multi_key> <integral> <multiply> : "⨘" U2A18 # INTEGRAL WITH TIMES SIGN
+<Multi_key> <intersection> <integral> : "⨙" U2A19 # INTEGRAL WITH INTERSECTION
+<Multi_key> <integral> <intersection> : "⨙" U2A19 # INTEGRAL WITH INTERSECTION
+<Multi_key> <union> <integral> : "⨚" U2A1A # INTEGRAL WITH UNION
+<Multi_key> <integral> <union> : "⨚" U2A1A # INTEGRAL WITH UNION
+<dead_macron> <integral> : "⨛" U2A1B # INTEGRAL WITH OVERBAR
+<Multi_key> <underscore> <integral> : "⨜" U2A1C # INTEGRAL WITH UNDERBAR
+<Multi_key> <underbar> <integral> : "⨜" U2A1C # INTEGRAL WITH UNDERBAR
+<Multi_key> <slash> <integral> : "⨏" U2A0F # INTEGRAL AVERAGE WITH SLASH
+<dead_stroke> <integral> : "⨏" U2A0F # INTEGRAL AVERAGE WITH SLASH
+<Multi_key> <underscore> <multiply> : "⨱" U2A31 # MULTIPLICATION SIGN WITH UNDERBAR
+<Multi_key> <underbar> <multiply> : "⨱" U2A31 # MULTIPLICATION SIGN WITH UNDERBAR
+<dead_macron> <union> : "⩂" U2A42 # UNION WITH OVERBAR
+<dead_macron> <intersection> : "⩃" U2A43 # INTERSECTION WITH OVERBAR
+<Multi_key> <less> <parenright> : "⪦" U2AA6 # LESS-THAN CLOSED BY CURVE
+<Multi_key> <parenleft> <greater> : "⪧" U2AA7 # GREATER-THAN CLOSED BY CURVE
+<U21BB> <numbersign> : "⨳" U2A33 # SMASH PRODUCT
+#<Multi_key> <multiply> <multiply> : "⨯" U2A2F # VECTOR OR CROSS PRODUCT
+<Multi_key> <Greek_DELTA> <plus> : "⨹" U2A39 # PLUS SIGN IN TRIANGLE
+<Multi_key> <plus> <Greek_DELTA> : "⨹" U2A39 # PLUS SIGN IN TRIANGLE
+<Multi_key> <Greek_DELTA> <minus> : "⨺" U2A3A # MINUS SIGN IN TRIANGLE
+<Multi_key> <minus> <Greek_DELTA> : "⨺" U2A3A # MINUS SIGN IN TRIANGLE
+<Multi_key> <Greek_DELTA> <multiply> : "⨻" U2A3B # MULTIPLICATION SIGN IN TRIANGLE
+<Multi_key> <multiply> <Greek_DELTA> : "⨻" U2A3B # MULTIPLICATION SIGN IN TRIANGLE
+<Multi_key> <question> <less> : "⩻" U2A7B # LESS-THAN WITH QUESTION MARK ABOVE
+<Multi_key> <less> <question> : "⩻" U2A7B # LESS-THAN WITH QUESTION MARK ABOVE
+<Multi_key> <question> <greater> : "⩼" U2A7C # GREATER-THAN WITH QUESTION MARK ABOVE
+<Multi_key> <greater> <question> : "⩼" U2A7C # GREATER-THAN WITH QUESTION MARK ABOVE
# mathematical negations
<Multi_key> <slash> <equal> : "≠" U2260 # NOT EQUAL TO
@@ -304,6 +303,9 @@
<dead_stroke> <Multi_key> <KP_Equal> <less> <bar> : "⋬" U22EC # NOT NORMAL SUBGROUP OF OR EQUAL TO
<dead_stroke> <Multi_key> <equal> <bar> <greater> : "⋭" U22ED # DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
<dead_stroke> <Multi_key> <KP_Equal> <bar> <greater> : "⋭" U22ED # DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
+<dead_stroke> <Multi_key> <bar> <minus> : "⊬" U22AC # DOES NOT PROVE
+<dead_stroke> <Multi_key> <bar> <equal> : "⊭" U22AD # NOT TRUE
+<dead_stroke> <Multi_key> <bar> <KP_Equal> : "⊭" U22AD # NOT TRUE
# Vector
<dead_circumflex> <rightarrow> : "⃗" U20D7 # COMBINING RIGHT ARROW ABOVE