compose table: mathematical operators

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

1 files changed, 141 insertions, 12 deletions

diff --git a/res/compose b/res/compose
index e900b41..12cae02 100644
--- a/res/compose
+++ b/res/compose
@@ -493,8 +493,13 @@ dead_ascii("ˇ")
 <dead letter ~> "_" "=" : "≊"
 <compose> "≈" ["~" <dead letter ~>] : "≋"
 <compose> "=" ["~" <dead letter ~>] : "≌"
-# TODO ≍ ≎ ≏ ≐ ≑ ≒ ≓
-
+<shift compose> (")" "(") : "≍"
+<compose> "≍" "≍" : "≎"
+<compose> ("_" "≎") : "≏"
+<shift compose> ("." "=") : "≐"
+<shift compose> (":" "=") : "≑"
+<shift compose> (":" "\\") "=" : "≒"
+<shift compose> (":" "/") "=" : "≓"
 <compose> ":" "=" : "≔"
 <compose> "=" ":" : "≕"
 <compose> "=" "o" : "≖"
@@ -522,6 +527,7 @@ dead_ascii("ˇ")
 <shift compose> "<" "<" <space> : "≪"
 <shift compose> ">" ">" <space> : "≫"
 <compose> ("(" ")") : "≬"
+<shift compose> "/" (")" "(") : "≭"
 <compose> ("/" "≍") : "≭"
 <compose> ("/" "<") : "≮"
 <compose> ("/" ">") : "≯"
@@ -537,10 +543,96 @@ dead_ascii("ˇ")
 <compose> ">" "<" : "≷"
 <compose> ("/" "≶") : "≸"
 <compose> ("/" "≷") : "≹"
-# TODO ≺ ≻ ≼ ≽
-# TODO ≾ ≿ ⊀ ⊁ ⊂ ⊃ ⊄ ⊅ ⊆ ⊇ ⊈ ⊉ ⊊ ⊋ ⊌ ⊍ ⊎ ⊏ ⊐ ⊑ ⊒ ⊓ ⊔ ⊕ ⊖ ⊗ ⊘ ⊙ ⊚ ⊛ ⊜ ⊝ ⊞ ⊟ ⊠ ⊡ ⊢ ⊣ ⊤ ⊥
-# TODO ⊦ ⊧ ⊨ ⊩ ⊪ ⊫ ⊬ ⊭ ⊮ ⊯ ⊰ ⊱
-
+<shift compose> (["(" ")"] "<") : "≺"
+<shift compose> (["(" ")"] ">") : "≻"
+<compose> ("_" "≺") : "≼"
+<shift compose> (["(" ")"] "_") "<" : "≼"
+<compose> ("_" "≻") : "≽"
+<shift compose> (["(" ")"] "_") ">" : "≽"
+<dead letter ~> "≺" : "≾"
+<compose> "≺" ["~" <dead letter ~>] : "≾"
+<dead letter ~> "≻" : "≿"
+<compose> "≻" ["~" <dead letter ~>] : "≿"
+<compose> ("/" "≺") : "⊀"
+<shift compose> (["(" ")"] "/") "<" : "⊀"
+<compose> ("/" "≻") : "⊁"
+<shift compose> (["(" ")"] "/") ">" : "⊁"
+<shift compose> ("U" "<") : "⊂"
+<shift compose> ("U" ">") : "⊃"
+<compose> ("/" "⊂") : "⊄"
+<shift compose> ("U" "/") "<" : "⊄"
+<compose> ("/" "⊃") : "⊅"
+<shift compose> ("U" "/") ">" : "⊅"
+<compose> ("_" "⊂") : "⊆"
+<shift compose> ("U" "_") "<" : "⊆"
+<compose> ("_" "⊃") : "⊇"
+<shift compose> ("U" "_") ">" : "⊇"
+<compose> ("_" "/") "⊂" : "⊈"
+<compose> ("/" "⊆") : "⊈"
+<compose> ("_" "/") "⊃" : "⊉"
+<compose> ("/" "⊇") : "⊉"
+<shift compose> ("/" "_" "⊂") : "⊊"
+<shift compose> ("/" "_" "⊃") : "⊋"
+<compose> ("←" "∪") : "⊌"
+<compose> (["." "⋅"] "∪") : "⊍"
+<compose> ("+" "∪") : "⊎"
+<compose> (["[" "]"] "<") : "⊏"
+<compose> (["[" "]"] ">") : "⊐"
+<compose> ("_" "⊏") : "⊑"
+<compose> "_" (["[" "]"] "<") : "⊑"
+<compose> ("_" "⊐") : "⊒"
+<compose> "_" (["[" "]"] ">") : "⊒"
+<compose> ["[" "]"] ["∧" "∩"] : "⊓"
+<compose> ["[" "]"] ["∨" "∪"] : "⊔"
+<shift compose> "(" "+" ")" : "⊕"
+<shift compose> (["o" "O"] "+") : "⊕"
+<shift compose> "(" ["-" "−"] ["-" "−"] ")" : "⊖"
+<shift compose> ["o" "O"] ["-" "−"] ["-" "−"] : "⊖"
+<shift compose> ["-" "−"] ["-" "−"] ["o" "O"] : "⊖"
+<shift compose> "(" ["x" "X" "×"] ")" : "⊗"
+<shift compose> (["o" "O"] ["x" "X" "×"]) : "⊗"
+<shift compose> "(" "/" ")" : "⊘"
+<shift compose> (["o" "O"] "/") : "⊘"
+<shift compose> "(" ["." "⋅"] ")" : "⊙"
+<shift compose> (["o" "O"] ["." "⋅"]) : "⊙"
+<shift compose> "(" "o" ")" : "⊚"
+<shift compose> (["o" "O"] "o") : "⊚"
+<shift compose> "(" "*" ")" : "⊛"
+<shift compose> (["o" "O"] "*") : "⊛"
+<shift compose> "(" "=" ")" : "⊜"
+<shift compose> (["o" "O"] "=") : "⊜"
+<shift compose> "(" ["-" "−"] ")" : "⊝"
+<shift compose> (["o" "O"] ["-" "−"]) : "⊝"
+<shift compose> "[" "+" "]" : "⊞"
+<shift compose> "[" ["-" "−"] "]" : "⊟"
+<shift compose> "[" ["x" "X" "×"] "]" : "⊠"
+<shift compose> "[" ["." "⋅"] "]" : "⊡"
+<shift compose> "|" "-" "-" <space> : "⊢"
+<shift compose> "-" "-" "|" <space> : "⊣"
+<compose> "_" "|" : "⊤"
+<compose> "⊥" "⊥" : "⊤"
+<compose> "|" "_" : "⊥"
+<compose> "⊤" "⊤" : "⊥"
+<shift compose> "|" "-" <space> : "⊦"
+<shift compose> "|" "=" <space> : "⊧"
+<shift compose> "|" "=" "=" <space> : "⊨"
+<shift compose> "|" "|" "-" <space> : "⊩"
+<shift compose> "|" "|" "|" "-" <space> : "⊪"
+<shift compose> "|" "|" "=" <space> : "⊫"
+<shift compose> "/" "|" "-" "-" <space> : "⊬"
+<shift compose> "|" "-" "-" "/" : "⊬"
+<compose> ("/" "⊢") : "⊬"
+<shift compose> "/" "|" "=" "=" <space> : "⊭"
+<shift compose> "|" "=" "=" "/" : "⊭"
+<compose> ("/" "⊨") : "⊭"
+<shift compose> "/" "|" "|" "-" <space> : "⊮"
+<shift compose> "|" "|" "-" "/" : "⊮"
+<compose> ("/" "⊩") : "⊮"
+<shift compose> "/" "|" "|" "=" <space> : "⊯"
+<shift compose> "|" "|" "=" "/" : "⊯"
+<compose> ("/" "⊫") : "⊯"
+<compose> ("≺" ["(" ")"]) : "⊰"
+<compose> ("≻" ["(" ")"]) : "⊱"
 <compose> "<" "|" : "⊲"
 <compose> "|" ">" : "⊳"
 <compose> "_" "<" "|" : "⊴"
@@ -576,8 +668,15 @@ dead_ascii("ˇ")
 <shift compose> (">" "\\") : "⋋"
 <shift compose> (">" "/") : "⋌"
 <compose> ("_" "∽") : "⋍"
-# TODO ⋎ ⋏ ⋐ ⋑ ⋒ ⋓ ⋔ ⋕
-
+<shift compose> (["(" ")"] "∧") : "⋎"
+<shift compose> (["(" ")"] "∨") : "⋏"
+<compose> "⊂" "⊂" : "⋐"
+<compose> "⊃" "⊃" : "⋑"
+<compose> "∩" "∩" : "⋒"
+<compose> "∪" "∪" : "⋓"
+<compose> ("∩" "|") : "⋔"
+<compose> "#" "#" : "⋕"
+<shift compose> ("|" "=") : "⋕"
 <compose> "<" "." : "⋖"
 <compose> "." ">" : "⋗"
 <compose> "<" "<" "<" : "⋘"
@@ -588,8 +687,20 @@ dead_ascii("ˇ")
 <compose> ("≷" ["-" "_"]) : "⋛"
 <shift compose> ("_" "<") : "⋜"
 <shift compose> ("_" ">") : "⋝"
-# TODO ⋞ ⋟ ⋠ ⋡ ⋢ ⋣ ⋤ ⋥ ⋦ ⋧ ⋨ ⋩
-
+<shift compose> ("_" "≺") : "⋞"
+<shift compose> ("_" "≻") : "⋟"
+<shift compose> (["(" ")"] "/" "_") "<" : "⋠"
+<compose> ("/" "≼") : "⋠"
+<shift compose> (["(" ")"] "/" "_") ">" : "⋡"
+<compose> ("/" "≽") : "⋡"
+<compose> ("/" "⊑") : "⋢"
+<compose> ("/" "⊒") : "⋣"
+<compose> ("/" "⊏") : "⋤"
+<compose> ("/" "⊐") : "⋥"
+<compose> ("≁" "<") : "⋦"
+<compose> ("≁" ">") : "⋧"
+<compose> ("≁" "≺") : "⋨"
+<compose> ("≁" "≻") : "⋩"
 <compose> ("/" "⊲") : "⋪"
 <compose> ("/" "⊳") : "⋫"
 <compose> ("/" "⊴") : "⋬"
@@ -598,8 +709,26 @@ dead_ascii("ˇ")
 <shift compose> "." "-" : "⋯"
 <shift compose> "." "/" : "⋰"
 <shift compose> "." "\\" : "⋱"
-# TODO ⋲ ⋳ ⋴ ⋵ ⋶ ⋷ ⋸ ⋹ ⋺ ⋻ ⋼ ⋽ ⋾
-
+<shift compose> ("C" "-") : "⋲"
+<compose> "⋲" "|" : "⋳"
+<compose> "." "⋳" : "⋴"
+<compose> "." "⋲" : "⋵"
+<shift compose> ("_" ["⋲" "⋳"]) : "⋶"
+[<compose> <shift compose>] ("_" "⋴") : "⋷"
+<shift compose> ("." ["⋶" "⋶"]) : "⋷"
+<compose> ("_" ["⋲" "⋳"]) : "⋸"
+<compose> "⋽" "⋽" : "⋸"
+<shift compose> ("C" "=") : "⋹"
+<compose> (["-" "="] ["⋲" "⋳"]) : "⋹"
+<compose> "⋲" "⋲" : "⋺"
+<compose> "⋳" "⋳" : "⋻"
+<compose> "⋴" "⋴" : "⋼"
+<compose> ("." ["⋺" "⋻"]) : "⋼"
+<compose> "⋸" "⋸" : "⋽"
+[<compose> <shift compose>] ("_" ["⋺" "⋻"]) : "⋽"
+<compose> ("." "⋽") : "⋾"
+<compose> "⋷" "⋷" : "⋾"
+[<compose> <shift compose>] ("_" "⋼") : "⋾"
 <compose> "∃" "∃" : "⋿"
 
 # TODO Miscellaneous Technical