src/Tools/WWW_Find/unicode_symbols.ML

 local (* Lexer *)
 
 open Basic_Symbol_Pos
 
 val keywords =
-  Scan.make_lexicon (map Symbol.explode ["code", "font", "abbrev", ":"]);
+  Scan.make_lexicon (map Symbol.explode ["code", "group", "font", "abbrev", ":"]);
 
 datatype token_kind =
   Symbol | AsciiSymbol | Keyword | Name | Code | Space | Comment | EOF;
 
 datatype token = Token of token_kind * string * Position.range;

 val ascii_sym = Scan.one is_ascii_sym >> str_of_token;
 val symbol = Scan.one is_symbol >> (fn t => (str_of_token t, pos_of_token t));
 val name = Scan.one is_name >> str_of_token;
 
 val unicode = $$$ "code" -- $$$ ":" |-- hex_code;
+val group = Scan.option ($$$ "group" -- $$$ ":" |-- name);
 val font = Scan.option ($$$ "font" -- $$$ ":" |-- name);
 val abbr = Scan.option ($$$ "abbrev" -- $$$ ":"
                         |-- (ascii_sym || $$$ ":" || name));
 
 in
 
-val line = (symbol -- unicode -- font -- abbr) >> (fn (((a, b), c), d) => (a, b, d));
+val line = (symbol -- unicode -- group -- font -- abbr)
+  >> (fn ((((a, b), _), _), c) => (a, b, c));
 
 end;
 
 local (* build tables *)