diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2002-03-21 20:56:01 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2002-03-21 20:56:01 +0000 |
commit | 83a71a3186655488036f084b6552367874d93d69 (patch) | |
tree | 78e9a780085401a64f210bf1e91150f29aacd3b6 /phox | |
parent | ea88f36b12cb4cce64c159f48fc152c0eed42f56 (diff) |
*** empty log message ***
Diffstat (limited to 'phox')
-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) |