src/Pure/Tools/find_consts.ML

   Parse.reserved "name" |-- Parse.!!! (Parse.$$$ ":" |-- Parse.name) >> Name ||
   Parse.reserved "strict" |-- Parse.!!! (Parse.$$$ ":" |-- Parse.typ) >> Strict ||
   Parse.typ >> Loose;
 
 val query_keywords =
-  Keyword.add_keywords [((":", @{here}), Keyword.no_spec)] Keyword.empty_keywords;
+  Keyword.add_keywords [((":", \<^here>), Keyword.no_spec)] Keyword.empty_keywords;
 
 in
 
 val query_parser = Scan.repeat ((Scan.option Parse.minus >> is_none) -- criterion);