ht_bucket_html5_DB7 4056 ext/standard/html_tables.h static const entity_cp_map ht_bucket_html5_DB7[] = { {"bigvee", 6, 0x022C1, 0}, {NULL, 0, 0, 0} };
ht_bucket_html5_DB7 5176 ext/standard/html_tables.h 	ht_bucket_html5_DB4, ht_bucket_empty, ht_bucket_html5_DB6, ht_bucket_html5_DB7,