ht_bucket_html5_C94 3931 ext/standard/html_tables.h static const entity_cp_map ht_bucket_html5_C94[] = { {"RightTeeVector", 14, 0x0295B, 0}, {"curlyvee", 8, 0x022CE, 0}, {NULL, 0, 0, 0} };
ht_bucket_html5_C94 5104 ext/standard/html_tables.h 	ht_bucket_html5_C94, ht_bucket_html5_C95, ht_bucket_empty, ht_bucket_empty,