diff options
Diffstat (limited to 'phox')
-rw-r--r-- | phox/phox-font.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index c3f5c9a3..020417ac 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -3,8 +3,10 @@ ;; Font lock keywords ;;--------------------------------------------------------------------------;; +(require 'proof-x-symbol) + (defconst phox-font-lock-keywords - (list + (list ;commands '("(\\*\\([^*]\\|\\*+[^*)]\\)*\\(\\*+)\\|\\**$\\)" 0 'font-lock-comment-face t) @@ -69,7 +71,7 @@ ("/\\\\" 0 1 34) ("\\<or\\>" 0 3 218) ("\\<in\\>" 0 3 206) - ("\\<notin\\>" 0 3 207) + ("\\<notin\\>" 0 4 207) ("\\<inter\\>" 0 3 199) ("\\<union\\>" 0 3 200) ("\\<minus\\>" 0 3 45) |