src/Pure/Isar/args.ML

 
 (* arguments within outer syntax *)
 
 val argument_kinds =
  [Token.Ident, Token.LongIdent, Token.SymIdent, Token.Var, Token.TypeIdent, Token.TypeVar,
-  Token.Nat, Token.Float, Token.String, Token.AltString, Token.Verbatim];
+  Token.Nat, Token.Float, Token.String, Token.AltString, Token.Cartouche, Token.Verbatim];
 
 fun parse_args is_symid =
   let
     fun argument blk =
       Parse.group (fn () => "argument")