diff options
Diffstat (limited to 'phox/x-symbol-phox.el')
-rw-r--r-- | phox/x-symbol-phox.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/phox/x-symbol-phox.el b/phox/x-symbol-phox.el index 26e2f1f6..e67d8774 100644 --- a/phox/x-symbol-phox.el +++ b/phox/x-symbol-phox.el @@ -59,7 +59,12 @@ '((greaterequal () ">=") (lessequal () "<=") (notequal () "!=") - (element () ":") + (element () "in") + (notelement () "notin") + (propersubset () "<<") + (intersection () "inter") + (union () "union") + (backslash3 () "minus") (universal1 () "/\\") (existential1 () "\\/") (logicalor () "or") |