ht_bucket_html5_11B 2725 ext/standard/html_tables.h static const entity_cp_map ht_bucket_html5_11B[] = { {"VDash", 5, 0x022AB, 0}, {NULL, 0, 0, 0} };
ht_bucket_html5_11B 4369 ext/standard/html_tables.h 	ht_bucket_empty, ht_bucket_empty, ht_bucket_empty, ht_bucket_html5_11B,