_e00cU            278 dev/ic/pcdisplay_chars.c 	{_e00cU, 0x7d, 3}, /* bracerightmid -> } */
_e00cU           1125 dev/ic/vga.c   /* 6 */	_e00cU,
_e00cU             65 dev/wscons/wsemul_vt100_chars.c 	_e00cU, _e00dU, _e00eU, 0x2216, 0x2215, 0x00ac, _e00fU, 0x232a,