ht_bucket_html5_811 3445 ext/standard/html_tables.h static const entity_cp_map ht_bucket_html5_811[] = { {"Vvdash", 6, 0x022AA, 0}, {NULL, 0, 0, 0} };
ht_bucket_html5_811 4815 ext/standard/html_tables.h 	ht_bucket_html5_810, ht_bucket_html5_811, ht_bucket_html5_812, ht_bucket_empty,