diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index c81721b9..bc00f5e2 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -35,7 +35,7 @@ ;; Super- and subscripts (defconst x-symbol-isabelle-font-lock-regexp - "\\(\\\\?\\\\<^su[bp]>\\)\\(\\\\?\\\\<[A-Za-z][A-Za-z0-9_']*>\\|[^\\]\\)" + "\\(\\\\?\\\\<\\^su[bp]>\\)\\(\\\\?\\\\<[A-Za-z][A-Za-z0-9_']*>\\|[^\\]\\)" "Regexp matching super- and subscript markers in Isabelle.") (defun x-symbol-isabelle-match-subscript (limit) |