/* XPM */ static char * mathcircumflex_xpm[] = { "14 5 2 1", " c None", ". c #000000", " . ", " .. .. ", " .. . ", " .. .. ", ". ."};