src/Tools/jEdit/src/token_markup.scala

 object Token_Markup
 {
   /* editing support for control symbols */
 
   val is_control_style =
-    Set(Symbol.sub_decoded, Symbol.sup_decoded,
-      Symbol.isub_decoded, Symbol.isup_decoded, Symbol.bold_decoded)
+    Set(Symbol.sub_decoded, Symbol.sup_decoded, Symbol.bold_decoded)
 
   def update_control_style(control: String, text: String): String =
   {
     val result = new StringBuilder
     for (sym <- Symbol.iterator(text) if !is_control_style(sym)) {

 
   def extended_styles(text: CharSequence): Map[Text.Offset, Byte => Byte] =
   {
     // FIXME Symbol.bsub_decoded etc.
     def control_style(sym: String): Option[Byte => Byte] =
-      if (sym == Symbol.sub_decoded || sym == Symbol.isub_decoded) Some(subscript(_))
-      else if (sym == Symbol.sup_decoded || sym == Symbol.isup_decoded) Some(superscript(_))
+      if (sym == Symbol.sub_decoded) Some(subscript(_))
+      else if (sym == Symbol.sup_decoded) Some(superscript(_))
       else if (sym == Symbol.bold_decoded) Some(bold(_))
       else None
 
     var result = Map[Text.Offset, Byte => Byte]()
     def mark(start: Text.Offset, stop: Text.Offset, style: Byte => Byte)