"&#x"[0-9a-fA-F]+";" { yylval.symbol = decode_character_reference("%X", &yytext[3]); return CHARACTER_REFERENCE; } "&#"[0-9]+";" { yylval.symbol = decode_character_reference("%d", &yytext[3]); return CHARACTER_REFERENCE; }