const boxdraw_down_horizontal_double: u16 = 9572;