diff options
| -rw-r--r-- | dotXCompose | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dotXCompose b/dotXCompose index 0d6e1d9..a3289f2 100644 --- a/dotXCompose +++ b/dotXCompose @@ -133,6 +133,8 @@ include "%L" <Multi_key> <braceleft> <U> : "∪" U222A # UNION <Multi_key> <braceleft> <asciicircum> : "∩" U2229 # INTERSECTION <Multi_key> <braceleft> <parenleft> : "⊂" U2282 # SUBSET OF +<Multi_key> <exclam> <braceleft> <parenleft> : "⊄" U2284 # NOT A SUBSET OF +<Multi_key> <slash> <braceleft> <parenleft> : "⊄" U2284 # NOT A SUBSET OF <Multi_key> <braceleft> <parenright> : "⊃" U2283 # SUPERSET OF <Multi_key> <E> <E> : "∃" U2203 # THERE EXISTS # We can't use ! E E, because ! E maps to E-WITH-UNDERDOT. |