/* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-" 20 20 2 1",
-/* colors */
-". c #000000000000",
-"# c None",
-/* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
-};
-
-
-
+static char * mathcircumflex_xpm[] = {
+"14 5 2 1",
+" c None",
+". c #000000",
+" . ",
+" .. .. ",
+" .. . ",
+" .. .. ",
+". ."};