+2002-09-15 John Levon <levon@movementarian.org>
+
+ * images/math/: add icons for delimiters
+
2002-09-12 Dekel Tsur <dekelts@tau.ac.il>
* lyx2lyx/lyxconvert_218.py (remove_oldfloat): Convert floatingfigure.
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"5 23 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXX.",
+"XXX.X",
+"XX.XX",
+"XX.XX",
+"X.XXX",
+"X.XXX",
+"X.XXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+"X.XXX",
+"X.XXX",
+"X.XXX",
+"XX.XX",
+"XX.XX",
+"XXX.X",
+"XXXX."
+};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"5 23 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXX",
+"X.XXX",
+"XX.XX",
+"XX.XX",
+"XXX.X",
+"XXX.X",
+"XXX.X",
+"XXXX.",
+"XXXX.",
+"XXXX.",
+"XXXX.",
+"XXXX.",
+"XXXX.",
+"XXXX.",
+"XXXX.",
+"XXXX.",
+"XXX.X",
+"XXX.X",
+"XXX.X",
+"XX.XX",
+"XX.XX",
+"X.XXX",
+".XXXX"
+};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"3 22 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+"..."
+};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"3 22 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"XX.",
+"..."
+};
--- /dev/null
+/* XPM */
+static char * backslash_xpm[] = {
+"7 23 2 1",
+" c None",
+". c #5972FF",
+". ",
+". ",
+". ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" .",
+" .",
+" .",
+" ."};
--- /dev/null
+/* XPM */
+static char const * empty_xpm[] = {
+/* width height num_colors chars_per_pixel */
+" 20 20 2 1",
+/* colors */
+". c #000000000000",
+"# c None",
+/* pixels */
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################",
+"####################"
+};
+
+
+
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"4 21 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXX.",
+"XXX.",
+"XX.X",
+"XX.X",
+"XX.X",
+"X.XX",
+"X.XX",
+"X.XX",
+".XXX",
+".XXX",
+".XXX",
+".XXX",
+".XXX",
+"X.XX",
+"X.XX",
+"X.XX",
+"XX.X",
+"XX.X",
+"XX.X",
+"XXX.",
+"XXX."
+};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"6 23 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"......",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX"
+};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"6 23 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+".XXXXX",
+"......"
+};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"4 21 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXX",
+".XXX",
+"X.XX",
+"X.XX",
+"X.XX",
+"XX.X",
+"XX.X",
+"XX.X",
+"XXX.",
+"XXX.",
+"XXX.",
+"XXX.",
+"XXX.",
+"XX.X",
+"XX.X",
+"XX.X",
+"X.XX",
+"X.XX",
+"X.XX",
+".XXX",
+".XXX"
+};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"6 23 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"......",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX."
+};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"6 23 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"XXXXX.",
+"......"
+};
--- /dev/null
+/* XPM */
+static char * slash_xpm[] = {
+"7 23 2 1",
+" c None",
+". c #5972FF",
+" .",
+" .",
+" .",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+" . ",
+". ",
+". ",
+". ",
+". "};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"7 23 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXX..",
+"XXX..XX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XX.XXXX",
+"..XXXXX",
+"XX.XXXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX..XX",
+"XXXXX.."
+};
--- /dev/null
+/* XPM */
+static char * bar_xpm[] = {
+"16 27 2 1",
+" c None",
+". c #5972ff",
+"++++++++++++++++",
+"++++++++++++++++",
+"++++++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"++++++++++++++++"};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"7 23 3 1",
+" c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"..XXXXX",
+"XX..XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXXX.XX",
+"XXXXX..",
+"XXXX.XX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XXX.XXX",
+"XX..XXX",
+"..XXXXX"
+};