src/Pure/Thy/term_style.ML
changeset 56203 76c72f4d0667
parent 56201 dd2df97b379b
child 56204 f70e69208a8c
     1.1 --- a/src/Pure/Thy/term_style.ML	Tue Mar 18 12:25:17 2014 +0100
     1.2 +++ b/src/Pure/Thy/term_style.ML	Tue Mar 18 13:36:28 2014 +0100
     1.3 @@ -68,8 +68,8 @@
     1.4    end);
     1.5  
     1.6  fun sub_symbols (d :: s :: ss) =
     1.7 -      if Symbol.is_ascii_digit d andalso not (String.isPrefix ("\\<^") s)
     1.8 -      then d :: "\\<^sub>" :: sub_symbols (s :: ss)
     1.9 +      if Symbol.is_ascii_digit d andalso not (String.isPrefix ("\<^") s)
    1.10 +      then d :: "\<^sub>" :: sub_symbols (s :: ss)
    1.11        else d :: s :: ss
    1.12    | sub_symbols cs = cs;
    1.13