diff options
Diffstat (limited to 'isa')
-rw-r--r-- | isa/x-symbol-isabelle.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 1bed377e..f4ee80dd 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -243,6 +243,7 @@ See `x-symbol-language-access-alist' for details." (logicalor "\\<or>") (universal1 "\\<forall>") (existential1 "\\<exists>") + (epsilon "\\<some>") (biglogicaland "\\<And>") (ceilingleft "\\<lceil>") (ceilingright "\\<rceil>") |