src/Pure/Thy/thy_syntax.ML

   | Token.Nat           => (Markup.empty, "")
   | Token.Float         => (Markup.empty, "")
   | Token.String        => (Markup.string, "")
   | Token.AltString     => (Markup.altstring, "")
   | Token.Verbatim      => (Markup.verbatim, "")
+  | Token.Cartouche     => (Markup.cartouche, "")
   | Token.Space         => (Markup.empty, "")
   | Token.Comment       => (Markup.comment, "")
   | Token.InternalValue => (Markup.empty, "")
   | Token.Error msg     => (Markup.bad, msg)
   | Token.Sync          => (Markup.control, "")