src/Tools/WWW_Find/unicode_symbols.ML

 
 end;
 
 local
 val (fromsym, fromabbr, tosym, toabbr) =
-  read_symbols (Path.explode "~~/src/Tools/WWW_Find/etc/symbols");
+  read_symbols @{path "~~/src/Tools/WWW_Find/etc/symbols"};
 in
 val symbol_to_unicode = Symtab.lookup fromsym;
 val abbrev_to_unicode = Symtab.lookup fromabbr;
 val unicode_to_symbol = Inttab.lookup tosym;
 val unicode_to_abbrev = Inttab.lookup toabbr;