From 37b4fcc003d4afc2f8cd9cd79fd9359ca0af2b81 Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Tue, 12 Sep 2017 22:33:00 -0400 Subject: .XCompose*: Greatly expand multi-key input sequences --- (limited to '.XCompose.math') diff --git a/.XCompose.math b/.XCompose.math new file mode 100644 index 0000000..a0b8484 --- /dev/null +++ b/.XCompose.math @@ -0,0 +1,197 @@ +# +# Mathematical operators +# Range: 2200–22FF +# + +# Miscellaneous mathematical symbols + : "∀" U2200 # FOR ALL + # = universal quantifier +

: "∂" U2202 # PARTIAL DIFFERENTIAL +

: "∂" U2202 # PARTIAL DIFFERENTIAL + : "∃" U2203 # THERE EXISTS + # = existential quantifier + : "∄" U2204 # THERE DOES NOT EXIST +

: "∆" U2206 # INCREMENT + # = Laplace operator + # = forward difference + # = symmetric difference (in set theory) + : "∆" U2206 # INCREMENT + : "∆" U2206 # INCREMENT + : "∇" U2207 # NABLA + # = backward difference + # = gradient, del + +# Set membership + : "∈" U2208 # ELEMENT OF + : "∉" U2209 # NOT AN ELEMENT OF + : "∉" U2209 # NOT AN ELEMENT OF + : "∋" U220B # CONTAINS AS MEMBER + # = such that + : "∌" U220C # DOES NOT CONTAIN AS MEMBER + : "∌" U220C # DOES NOT CONTAIN AS MEMBER + +# Miscellaneous mathematical symbol + : "∎" U220E # END OF PROOF + # = q.e.d. + : "∎" U220E # END OF PROOF + +# N-ary operators +

: "∏" U220F # N-ARY PRODUCT + # = product sign + : "∑" U2211 # N-ARY SUMMATION + # = summation sign + +# Operators + : "−" U2212 # MINUS + : "∓" U2213 # MINUS-OR-PLUS SIGN + : "∕" U2215 # DIVISION SLASH + : "∕" U2215 # DIVISION SLASH + # • generic division operator + : "∘" U2218 # RING OPERATOR + # = composite function + # = APL jot +# SQUARE ROOT exists as: +# +# + <3> : "∛" U221B # CUBE ROOT + <4> : "∜" U221C # FOURTH ROOT + <8> <3> : "∝" U221D # PROPORTIONAL TO + +# Angles + : "∟" U221F # RIGHT ANGLE + : "∠" U2220 # ANGLE + : "∡" U2221 # MEASURED ANGLE + +# Logical and set operators + : "∧" U2227 # LOGICAL AND + # = wedge, conjunction + : "∨" U2228 # LOGICAL OR + # = vee, disjunction + : "∩" U2229 # INTERSECTION + # = cap, hat + : "∪" U222A # UNION + # = cup + +# Integrals + : "∫" U222B # INTEGRAL + : "∬" U222C # DOUBLE INTEGRAL + : "∭" U222D # TRIPLE INTEGRAL + : "∮" U222E # CONTOUR INTEGRAL + : "∯" U222F # SURFACE INTEGRAL + : "∰" U2230 # VOLUME INTEGRAL + +# Relations + : "∼" U223C # TILDE OPERATOR + # = varies with (proportional to) + # = difference between + # = similar to + # = not + # = cycle + # = APL tilde + +# Miscellaneous mathematical symbol + : "∿" U223F # SINE WAVE + # = alternating current + +# Relations + : "≁" U2241 # NOT TILDE + : "≁" U2241 # NOT TILDE + : "≃" U2243 # ASYMPTOTICALLY EQUAL TO + : "≃" U2243 # ASYMPTOTICALLY EQUAL TO + : "≄" U2244 # NOT ASYMPTOTICALLY EQUAL TO + : "≄" U2244 # NOT ASYMPTOTICALLY EQUAL TO + : "≅" U2245 # APPROXIMATELY EQUAL TO + : "≅" U2245 # APPROXIMATELY EQUAL TO + : "≆" U2246 # APPROXIMATELY BUT NOT ACTUALLY EQUAL TO + : "≆" U2246 # APPROXIMATELY BUT NOT ACTUALLY EQUAL TO + : "≇" U2247 # NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO + : "≇" U2247 # NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO + : "≈" U2248 # ALMOST EQUAL TO + # = asymptotic to + : "≉" U2249 # NOT ALMOST EQUAL TO + : "≉" U2249 # NOT ALMOST EQUAL TO + : "≊" U224A # ALMOST EQUAL OR EQUAL TO + : "≝" U225D # EQUAL TO BY DEFINITION + : "≝" U225D # EQUAL TO BY DEFINITION + : "≟" U225F # QUESTIONED EQUAL TO + : "≡" U2261 # IDENTICAL TO + : "≡" U2261 # IDENTICAL TO + : "≢" U2262 # NOT IDENTICAL TO + : "≢" U2262 # NOT IDENTICAL TO + : "≢" U2262 # NOT IDENTICAL TO + : "≢" U2262 # NOT IDENTICAL TO +# LESS-THAN OR EQUAL TO and GREATER-THAN OR EQUAL TO exist as: +# : "≤" U2264 # < _ LESS-THAN OR EQUAL TO +# : "≤" U2264 # _ < LESS-THAN OR EQUAL TO +# : "≥" U2265 # > _ GREATER-THAN OR EQUAL TO +# : "≥" U2265 # _ > GREATER-THAN OR EQUAL TO + : "≦" U2266 # LESS-THAN OVER EQUAL TO + : "≦" U2266 # LESS-THAN OVER EQUAL TO + : "≧" U2267 # GREATER-THAN OVER EQUAL TO + : "≧" U2267 # GREATER-THAN OVER EQUAL TO + : "≨" U2268 # LESS-THAN BUT NOT EQUAL TO + : "≨" U2268 # LESS-THAN BUT NOT EQUAL TO + : "≩" U2269 # GREATER-THAN BUT NOT EQUAL TO + : "≩" U2269 # GREATER-THAN BUT NOT EQUAL TO + : "≪" U226A # MUCH LESS-THAN + : "≫" U226B # MUCH GREATER-THAN + : "≮" U226E # NOT LESS-THAN + : "≮" U226E # NOT LESS-THAN + : "≮" U226E # NOT GREATER-THAN + : "≮" U226E # NOT GREATER-THAN + : "≰" U2270 # NEITHER LESS-THAN NOR EQUAL TO + : "≰" U2270 # NEITHER LESS-THAN NOR EQUAL TO + : "≱" U2271 # NEITHER GREATER-THAN NOR EQUAL TO + : "≱" U2271 # NEITHER GREATER-THAN NOR EQUAL TO + : "≲" U2272 # LESS-THAN OR EQUIVALENT TO + : "≲" U2272 # LESS-THAN OR EQUIVALENT TO + : "≳" U2273 # GREATER-THAN OR EQUIVALENT TO + : "≳" U2273 # GREATER-THAN OR EQUIVALENT TO + : "⊂" U2282 # SUBSET OF + # = included in set + : "⊃" U2283 # SUPERSET OF + # = includes in set + : "⊄" U2284 # NOT A SUBSET OF + : "⊅" U2285 # NOT A SUPERSET OF + : "⊆" U2286 # SUBSET OF OR EQUAL TO + : "⊇" U2287 # SUPERSET OF OR EQUAL TO + : "⊈" U2288 # NEITHER A SUBSET OF NOR EQUAL TO + : "⊉" U2289 # NEITHER A SUPERSET OF NOR EQUAL TO + : "⊊" U228A # SUBSET OF WITH NOT EQUAL TO + : "⊋" U228B # SUPERSET OF WITH NOT EQUAL TO + +# Operators + : "⊢" U22A2 # RIGHT TACK + # = turnstile + # = proves, implies, yields + # = reducible + : "⊣" U22A2 # LEFT TACK + # = reverse turnstile + # = non-theorem, does not yield + +# Miscellaneous mathematical symbols + : "⊤" U22A4 # DOWN TACK + # = top + : "⊥" U22A5 # UP TACK + # = base, bottom + +# Operators + : "⊻" U22BB # XOR + : "⊻" U22BB # XOR + : "⊻" U22BB # XOR + : "⊼" U22BC # NAND + : "⊼" U22BC # NAND + : "⊼" U22BC # NAND + +# Operators + : "⋅" U22C5 # DOT OPERATOR + # • preferred to 00B7 · for denotation of + # multiplication + +# Relations + : "⋮" U22EE # VERTICAL ELLIPSIS + # • these four ellipses are used for matrix + # row/column elision + : "⋯" U22EF # MIDLINE HORIZONTAL ELLIPSIS + : "⋰" U22F0 # UP RIGHT DIAGONAL ELLIPSIS + : "⋱" U22F1 # DOWN RIGHT DIAGONAL ELLIPSIS -- cgit v0.9.1