compose table: some of mathemastical operators

Signed-off-by: Mattias Andrée <maandree@operamail.com>

1 files changed, 222 insertions, 2 deletions

diff --git a/res/compose b/res/compose
index dd266a6..e900b41 100644
--- a/res/compose
+++ b/res/compose
@@ -381,7 +381,227 @@ dead_ascii("ˇ")
 # TODO Letterlike Symbols
 # TODO Number Forms
 # TODO Arrows
-# TODO Mathematical Operators
+
+# Mathematical Operators:
+<compose> "A" "A" : "∀"
+<compose> "m" "C" : "∁"
+<compose> "d" "d" : "∂"
+<compose> "E" "E" : "∃"
+<compose> ("/" "∃") : "∄"
+<compose> ("/" "0") : "∅"
+<compose> "Δ" "Δ" : "∆"
+<compose> "/" "\\" : "∆"
+<compose> "\\" "/" : "∇"
+<compose> "∆" "∆" : "∇"
+<compose> "∇" "∇" : "∆"
+<compose> "i" "n" : "∈"
+<compose> ("/" "∈") : "∉"
+<compose> ("." "∈") : "∊"
+<compose> "I" "N" : "∋"
+<compose> "∈" "∈" : "∋"
+<compose> "∉" "∉" : "∌"
+<compose> ("/" "∋") : "∌"
+<compose> "∊" "∊" : "∍"
+<compose> ("." "∋") : "∍"
+<compose> "q" "e" "d" : "∎"
+<compose> "m" "p" : "∏"
+<compose> "Π" "Π" : "∏"
+<compose> "m" "P" : "∐"
+<compose> "∏" "∏" : "∐"
+<compose> "m" "s" : "∑"
+<compose> "Σ" "Σ" : "∑"
+<compose> "m" "-" : "−"
+<compose> "-" "+" : "∓"
+<compose> "." "+" : "∔"
+<compose> "m" "/" : "∕"
+<compose> "m" "\\" : "∖"
+<compose> "m" "*" : "∗"
+<compose> "m" "o" : "∘"
+<compose> "m" "O" : "∙"
+<compose> "m" ["2" .] "r" : "√"
+<compose> ["m" "2"] "r" : "√"
+<compose> ["m" .] "3" "r" : "∛"
+<compose> ["m" .] "4" "r" : "∜"
+<compose> "0" ["c" "C"] : "∝"
+<compose> "0" "0" : "∞"
+<compose> ("m" "L") : "∟"
+<compose> ("/" "_") : "∠"
+<compose> ("∠" ")") : "∡"
+<compose> ("<" ")") : "∢"
+<compose> "1" "∣" : "∣"
+<compose> "/" "1" "∣" : "∤"
+<compose> ("/" "∣") : "∤"
+<compose> "2" "∣" : "∥"
+<compose> "∣" "∣" : "∥"
+<compose> "/" "2" "∣" : "∦"
+<compose> ("/" "∥") : "∦"
+<compose> "m" "&" : "∧"
+<compose> "∨" "∨" : "∧"
+<compose> "∧" "∧" : "∨"
+<compose> "m" "V" : "∨"
+<compose> "m" "N" : "∩"
+<compose> "∪" "∪" : "∩"
+<compose> "∩" "∩" : "∪"
+<compose> "m" "U" : "∪"
+<compose> 1 ["s" "ſ"] : "∫"
+<compose> 2 ["s" "ſ"] : "∬"
+<compose> "∫" "∫" : "∬"
+<shift compose> "∫" "∫" : "∭"
+<compose> ("∫" "∬") : "∭"
+<compose> "3" ["s" "ſ" "∫"] : "∭"
+<compose> 1 "o" ["s" "ſ"] : "∮"
+<compose> 2 "o" ["s" "ſ"] : "∯"
+<compose> "∮" "∮" : "∯"
+<shift compose> "∮" "∮" : "∰"
+<compose> ("∮" "∯") : "∰"
+<compose> "3" "∮" : "∰"
+<compose> "3" "o" ["s" "ſ"] : "∰"
+<compose> ("o" "∫") : "∮"
+<compose> ("o" "∬") : "∯"
+<compose> ("o" "∭") : "∰"
+<compose> (["→" "-"] "∫") : "∱"
+<compose> ("<" "∮" : "∲")
+<compose> (">" "∮" : "∳")
+<compose> ("/" ":") : "∴"
+<compose> ("\\" ":") : "∵"
+<compose> ":" <space> : "∶"
+<compose> ":" ":" : "∷"
+<compose> "." "-" : "∸"
+<compose> "-" ":" : "∹"
+<shift compose> ":" "-" ":" : "∺"
+<compose> ":" ["~" <dead letter ~>] : "∻"
+<dead letter ~> ":" : "∻"
+<shift compose> ["~" <dead letter ~>] <space> : "∼"
+<shift compose> <space> ["~" <dead letter ~>] : "∽"
+<compose> <space> ["~" <dead letter ~>] : "∾"
+<shift compose> ["~" <dead letter ~>] ["~" <dead letter ~>] : "∿"
+<dead letter ~> "|" : "≀"
+<compose> "|" ["~" <dead letter ~>] : "≀"
+<dead letter ~> "/" : "≁"
+<compose> "/" ["~" <dead letter ~>] : "≁"
+<compose> "_" ["~" <dead letter ~>] : "≂"
+<compose> ["~" <dead letter ~>] "_" : "≃"
+<compose> ("/" "≃") : "≄"
+<shift compose> "=" ["~" <dead letter ~>] : "≅"
+<dead letter ~> "≠" : "≆"
+<shift compose> "=" ["~" <dead letter ~>] : "≇"
+<compose> "/" "≅" : "≇"
+<dead letter ~> "=" : "≈"
+<dead letter ~> "/" "=" : "≉"
+<compose> ("/" "≈") : "≉"
+<compose> ["≈" "≊"]
+<dead letter ~> "_" "=" : "≊"
+<compose> "≈" ["~" <dead letter ~>] : "≋"
+<compose> "=" ["~" <dead letter ~>] : "≌"
+# TODO ≍ ≎ ≏ ≐ ≑ ≒ ≓
+
+<compose> ":" "=" : "≔"
+<compose> "=" ":" : "≕"
+<compose> "=" "o" : "≖"
+<compose> "o" "=" : "≗"
+<compose> ("°" "=") : "≗"
+<compose> ("(" "=") : "≘"
+<compose> ("∧" "=") : "≙"
+<compose> ("∨" "=") : "≚"
+<compose> (["*" "⋆"] "=") : "≛"
+<compose> ("Δ" "=") : "≜"
+<compose> ("∆" "=") : "≜"
+<compose> ("d" "=") : "≝"
+<compose> ("m" "=") : "≞"
+<compose> ("?" "=") : "≟"
+<compose> ("/" "=") : "≠"
+<compose> "=" "_" : "≡"
+<compose> ("/" "≡") : "≢"
+<compose> "=" "=" : "≣"
+<compose> ("_" "<") : "≤"
+<compose> ("_" ">") : "≥"
+<compose> ("=" "<") : "≦"
+<compose> ("=" ">") : "≧"
+<compose> ("≠" "<") : "≨"
+<compose> ("≠" ">") : "≩"
+<shift compose> "<" "<" <space> : "≪"
+<shift compose> ">" ">" <space> : "≫"
+<compose> ("(" ")") : "≬"
+<compose> ("/" "≍") : "≭"
+<compose> ("/" "<") : "≮"
+<compose> ("/" ">") : "≯"
+<compose> ("/" "≤") : "≰"
+<compose> ("/" "≥") : "≱"
+<dead letter ~> "<" : "≲"
+<compose> "<" ["~" <dead letter ~>] : "≲"
+<dead letter ~> ">" : "≳"
+<compose> ">" ["~" <dead letter ~>] : "≳"
+<compose> ("/" "≲") : "≴"
+<compose> ("/" "≳") : "≵"
+<compose> "<" ">" : "≶"
+<compose> ">" "<" : "≷"
+<compose> ("/" "≶") : "≸"
+<compose> ("/" "≷") : "≹"
+# TODO ≺ ≻ ≼ ≽
+# TODO ≾ ≿ ⊀ ⊁ ⊂ ⊃ ⊄ ⊅ ⊆ ⊇ ⊈ ⊉ ⊊ ⊋ ⊌ ⊍ ⊎ ⊏ ⊐ ⊑ ⊒ ⊓ ⊔ ⊕ ⊖ ⊗ ⊘ ⊙ ⊚ ⊛ ⊜ ⊝ ⊞ ⊟ ⊠ ⊡ ⊢ ⊣ ⊤ ⊥
+# TODO ⊦ ⊧ ⊨ ⊩ ⊪ ⊫ ⊬ ⊭ ⊮ ⊯ ⊰ ⊱
+
+<compose> "<" "|" : "⊲"
+<compose> "|" ">" : "⊳"
+<compose> "_" "<" "|" : "⊴"
+<compose> "_" "|" ">" : "⊵"
+<compose> ("_" "⊲") : "⊴"
+<compose> ("_" "⊳") : "⊵"
+<shift compose> "o" "-" "." : "⊶"
+<shift compose> "." "-" "o" : "⊷"
+<shift compose> "-" "o" : "⊸"
+<shift compose> "-" ["|" "¦"] "-" : "⊹"
+<compose> <m> <T> : "⊺"
+<compose> ("_" "∨") : "⊻"
+<compose> ("/" ["∧" "&"]) : "⊼"
+<compose> ("/" "∨") : "⊽"
+<compose> (["L" "∟"] ")") : "⊾"
+<compose> "∠" "|" : "⊿"
+<compose> "M" "&" : "⋀"
+<compose> "⋁" "⋁" : "⋀"
+<compose> "⋀" "⋀" : "⋁"
+<compose> "M" "V" : "⋁"
+<compose> "M" "N" : "⋂"
+<compose> "⋃" "⋃" : "⋂"
+<compose> "⋂" "⋂" : "⋃"
+<compose> "M" "U" : "⋃"
+<shift compose> "M" "." : "⋄"
+<shift compose> "m" "." : "⋅"
+<compose> "m" "*" : "⋆"
+<compose> ("÷" "×") : "⋇"
+<compose> ("⋉" "⋊") : "⋈"
+<shift compose> "|" ["X" "x"] "|" : "⋈"
+<compose> "|" ["X" "x"] : "⋉"
+<compose> ["X" "x"] "|" : "⋊"
+<shift compose> (">" "\\") : "⋋"
+<shift compose> (">" "/") : "⋌"
+<compose> ("_" "∽") : "⋍"
+# TODO ⋎ ⋏ ⋐ ⋑ ⋒ ⋓ ⋔ ⋕
+
+<compose> "<" "." : "⋖"
+<compose> "." ">" : "⋗"
+<compose> "<" "<" "<" : "⋘"
+<compose> ">" ">" ">" : "⋙"
+<compose> "≤" "≥" : "⋚"
+<compose> ("≶" ["-" "_"]) : "⋚"
+<compose> "≥" "≤" : "⋛"
+<compose> ("≷" ["-" "_"]) : "⋛"
+<shift compose> ("_" "<") : "⋜"
+<shift compose> ("_" ">") : "⋝"
+# TODO ⋞ ⋟ ⋠ ⋡ ⋢ ⋣ ⋤ ⋥ ⋦ ⋧ ⋨ ⋩
+
+<compose> ("/" "⊲") : "⋪"
+<compose> ("/" "⊳") : "⋫"
+<compose> ("/" "⊴") : "⋬"
+<compose> ("/" "⊵") : "⋭"
+<shift compose> "." "|" : "⋮"
+<shift compose> "." "-" : "⋯"
+<shift compose> "." "/" : "⋰"
+<shift compose> "." "\\" : "⋱"
+# TODO ⋲ ⋳ ⋴ ⋵ ⋶ ⋷ ⋸ ⋹ ⋺ ⋻ ⋼ ⋽ ⋾
+
+<compose> "∃" "∃" : "⋿"
+
 # TODO Miscellaneous Technical
 # TODO Control Pictures
 # TODO Optical Character Recognition
@@ -546,7 +766,7 @@ end for
 <compose> (["o" "O"] "┘") : "╯"
 <compose> (["o" "O"] "└") : "╰"
 <shift compose> "b" "/" : "╱"
-<shift compose> "b" "\" : "╲"
+<shift compose> "b" "\\" : "╲"
 <compose> ("╱" "╲") : "╳"
 <shift compose> "b" "X" : "╳"
 <shift compose> "b" ["<" "←"] : "╴"