src/Pure/PIDE/markup.scala

   val VAR = "var"
   val NUMERAL = "numeral"
   val LITERAL = "literal"
   val DELIMITER = "delimiter"
   val INNER_STRING = "inner_string"
+  val INNER_CARTOUCHE = "inner_cartouche"
   val INNER_COMMENT = "inner_comment"
 
   val TOKEN_RANGE = "token_range"
 
   val SORT = "sort"

   val OPERATOR = "operator"
   val COMMAND = "command"
   val STRING = "string"
   val ALTSTRING = "altstring"
   val VERBATIM = "verbatim"
+  val CARTOUCHE = "cartouche"
   val COMMENT = "comment"
   val CONTROL = "control"
 
   val KEYWORD1 = "keyword1"
   val KEYWORD2 = "keyword2"