diff options
Diffstat (limited to 'phox/phox-font.el')
-rw-r--r-- | phox/phox-font.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index 49e9d0ed..da677764 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -68,9 +68,14 @@ ("\\\\/" 0 1 36) ("/\\\\" 0 1 34) ("\\<or\\>" 0 3 218) + ("\\<in\\>" 0 3 206) + ("\\<inter\\>" 0 3 199) + ("\\<union\\>" 0 3 200) + ("\\<minus\\>" 0 3 45) ("&" 0 1 217) ("<->" 0 1 171) ("=>" 0 1 222) + ("\\<subset\\>" 0 4 204) ("->" 0 1 174) ("~" 0 1 216) ("\\\\" 0 1 108))) |