#define tiny_math_downarrowright_width 12
#define tiny_math_downarrowright_height 8
#define tiny_math_downarrowright_x_hot 0
#define tiny_math_downarrowright_y_hot 7
static unsigned char tiny_math_downarrowright_bits[] = {
 0x01, 0x00, 0x01, 0x00, 0x41, 0x00, 0xc1, 0x01, 0xff, 0x07, 0xc0, 0x01,
 0x40, 0x00, 0x00, 0x00 };