diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index aaa8ed17..8072a9b3 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -299,6 +299,10 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil. Uses (bigcirclemultiply "\\<Otimes>") (bigcircleplus "\\<Oplus>") (coproduct "\\<Coprod>") + (cedilla "\\<cedilla>") + (diaeresis "\\<dieresis>") + (acute "\\<acute>") + (hungarumlaut "\\<hungarumlaut>") )) (defvar x-symbol-isabelle-user-table nil) |