diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-unicode-tokens.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index e6dbea49..9d6cd263 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -72,7 +72,9 @@ ("Overline" "boverline" "eoverline" overline) ("Underline" "bunderline" "eunderline" underline) ("Big" "bbig" "ebig" big) - ("Small" "bsmall" "esmall" small)) + ("Small" "bsmall" "esmall" small) +; ("Large symbols" "bbigsyms" "ebigsyms" large-symbols) + ) "Control sequence tokens for Isabelle." :group 'isabelle-tokens :set 'isar-set-and-restart-tokens) |