/* XPM */
static char *succeq[] = {
/* columns rows colors chars-per-pixel */
"11 19 3 1",
"  c black",
". c gray100",
"X c None",
/* pixels */
"XXXXXXXXXXX",
"XXXXXXXXXXX",
"XXXXXXXXXXX",
"XXXXXXXXXXX",
"XXXXXXXXXXX",
"X XXXXXXXXX",
"X XXXXXXXXX",
"XX XXXXXXXX",
"XXX  XXXXXX",
"XXXXX     X",
"XXX  XXXXXX",
"XX XXXXXXXX",
"X XXXXXXXXX",
"X XXXXXXXXX",
"XXXXXXXXXXX",
"XXXXXXXXXXX",
"X         X",
"XXXXXXXXXXX",
"XXXXXXXXXXX"
};