diff options
Diffstat (limited to 'phox/phox-font.el')
-rw-r--r-- | phox/phox-font.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index da677764..c3f5c9a3 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -69,6 +69,7 @@ ("/\\\\" 0 1 34) ("\\<or\\>" 0 3 218) ("\\<in\\>" 0 3 206) + ("\\<notin\\>" 0 3 207) ("\\<inter\\>" 0 3 199) ("\\<union\\>" 0 3 200) ("\\<minus\\>" 0 3 45) |