icon name fixups

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@5677 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/lib/ChangeLog b/lib/ChangeLog
index 09acd30d070d5c0e711a3e035b98ca92ab2207f7..b4c0ca0e14ef543888fee7ca53cbc0f61bb2d646 100644 (file)
--- a/lib/ChangeLog
+++ b/lib/ChangeLog
@@ -1,3 +1,7 @@
+2002-11-20  John Levon  <levon@movementarian.org>
+
+       * images/math/: renames for stupid OSes
+ 
 2002-11-15  Jean-Marc Lasgouttes  <Jean-Marc.Lasgouttes@inria.fr>
 
        * lib/ru_splash.lyx: update from Vitaly Lipatov

diff --git a/lib/images/math/(.xpm b/lib/images/math/(.xpm
deleted file mode 100644 (file)
index 5d581e1..0000000
--- a/lib/images/math/(.xpm
+++ /dev/null
@@ -1,32 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"5 23 3 1",
-"  c black",
-". c black",
-"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."
-};

diff --git a/lib/images/math/).xpm b/lib/images/math/).xpm
deleted file mode 100644 (file)
index b9717bf..0000000
--- a/lib/images/math/).xpm
+++ /dev/null
@@ -1,32 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"5 23 3 1",
-"  c black",
-". c black",
-"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"
-};

diff --git a/lib/images/math/Bumpeq.xpm b/lib/images/math/Bumpeq.xpm
deleted file mode 100644 (file)
index d5a5be0..0000000
--- a/lib/images/math/Bumpeq.xpm
+++ /dev/null
@@ -1,21 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"21 12 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXXX.....XXXXXXXX",
-"XXXXXXX..XXX..XXXXXXX",
-"XXXXXX..XXXXX..XXXXXX",
-".......XXXXXXX.......",
-"XXXXXXXXXXXXXXXXXXXXX",
-"XXXXXXXXXXXXXXXXXXXXX",
-"XXXXXXXXXXXXXXXXXXXXX",
-".......XXXXXXX.......",
-"XXXXXX..XXXXX..XXXXXX",
-"XXXXXX...XXX...XXXXXX",
-"XXXXXXX..XXX..XXXXXXX",
-"XXXXXXXX.....XXXXXXXX"
-};

diff --git a/lib/images/math/Cap.xpm b/lib/images/math/Cap.xpm
deleted file mode 100644 (file)
index 4e25ccc..0000000
--- a/lib/images/math/Cap.xpm
+++ /dev/null
@@ -1,26 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"16 17 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXX........XXXX",
-"XXX.XXXXXXXX.XXX",
-"XX.XXXXXXXXXX.XX",
-"X.XXXXXXXXXXXX.X",
-".XXXXX...XXXXXX.",
-".XXXX.XXX.XXXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX."
-};

diff --git a/lib/images/math/Cup.xpm b/lib/images/math/Cup.xpm
deleted file mode 100644 (file)
index 72b37b5..0000000
--- a/lib/images/math/Cup.xpm
+++ /dev/null
@@ -1,27 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"16 18 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXX.XXXXX.XXXX.",
-".XXXX.....XXXXX.",
-".XXXXXXXXXXXXX.X",
-"X.XXXXXXXXXXX.XX",
-"XX.XXXXXXXXX.XXX",
-"XXX.........XXXX"
-};

diff --git a/lib/images/math/Delta.xpm b/lib/images/math/Delta.xpm
deleted file mode 100644 (file)
index 7b77e99..0000000
--- a/lib/images/math/Delta.xpm
+++ /dev/null
@@ -1,26 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"17 17 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXXX.XXXXXXXX",
-"XXXXXXX...XXXXXXX",
-"XXXXXXX...XXXXXXX",
-"XXXXXX.X...XXXXXX",
-"XXXXXX.XX..XXXXXX",
-"XXXXX.XXX...XXXXX",
-"XXXXX.XXXX..XXXXX",
-"XXXX.XXXXX...XXXX",
-"XXXX.XXXXXX..XXXX",
-"XXX.XXXXXXX...XXX",
-"XXX.XXXXXXXX..XXX",
-"XX.XXXXXXXXX..XXX",
-"XX.XXXXXXXXXX..XX",
-"X.XXXXXXXXXXX..XX",
-"X.XXXXXXXXXXXX..X",
-"X...............X",
-"................."
-};

diff --git a/lib/images/math/Downarrow.xpm b/lib/images/math/Downarrow.xpm
deleted file mode 100644 (file)
index 056a0b7..0000000
--- a/lib/images/math/Downarrow.xpm
+++ /dev/null
@@ -1,31 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"13 22 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-".XXX.XXXX.XX.",
-"X..X.XXXX.X.X",
-"XXX..XXXX..XX",
-"XXXX.XXXX.XXX",
-"XXXXX.XX.XXXX",
-"XXXXX.X.XXXXX",
-"XXXXXX..XXXXX",
-"XXXXXX..XXXXX",
-"XXXXXX.XXXXXX"
-};

diff --git a/lib/images/math/Gamma.xpm b/lib/images/math/Gamma.xpm
deleted file mode 100644 (file)
index 18c5587..0000000
--- a/lib/images/math/Gamma.xpm
+++ /dev/null
@@ -1,25 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"13 16 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"............X",
-"XX..XXXXXXX..",
-"XX..XXXXXXXX.",
-"XX..XXXXXXXX.",
-"XX..XXXXXXXX.",
-"XX..XXXXXXXXX",
-"XX..XXXXXXXXX",
-"XX..XXXXXXXXX",
-"XX..XXXXXXXXX",
-"XX..XXXXXXXXX",
-"XX..XXXXXXXXX",
-"XX..XXXXXXXXX",
-"XX..XXXXXXXXX",
-"XX..XXXXXXXXX",
-"XX..XXXXXXXXX",
-".......XXXXXX"
-};

diff --git a/lib/images/math/Lambda.xpm b/lib/images/math/Lambda.xpm
deleted file mode 100644 (file)
index 69db224..0000000
--- a/lib/images/math/Lambda.xpm
+++ /dev/null
@@ -1,26 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"15 17 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXX.XXXXXXX",
-"XXXXXXX.XXXXXXX",
-"XXXXXX...XXXXXX",
-"XXXXXX...XXXXXX",
-"XXXXX.X..XXXXXX",
-"XXXXX.XX..XXXXX",
-"XXXXX.XX..XXXXX",
-"XXXX.XXX..XXXXX",
-"XXXX.XXXX..XXXX",
-"XXXX.XXXX..XXXX",
-"XXX.XXXXX..XXXX",
-"XXX.XXXXXX..XXX",
-"XXX.XXXXXX..XXX",
-"XX.XXXXXXX..XXX",
-"XX.XXXXXXXX..XX",
-"XX.XXXXXXXX..XX",
-".....XXXX......"
-};

diff --git a/lib/images/math/Leftarrow.xpm b/lib/images/math/Leftarrow.xpm
deleted file mode 100644 (file)
index cd7d712..0000000
--- a/lib/images/math/Leftarrow.xpm
+++ /dev/null
@@ -1,22 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"21 13 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXX..XXXXXXXXXXXX",
-"XXXXXXX.XXXXXXXXXXXXX",
-"XXXXXX.XXXXXXXXXXXXXX",
-"XXXXX..XXXXXXXXXXXXXX",
-"XXXX.................",
-"XXX..XXXXXXXXXXXXXXXX",
-"X..XXXXXXXXXXXXXXXXXX",
-"...XXXXXXXXXXXXXXXXXX",
-"XXX..XXXXXXXXXXXXXXXX",
-"XXXXX................",
-"XXXXXX.XXXXXXXXXXXXXX",
-"XXXXXXX.XXXXXXXXXXXXX",
-"XXXXXXX..XXXXXXXXXXXX"
-};

diff --git a/lib/images/math/Leftrightarrow.xpm b/lib/images/math/Leftrightarrow.xpm
deleted file mode 100644 (file)
index b6ca6c1..0000000
--- a/lib/images/math/Leftrightarrow.xpm
+++ /dev/null
@@ -1,22 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"22 13 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXX.XXXXXXXX.XXXXXX",
-"XXXXXX.XXXXXXXX.XXXXXX",
-"XXXXX.XXXXXXXXXX.XXXXX",
-"XXXX..XXXXXXXXXX..XXXX",
-"XXXX...............XXX",
-"XX..XXXXXXXXXXXXXX..XX",
-"X..XXXXXXXXXXXXXXXX..X",
-"...XXXXXXXXXXXXXXXX...",
-"XXX.XXXXXXXXXXXXXX..XX",
-"XXXX..............XXXX",
-"XXXXX.XXXXXXXXXX.XXXXX",
-"XXXXXX.XXXXXXXX..XXXXX",
-"XXXXXX.XXXXXXXX.XXXXXX"
-};

diff --git a/lib/images/math/Longleftarrow.xpm b/lib/images/math/Longleftarrow.xpm
deleted file mode 100644 (file)
index 1d80db4..0000000
--- a/lib/images/math/Longleftarrow.xpm
+++ /dev/null
@@ -1,21 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"32 12 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXX.XXXXXXXXXXXXXXXXXXXXXXXX",
-"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX",
-"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX",
-"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXXX",
-"XXXX............................",
-"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
-"..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
-"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
-"XXXX............................",
-"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXXX",
-"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX",
-"XXXXXXX.XXXXXXXXXXXXXXXXXXXXXXXX"
-};

diff --git a/lib/images/math/Longleftrightarrow.xpm b/lib/images/math/Longleftrightarrow.xpm
deleted file mode 100644 (file)
index 8aed00b..0000000
--- a/lib/images/math/Longleftrightarrow.xpm
+++ /dev/null
@@ -1,21 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"37 12 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXX.XXXXXXXXXXXXXXXXXXXXX.XXXXXXX",
-"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
-"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
-"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
-"XXXX.............................XXXX",
-"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
-"..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..",
-"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
-"XXXX.............................XXXX",
-"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
-"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
-"XXXXXXX.XXXXXXXXXXXXXXXXXXXXX.XXXXXXX"
-};

diff --git a/lib/images/math/Longrightarrow.xpm b/lib/images/math/Longrightarrow.xpm
deleted file mode 100644 (file)
index b2cfb43..0000000
--- a/lib/images/math/Longrightarrow.xpm
+++ /dev/null
@@ -1,21 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"32 12 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXXXXXXXXXXXXXXXXXXX.XXXXXXX",
-"XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
-"XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
-"XXXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
-"............................XXXX",
-"XXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
-"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..",
-"XXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
-"............................XXXX",
-"XXXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
-"XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
-"XXXXXXXXXXXXXXXXXXXXXXXX.XXXXXXX"
-};

diff --git a/lib/images/math/Omega.xpm b/lib/images/math/Omega.xpm
deleted file mode 100644 (file)
index d4837ca..0000000
--- a/lib/images/math/Omega.xpm
+++ /dev/null
@@ -1,25 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"15 16 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXX.......XXXX",
-"XXX..XXXXX..XXX",
-"X...XXXXXXX..XX",
-"X..XXXXXXXXX..X",
-"...XXXXXXXXX...",
-"...XXXXXXXXX...",
-"...XXXXXXXXX...",
-"X..XXXXXXXXX..X",
-"X..XXXXXXXXX..X",
-"XX.XXXXXXXX..XX",
-"XXX.XXXXXXX.XXX",
-"XXX.XXXXXXX.XXX",
-".XXX.XXXXX.XXX.",
-".XXX.XXXXX.XXX.",
-".....XXXXX....X",
-"X....XXXXX....X"
-};

diff --git a/lib/images/math/Phi.xpm b/lib/images/math/Phi.xpm
deleted file mode 100644 (file)
index 59952b6..0000000
--- a/lib/images/math/Phi.xpm
+++ /dev/null
@@ -1,25 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"15 16 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXX.........XXX",
-"XXXXXX..XXXXXXX",
-"XXXXXX..XXXXXXX",
-"XXXX......XXXXX",
-"XX..XX..XX...XX",
-"X..XXX..XXXX..X",
-"..XXXX..XXXXX..",
-"..XXXX..XXXXX..",
-"..XXXX..XXXXX..",
-"..XXXX..XXXXX..",
-"X..XXX..XXXX..X",
-"XX..XX..XXX..XX",
-"XXXX.......XXXX",
-"XXXXXX..XXXXXXX",
-"XXXXXX..XXXXXXX",
-"XXX.........XXX"
-};

diff --git a/lib/images/math/Pi.xpm b/lib/images/math/Pi.xpm
deleted file mode 100644 (file)
index 182c597..0000000
--- a/lib/images/math/Pi.xpm
+++ /dev/null
@@ -1,25 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"15 16 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"...............",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"XX..XXXXXXX..XX",
-"......XXX......"
-};

diff --git a/lib/images/math/Psi.xpm b/lib/images/math/Psi.xpm
deleted file mode 100644 (file)
index 0172f92..0000000
--- a/lib/images/math/Psi.xpm
+++ /dev/null
@@ -1,25 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"16 16 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXX........XXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"...XXXX..XXXX...",
-"X..XXXX..XXXX..X",
-"XX..XXX..XXX..XX",
-"XX..XXX..XXX..XX",
-"XX..XXX..XXX..XX",
-"XX..XXX..XXX..XX",
-"XX..XXX..XXX..XX",
-"XXX..XX..XX..XXX",
-"XXXX..X..X..XXXX",
-"XXXXX......XXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXX........XXXX"
-};

diff --git a/lib/images/math/Rightarrow.xpm b/lib/images/math/Rightarrow.xpm
deleted file mode 100644 (file)
index 822aff5..0000000
--- a/lib/images/math/Rightarrow.xpm
+++ /dev/null
@@ -1,22 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"21 13 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXXXXXXX..XXXXXXX",
-"XXXXXXXXXXXXX.XXXXXXX",
-"XXXXXXXXXXXXXX.XXXXXX",
-"XXXXXXXXXXXXXX..XXXXX",
-".................XXXX",
-"XXXXXXXXXXXXXXXX..XXX",
-"XXXXXXXXXXXXXXXXXX..X",
-"XXXXXXXXXXXXXXXXXX...",
-"XXXXXXXXXXXXXXXX..XXX",
-".................XXXX",
-"XXXXXXXXXXXXXX.XXXXXX",
-"XXXXXXXXXXXXX.XXXXXXX",
-"XXXXXXXXXXXX..XXXXXXX"
-};

diff --git a/lib/images/math/Sigma.xpm b/lib/images/math/Sigma.xpm
deleted file mode 100644 (file)
index 73390bf..0000000
--- a/lib/images/math/Sigma.xpm
+++ /dev/null
@@ -1,25 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"14 16 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-".............X",
-"X..XXXXXXXX...",
-"X...XXXXXXXXX.",
-"XX..XXXXXXXXX.",
-"XXX..XXXXXXXX.",
-"XXX...XXXXXXXX",
-"XXXX..XXXXXXXX",
-"XXXXX..XXXXXXX",
-"XXXXX..XXXXXXX",
-"XXXXX.XXXXXXXX",
-"XXXX.XXXXXXXXX",
-"XXXX.XXXXXXXX.",
-"XXX.XXXXXXXXX.",
-"XX.XXXXXXXXXX.",
-"X.XXXXXXXXX...",
-".............X"
-};

diff --git a/lib/images/math/Subset.xpm b/lib/images/math/Subset.xpm
deleted file mode 100644 (file)
index 2338f6a..0000000
--- a/lib/images/math/Subset.xpm
+++ /dev/null
@@ -1,26 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"17 17 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXX............",
-"XXXX.XXXXXXXXXXXX",
-"XXX.XXXXXXXXXXXXX",
-"XX.XXXXXXXXXXXXXX",
-"X.XXXXXXXXXXXXXXX",
-".XXXXX...........",
-".XXXX.XXXXXXXXXXX",
-".XXX.XXXXXXXXXXXX",
-".XXX.XXXXXXXXXXXX",
-".XXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXX",
-".XXXXX.XXXXXXXXXX",
-"X.XXXXX..........",
-"XX.XXXXXXXXXXXXXX",
-"XXX.XXXXXXXXXXXXX",
-"XXXX.XXXXXXXXXXXX",
-"XXXXX............"
-};

diff --git a/lib/images/math/Supset.xpm b/lib/images/math/Supset.xpm
deleted file mode 100644 (file)
index 4df6a2d..0000000
--- a/lib/images/math/Supset.xpm
+++ /dev/null
@@ -1,26 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"18 17 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-".............XXXXX",
-"XXXXXXXXXXXXX.XXXX",
-"XXXXXXXXXXXXXX.XXX",
-"XXXXXXXXXXXXXXX.XX",
-"XXXXXXXXXXXXXXXX.X",
-"X...........XXXXX.",
-"XXXXXXXXXXXX.XXXX.",
-"XXXXXXXXXXXXX.XXX.",
-"XXXXXXXXXXXXX.XXX.",
-"XXXXXXXXXXXXX.XXX.",
-"XXXXXXXXXXXX.XXXX.",
-"XXXXXXXXXXX.XXXXX.",
-"...........XXXXX.X",
-"XXXXXXXXXXXXXXX.XX",
-"XXXXXXXXXXXXXX.XXX",
-"XXXXXXXXXXXXX.XXXX",
-".............XXXXX"
-};

diff --git a/lib/images/math/Theta.xpm b/lib/images/math/Theta.xpm
deleted file mode 100644 (file)
index 42b4a1f..0000000
--- a/lib/images/math/Theta.xpm
+++ /dev/null
@@ -1,25 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"16 16 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXX......XXXXX",
-"XXXX.XXXXXX..XXX",
-"XX..XXXXXXXXX.XX",
-"XX.XXXXXXXXXX..X",
-"X..XXXXXXXXXXX.X",
-"X..XXXXXXXXXXX..",
-"....XXXXXXXX.X..",
-"..XX.........X..",
-"..XX.........X..",
-"....XXXXXXXX.X..",
-"X..XXXXXXXXXXX..",
-"X..XXXXXXXXXX..X",
-"X...XXXXXXXXX..X",
-"XX..XXXXXXXX..XX",
-"XXX...XXXX...XXX",
-"XXXXX......XXXXX"
-};

diff --git a/lib/images/math/Uparrow.xpm b/lib/images/math/Uparrow.xpm
deleted file mode 100644 (file)
index d68cf73..0000000
--- a/lib/images/math/Uparrow.xpm
+++ /dev/null
@@ -1,31 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"13 22 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXX.XXXXXX",
-"XXXXXX..XXXXX",
-"XXXXXX..XXXXX",
-"XXXXX.XX.XXXX",
-"XXXX.XXX.XXXX",
-"XXX..XXXX.XXX",
-"XX...XXXX..XX",
-"X.XX.XXXX.X..",
-".XXX.XXXX.XX.",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX"
-};

diff --git a/lib/images/math/Updownarrow.xpm b/lib/images/math/Updownarrow.xpm
deleted file mode 100644 (file)
index 9aa8251..0000000
--- a/lib/images/math/Updownarrow.xpm
+++ /dev/null
@@ -1,35 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"13 26 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXX..XXXXX",
-"XXXXXX..XXXXX",
-"XXXXX....XXXX",
-"XXXX..XX.XXXX",
-"XXX..XXXX.XXX",
-"XX...XXXX...X",
-"..XX.XXXX.X..",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-"XXXX.XXXX.XXX",
-".XXX.XXXX.XX.",
-"X..X.XXXX.X.X",
-"XXX..XXXX..XX",
-"XXXX.XXXX.XXX",
-"XXXXX.XX.XXXX",
-"XXXXXX..XXXXX",
-"XXXXXX..XXXXX",
-"XXXXXX.XXXXXX"
-};

diff --git a/lib/images/math/Upsilon.xpm b/lib/images/math/Upsilon.xpm
deleted file mode 100644 (file)
index ca8f17c..0000000
--- a/lib/images/math/Upsilon.xpm
+++ /dev/null
@@ -1,25 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"16 16 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XX...XXXXXX...XX",
-"X.....XXXX.....X",
-"..XXX..XX..XXX.X",
-".XXXXX.XX.XXXXX.",
-"XXXXXX....XXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXXXXX..XXXXXXX",
-"XXXX........XXXX"
-};

diff --git a/lib/images/math/Vdash.xpm b/lib/images/math/Vdash.xpm
deleted file mode 100644 (file)
index d63bef7..0000000
--- a/lib/images/math/Vdash.xpm
+++ /dev/null
@@ -1,29 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"18 20 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.............",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX",
-".XXXX.XXXXXXXXXXXX"
-};

diff --git a/lib/images/math/Xi.xpm b/lib/images/math/Xi.xpm
deleted file mode 100644 (file)
index ab9752b..0000000
--- a/lib/images/math/Xi.xpm
+++ /dev/null
@@ -1,25 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"14 16 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"..............",
-"..............",
-".XXXXXXXXXXXX.",
-".XXXXXXXXXXXX.",
-"XXXXXXXXXXXXXX",
-"XXXXXXXXXXXXXX",
-"XX.XXXXXXXX.XX",
-"XX..........XX",
-"XX..........XX",
-"XX.XXXXXXXX.XX",
-"XXXXXXXXXXXXXX",
-"XXXXXXXXXXXXXX",
-".XXXXXXXXXXXX.",
-".XXXXXXXXXXXX.",
-"..............",
-".............."
-};

diff --git a/lib/images/math/[.xpm b/lib/images/math/[.xpm
deleted file mode 100644 (file)
index 84f5c66..0000000
--- a/lib/images/math/[.xpm
+++ /dev/null
@@ -1,31 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"3 22 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"...",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-".XX",
-"..."
-};

diff --git a/lib/images/math/].xpm b/lib/images/math/].xpm
deleted file mode 100644 (file)
index 5bbfe4c..0000000
--- a/lib/images/math/].xpm
+++ /dev/null
@@ -1,31 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"3 22 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"...",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"XX.",
-"..."
-};

diff --git a/lib/images/math/bars.xpm b/lib/images/math/bars.xpm
new file mode 100644 (file)
index 0000000..fd51ba9
--- /dev/null
+++ b/lib/images/math/bars.xpm
@@ -0,0 +1,32 @@
+/* XPM */
+static char * bar_xpm[] = {
+"16 27 2 1",
+"      c None",
+".     c black",
+"++++++++++++++++",
+"++++++++++++++++",
+"++++++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"+++.++++++++++++",
+"++++++++++++++++"};

diff --git a/lib/images/math/bumpeq2.xpm b/lib/images/math/bumpeq2.xpm
new file mode 100644 (file)
index 0000000..d5a5be0
--- /dev/null
+++ b/lib/images/math/bumpeq2.xpm
@@ -0,0 +1,21 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"21 12 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXXX.....XXXXXXXX",
+"XXXXXXX..XXX..XXXXXXX",
+"XXXXXX..XXXXX..XXXXXX",
+".......XXXXXXX.......",
+"XXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXX",
+".......XXXXXXX.......",
+"XXXXXX..XXXXX..XXXXXX",
+"XXXXXX...XXX...XXXXXX",
+"XXXXXXX..XXX..XXXXXXX",
+"XXXXXXXX.....XXXXXXXX"
+};

diff --git a/lib/images/math/cap2.xpm b/lib/images/math/cap2.xpm
new file mode 100644 (file)
index 0000000..4e25ccc
--- /dev/null
+++ b/lib/images/math/cap2.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 17 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXX........XXXX",
+"XXX.XXXXXXXX.XXX",
+"XX.XXXXXXXXXX.XX",
+"X.XXXXXXXXXXXX.X",
+".XXXXX...XXXXXX.",
+".XXXX.XXX.XXXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX."
+};

diff --git a/lib/images/math/cup2.xpm b/lib/images/math/cup2.xpm
new file mode 100644 (file)
index 0000000..72b37b5
--- /dev/null
+++ b/lib/images/math/cup2.xpm
@@ -0,0 +1,27 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 18 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXX.XXXXX.XXXX.",
+".XXXX.....XXXXX.",
+".XXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXX.XX",
+"XX.XXXXXXXXX.XXX",
+"XXX.........XXXX"
+};

diff --git a/lib/images/math/delta2.xpm b/lib/images/math/delta2.xpm
new file mode 100644 (file)
index 0000000..7b77e99
--- /dev/null
+++ b/lib/images/math/delta2.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"17 17 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXXX.XXXXXXXX",
+"XXXXXXX...XXXXXXX",
+"XXXXXXX...XXXXXXX",
+"XXXXXX.X...XXXXXX",
+"XXXXXX.XX..XXXXXX",
+"XXXXX.XXX...XXXXX",
+"XXXXX.XXXX..XXXXX",
+"XXXX.XXXXX...XXXX",
+"XXXX.XXXXXX..XXXX",
+"XXX.XXXXXXX...XXX",
+"XXX.XXXXXXXX..XXX",
+"XX.XXXXXXXXX..XXX",
+"XX.XXXXXXXXXX..XX",
+"X.XXXXXXXXXXX..XX",
+"X.XXXXXXXXXXXX..X",
+"X...............X",
+"................."
+};

diff --git a/lib/images/math/downarrow2.xpm b/lib/images/math/downarrow2.xpm
new file mode 100644 (file)
index 0000000..056a0b7
--- /dev/null
+++ b/lib/images/math/downarrow2.xpm
@@ -0,0 +1,31 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 22 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+".XXX.XXXX.XX.",
+"X..X.XXXX.X.X",
+"XXX..XXXX..XX",
+"XXXX.XXXX.XXX",
+"XXXXX.XX.XXXX",
+"XXXXX.X.XXXXX",
+"XXXXXX..XXXXX",
+"XXXXXX..XXXXX",
+"XXXXXX.XXXXXX"
+};

diff --git a/lib/images/math/gamma2.xpm b/lib/images/math/gamma2.xpm
new file mode 100644 (file)
index 0000000..18c5587
--- /dev/null
+++ b/lib/images/math/gamma2.xpm
@@ -0,0 +1,25 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 16 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"............X",
+"XX..XXXXXXX..",
+"XX..XXXXXXXX.",
+"XX..XXXXXXXX.",
+"XX..XXXXXXXX.",
+"XX..XXXXXXXXX",
+"XX..XXXXXXXXX",
+"XX..XXXXXXXXX",
+"XX..XXXXXXXXX",
+"XX..XXXXXXXXX",
+"XX..XXXXXXXXX",
+"XX..XXXXXXXXX",
+"XX..XXXXXXXXX",
+"XX..XXXXXXXXX",
+"XX..XXXXXXXXX",
+".......XXXXXX"
+};

diff --git a/lib/images/math/lambda2.xpm b/lib/images/math/lambda2.xpm
new file mode 100644 (file)
index 0000000..69db224
--- /dev/null
+++ b/lib/images/math/lambda2.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 17 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXX.XXXXXXX",
+"XXXXXXX.XXXXXXX",
+"XXXXXX...XXXXXX",
+"XXXXXX...XXXXXX",
+"XXXXX.X..XXXXXX",
+"XXXXX.XX..XXXXX",
+"XXXXX.XX..XXXXX",
+"XXXX.XXX..XXXXX",
+"XXXX.XXXX..XXXX",
+"XXXX.XXXX..XXXX",
+"XXX.XXXXX..XXXX",
+"XXX.XXXXXX..XXX",
+"XXX.XXXXXX..XXX",
+"XX.XXXXXXX..XXX",
+"XX.XXXXXXXX..XX",
+"XX.XXXXXXXX..XX",
+".....XXXX......"
+};

diff --git a/lib/images/math/lbrace.xpm b/lib/images/math/lbrace.xpm
new file mode 100644 (file)
index 0000000..f712714
--- /dev/null
+++ b/lib/images/math/lbrace.xpm
@@ -0,0 +1,32 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"7 23 3 1",
+"  c black",
+". c black",
+"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.."
+};

diff --git a/lib/images/math/lbracket.xpm b/lib/images/math/lbracket.xpm
new file mode 100644 (file)
index 0000000..84f5c66
--- /dev/null
+++ b/lib/images/math/lbracket.xpm
@@ -0,0 +1,31 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"3 22 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"...",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+".XX",
+"..."
+};

diff --git a/lib/images/math/leftarrow2.xpm b/lib/images/math/leftarrow2.xpm
new file mode 100644 (file)
index 0000000..cd7d712
--- /dev/null
+++ b/lib/images/math/leftarrow2.xpm
@@ -0,0 +1,22 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"21 13 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXX..XXXXXXXXXXXX",
+"XXXXXXX.XXXXXXXXXXXXX",
+"XXXXXX.XXXXXXXXXXXXXX",
+"XXXXX..XXXXXXXXXXXXXX",
+"XXXX.................",
+"XXX..XXXXXXXXXXXXXXXX",
+"X..XXXXXXXXXXXXXXXXXX",
+"...XXXXXXXXXXXXXXXXXX",
+"XXX..XXXXXXXXXXXXXXXX",
+"XXXXX................",
+"XXXXXX.XXXXXXXXXXXXXX",
+"XXXXXXX.XXXXXXXXXXXXX",
+"XXXXXXX..XXXXXXXXXXXX"
+};

diff --git a/lib/images/math/leftrightarrow2.xpm b/lib/images/math/leftrightarrow2.xpm
new file mode 100644 (file)
index 0000000..b6ca6c1
--- /dev/null
+++ b/lib/images/math/leftrightarrow2.xpm
@@ -0,0 +1,22 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"22 13 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXX.XXXXXXXX.XXXXXX",
+"XXXXXX.XXXXXXXX.XXXXXX",
+"XXXXX.XXXXXXXXXX.XXXXX",
+"XXXX..XXXXXXXXXX..XXXX",
+"XXXX...............XXX",
+"XX..XXXXXXXXXXXXXX..XX",
+"X..XXXXXXXXXXXXXXXX..X",
+"...XXXXXXXXXXXXXXXX...",
+"XXX.XXXXXXXXXXXXXX..XX",
+"XXXX..............XXXX",
+"XXXXX.XXXXXXXXXX.XXXXX",
+"XXXXXX.XXXXXXXX..XXXXX",
+"XXXXXX.XXXXXXXX.XXXXXX"
+};

diff --git a/lib/images/math/longleftarrow2.xpm b/lib/images/math/longleftarrow2.xpm
new file mode 100644 (file)
index 0000000..1d80db4
--- /dev/null
+++ b/lib/images/math/longleftarrow2.xpm
@@ -0,0 +1,21 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"32 12 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXX.XXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXX............................",
+"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXX............................",
+"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXX.XXXXXXXXXXXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/longleftrightarrow2.xpm b/lib/images/math/longleftrightarrow2.xpm
new file mode 100644 (file)
index 0000000..8aed00b
--- /dev/null
+++ b/lib/images/math/longleftrightarrow2.xpm
@@ -0,0 +1,21 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"37 12 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXX.XXXXXXXXXXXXXXXXXXXXX.XXXXXXX",
+"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
+"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
+"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
+"XXXX.............................XXXX",
+"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
+"..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..",
+"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
+"XXXX.............................XXXX",
+"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
+"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
+"XXXXXXX.XXXXXXXXXXXXXXXXXXXXX.XXXXXXX"
+};

diff --git a/lib/images/math/longrightarrow2.xpm b/lib/images/math/longrightarrow2.xpm
new file mode 100644 (file)
index 0000000..b2cfb43
--- /dev/null
+++ b/lib/images/math/longrightarrow2.xpm
@@ -0,0 +1,21 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"32 12 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXXXXXXXX.XXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
+"............................XXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
+"............................XXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXX.XXXXXXX"
+};

diff --git a/lib/images/math/lparen.xpm b/lib/images/math/lparen.xpm
new file mode 100644 (file)
index 0000000..5d581e1
--- /dev/null
+++ b/lib/images/math/lparen.xpm
@@ -0,0 +1,32 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"5 23 3 1",
+"  c black",
+". c black",
+"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."
+};

diff --git a/lib/images/math/nLeftarrow.xpm b/lib/images/math/nLeftarrow.xpm
deleted file mode 100644 (file)
index bbcd124..0000000
--- a/lib/images/math/nLeftarrow.xpm
+++ /dev/null
@@ -1,26 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"27 17 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXXXXX.XXXXXXXX.XXXXXXX",
-"XXXXXXXXXX.XXXXXXXX.XXXXXXX",
-"XXXXXXXXXX.XXXXXXX.XXXXXXXX",
-"XXXXXXXXX.XXXXXXXX.XXXXXXXX",
-"XXXXXXXX.XXXXXXXXX.XXXXXXXX",
-"XXXXXXX...................X",
-"XXXXX..XXXXXXXXXX.XXXXXXXXX",
-"XXX..XXXXXXXXXXX.XXXXXXXXXX",
-".....XXXXXXXXXXX.XXXXXXXXXX",
-"XXX..XXXXXXXXXXX.XXXXXXXXXX",
-"XXXXX..XXXXXXXX.XXXXXXXXXXX",
-"XXXXXX.....................",
-"XXXXXXXX.XXXXXX.XXXXXXXXXXX",
-"XXXXXXXXX.XXXX.XXXXXXXXXXXX",
-"XXXXXXXXXX.XXX.XXXXXXXXXXXX",
-"XXXXXXXXXX.XX.XXXXXXXXXXXXX",
-"XXXXXXXXXX.XX.XXXXXXXXXXXXX"
-};

diff --git a/lib/images/math/nLeftrightarrow.xpm b/lib/images/math/nLeftrightarrow.xpm
deleted file mode 100644 (file)
index 2c71b80..0000000
--- a/lib/images/math/nLeftrightarrow.xpm
+++ /dev/null
@@ -1,26 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"27 17 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXXXXXXXXXXX.XXXXXXXXXX",
-"XXXXXXXX.XXXXXXX.X.XXXXXXXX",
-"XXXXXXX.XXXXXXXX.XX.XXXXXXX",
-"XXXXXX.XXXXXXXX.XXXX.XXXXXX",
-"XXXXX.XXXXXXXXX.XXXXX.XXXXX",
-"XXXX...................XXXX",
-"XXX.XXXXXXXXXX.XXXXXXXX.XXX",
-"XX.XXXXXXXXXXX.XXXXXXXXX.XX",
-"...XXXXXXXXXX.XXXXXXXXXXX..",
-"XX.XXXXXXXXXX.XXXXXXXXXX.XX",
-"XXX.XXXXXXXXX.XXXXXXXXX.XXX",
-"XXXX...................XXXX",
-"XXXXX.XXXXXX.XXXXXXXX.XXXXX",
-"XXXXXX.XXXXX.XXXXXXX.XXXXXX",
-"XXXXXXX.XXX.XXXXXXX.XXXXXXX",
-"XXXXXXXX.XX.XXXXXX.XXXXXXXX",
-"XXXXXXXXXXX.XXXXXXXXXXXXXXX"
-};

diff --git a/lib/images/math/nRightarrow.xpm b/lib/images/math/nRightarrow.xpm
deleted file mode 100644 (file)
index b92f5e0..0000000
--- a/lib/images/math/nRightarrow.xpm
+++ /dev/null
@@ -1,26 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"27 17 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXXXXXXXXXXXXXX.XXXXXXXXXX",
-"XXXXXXXXXXXX.XXX.XXXXXXXXXX",
-"XXXXXXXXXXXX.XXX.XXXXXXXXXX",
-"XXXXXXXXXXX.XXXXX.XXXXXXXXX",
-"XXXXXXXXXXX.XXXXXX.XXXXXXXX",
-"....................XXXXXXX",
-"XXXXXXXXXX.XXXXXXXXX..XXXXX",
-"XXXXXXXXXX.XXXXXXXXXXX..XXX",
-"XXXXXXXXX.XXXXXXXXXXXX.....",
-"XXXXXXXXX.XXXXXXXXXXXX..XXX",
-"XXXXXXXXX.XXXXXXXXXX..XXXXX",
-"....................XXXXXXX",
-"XXXXXXXX.XXXXXXXXX.XXXXXXXX",
-"XXXXXXXX.XXXXXXXX.XXXXXXXXX",
-"XXXXXXX.XXXXXXXX.XXXXXXXXXX",
-"XXXXXXX.XXXXXXXX.XXXXXXXXXX",
-"XXXXXXXXXXXXXXXX.XXXXXXXXXX"
-};

diff --git a/lib/images/math/nVDash.xpm b/lib/images/math/nVDash.xpm
deleted file mode 100644 (file)
index 18dca58..0000000
--- a/lib/images/math/nVDash.xpm
+++ /dev/null
@@ -1,29 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"20 20 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXX.XXXX.XXXXXXXXXX.",
-"XXX.XXXX.XXXXXXXXX.X",
-"XXX.XXXX.XXXXXXXX.XX",
-"XXX.XXXX.XXXXXXX.XXX",
-"XXX.XXXX.XXXXXX.XXXX",
-"XXX.XXXX.XXXXX.XXXXX",
-"XXX.XXXX............",
-"XXX.XXXX.XXX.XXXXXXX",
-"XXX.XXXX.XX.XXXXXXXX",
-"XXX.XXXX.X.XXXXXXXXX",
-"XXX.XXXX..XXXXXXXXXX",
-"XXX.XXXX.XXXXXXXXXXX",
-"XXX.XXX.............",
-"XXX.XX.X.XXXXXXXXXXX",
-"XXX.X.XX.XXXXXXXXXXX",
-"XXX..XXX.XXXXXXXXXXX",
-"XXX.XXXX.XXXXXXXXXXX",
-"XX..XXXX.XXXXXXXXXXX",
-"X.X.XXXX.XXXXXXXXXXX",
-".XX.XXXX.XXXXXXXXXXX"
-};

diff --git a/lib/images/math/nleftarrow2.xpm b/lib/images/math/nleftarrow2.xpm
new file mode 100644 (file)
index 0000000..bbcd124
--- /dev/null
+++ b/lib/images/math/nleftarrow2.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 17 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXXXXX.XXXXXXXX.XXXXXXX",
+"XXXXXXXXXX.XXXXXXXX.XXXXXXX",
+"XXXXXXXXXX.XXXXXXX.XXXXXXXX",
+"XXXXXXXXX.XXXXXXXX.XXXXXXXX",
+"XXXXXXXX.XXXXXXXXX.XXXXXXXX",
+"XXXXXXX...................X",
+"XXXXX..XXXXXXXXXX.XXXXXXXXX",
+"XXX..XXXXXXXXXXX.XXXXXXXXXX",
+".....XXXXXXXXXXX.XXXXXXXXXX",
+"XXX..XXXXXXXXXXX.XXXXXXXXXX",
+"XXXXX..XXXXXXXX.XXXXXXXXXXX",
+"XXXXXX.....................",
+"XXXXXXXX.XXXXXX.XXXXXXXXXXX",
+"XXXXXXXXX.XXXX.XXXXXXXXXXXX",
+"XXXXXXXXXX.XXX.XXXXXXXXXXXX",
+"XXXXXXXXXX.XX.XXXXXXXXXXXXX",
+"XXXXXXXXXX.XX.XXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/nleftrightarrow2.xpm b/lib/images/math/nleftrightarrow2.xpm
new file mode 100644 (file)
index 0000000..2c71b80
--- /dev/null
+++ b/lib/images/math/nleftrightarrow2.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 17 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXX.XXXXXXXXXX",
+"XXXXXXXX.XXXXXXX.X.XXXXXXXX",
+"XXXXXXX.XXXXXXXX.XX.XXXXXXX",
+"XXXXXX.XXXXXXXX.XXXX.XXXXXX",
+"XXXXX.XXXXXXXXX.XXXXX.XXXXX",
+"XXXX...................XXXX",
+"XXX.XXXXXXXXXX.XXXXXXXX.XXX",
+"XX.XXXXXXXXXXX.XXXXXXXXX.XX",
+"...XXXXXXXXXX.XXXXXXXXXXX..",
+"XX.XXXXXXXXXX.XXXXXXXXXX.XX",
+"XXX.XXXXXXXXX.XXXXXXXXX.XXX",
+"XXXX...................XXXX",
+"XXXXX.XXXXXX.XXXXXXXX.XXXXX",
+"XXXXXX.XXXXX.XXXXXXX.XXXXXX",
+"XXXXXXX.XXX.XXXXXXX.XXXXXXX",
+"XXXXXXXX.XX.XXXXXX.XXXXXXXX",
+"XXXXXXXXXXX.XXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/nrightarrow2.xpm b/lib/images/math/nrightarrow2.xpm
new file mode 100644 (file)
index 0000000..b92f5e0
--- /dev/null
+++ b/lib/images/math/nrightarrow2.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 17 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXX.XXXXXXXXXX",
+"XXXXXXXXXXXX.XXX.XXXXXXXXXX",
+"XXXXXXXXXXXX.XXX.XXXXXXXXXX",
+"XXXXXXXXXXX.XXXXX.XXXXXXXXX",
+"XXXXXXXXXXX.XXXXXX.XXXXXXXX",
+"....................XXXXXXX",
+"XXXXXXXXXX.XXXXXXXXX..XXXXX",
+"XXXXXXXXXX.XXXXXXXXXXX..XXX",
+"XXXXXXXXX.XXXXXXXXXXXX.....",
+"XXXXXXXXX.XXXXXXXXXXXX..XXX",
+"XXXXXXXXX.XXXXXXXXXX..XXXXX",
+"....................XXXXXXX",
+"XXXXXXXX.XXXXXXXXX.XXXXXXXX",
+"XXXXXXXX.XXXXXXXX.XXXXXXXXX",
+"XXXXXXX.XXXXXXXX.XXXXXXXXXX",
+"XXXXXXX.XXXXXXXX.XXXXXXXXXX",
+"XXXXXXXXXXXXXXXX.XXXXXXXXXX"
+};

diff --git a/lib/images/math/nvDash.xpm b/lib/images/math/nvDash.xpm
deleted file mode 100644 (file)
index abf6641..0000000
--- a/lib/images/math/nvDash.xpm
+++ /dev/null
@@ -1,29 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"18 20 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-"XXXX.XXXXXXXXXXXX.",
-"XXXX.XXXXXXXXXXX.X",
-"XXXX.XXXXXXXXXX.XX",
-"XXXX.XXXXXXXXX.XXX",
-"XXXX.XXXXXXXX.XXXX",
-"XXXX.XXXXXXX.XXXXX",
-"XXXX..............",
-"XXXX.XXXXXX.XXXXXX",
-"XXXX.XXXXX.XXXXXXX",
-"XXXX.XXXX.XXXXXXXX",
-"XXXX.XXX.XXXXXXXXX",
-"XXXX.XX.XXXXXXXXXX",
-"XXXX..............",
-"XXXX.X.XXXXXXXXXXX",
-"XXXX..XXXXXXXXXXXX",
-"XXXX.XXXXXXXXXXXXX",
-"XXX..XXXXXXXXXXXXX",
-"XX.X.XXXXXXXXXXXXX",
-"X.XX.XXXXXXXXXXXXX",
-".XXX.XXXXXXXXXXXXX"
-};

diff --git a/lib/images/math/nvdash2.xpm b/lib/images/math/nvdash2.xpm
new file mode 100644 (file)
index 0000000..abf6641
--- /dev/null
+++ b/lib/images/math/nvdash2.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 20 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXX.XXXXXXXXXXXX.",
+"XXXX.XXXXXXXXXXX.X",
+"XXXX.XXXXXXXXXX.XX",
+"XXXX.XXXXXXXXX.XXX",
+"XXXX.XXXXXXXX.XXXX",
+"XXXX.XXXXXXX.XXXXX",
+"XXXX..............",
+"XXXX.XXXXXX.XXXXXX",
+"XXXX.XXXXX.XXXXXXX",
+"XXXX.XXXX.XXXXXXXX",
+"XXXX.XXX.XXXXXXXXX",
+"XXXX.XX.XXXXXXXXXX",
+"XXXX..............",
+"XXXX.X.XXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXX",
+"XXX..XXXXXXXXXXXXX",
+"XX.X.XXXXXXXXXXXXX",
+"X.XX.XXXXXXXXXXXXX",
+".XXX.XXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/nvdash3.xpm b/lib/images/math/nvdash3.xpm
new file mode 100644 (file)
index 0000000..18dca58
--- /dev/null
+++ b/lib/images/math/nvdash3.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"20 20 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXX.XXXX.XXXXXXXXXX.",
+"XXX.XXXX.XXXXXXXXX.X",
+"XXX.XXXX.XXXXXXXX.XX",
+"XXX.XXXX.XXXXXXX.XXX",
+"XXX.XXXX.XXXXXX.XXXX",
+"XXX.XXXX.XXXXX.XXXXX",
+"XXX.XXXX............",
+"XXX.XXXX.XXX.XXXXXXX",
+"XXX.XXXX.XX.XXXXXXXX",
+"XXX.XXXX.X.XXXXXXXXX",
+"XXX.XXXX..XXXXXXXXXX",
+"XXX.XXXX.XXXXXXXXXXX",
+"XXX.XXX.............",
+"XXX.XX.X.XXXXXXXXXXX",
+"XXX.X.XX.XXXXXXXXXXX",
+"XXX..XXX.XXXXXXXXXXX",
+"XXX.XXXX.XXXXXXXXXXX",
+"XX..XXXX.XXXXXXXXXXX",
+"X.X.XXXX.XXXXXXXXXXX",
+".XX.XXXX.XXXXXXXXXXX"
+};

diff --git a/lib/images/math/omega2.xpm b/lib/images/math/omega2.xpm
new file mode 100644 (file)
index 0000000..d4837ca
--- /dev/null
+++ b/lib/images/math/omega2.xpm
@@ -0,0 +1,25 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 16 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXX.......XXXX",
+"XXX..XXXXX..XXX",
+"X...XXXXXXX..XX",
+"X..XXXXXXXXX..X",
+"...XXXXXXXXX...",
+"...XXXXXXXXX...",
+"...XXXXXXXXX...",
+"X..XXXXXXXXX..X",
+"X..XXXXXXXXX..X",
+"XX.XXXXXXXX..XX",
+"XXX.XXXXXXX.XXX",
+"XXX.XXXXXXX.XXX",
+".XXX.XXXXX.XXX.",
+".XXX.XXXXX.XXX.",
+".....XXXXX....X",
+"X....XXXXX....X"
+};

diff --git a/lib/images/math/phi2.xpm b/lib/images/math/phi2.xpm
new file mode 100644 (file)
index 0000000..59952b6
--- /dev/null
+++ b/lib/images/math/phi2.xpm
@@ -0,0 +1,25 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 16 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXX.........XXX",
+"XXXXXX..XXXXXXX",
+"XXXXXX..XXXXXXX",
+"XXXX......XXXXX",
+"XX..XX..XX...XX",
+"X..XXX..XXXX..X",
+"..XXXX..XXXXX..",
+"..XXXX..XXXXX..",
+"..XXXX..XXXXX..",
+"..XXXX..XXXXX..",
+"X..XXX..XXXX..X",
+"XX..XX..XXX..XX",
+"XXXX.......XXXX",
+"XXXXXX..XXXXXXX",
+"XXXXXX..XXXXXXX",
+"XXX.........XXX"
+};

diff --git a/lib/images/math/pi2.xpm b/lib/images/math/pi2.xpm
new file mode 100644 (file)
index 0000000..182c597
--- /dev/null
+++ b/lib/images/math/pi2.xpm
@@ -0,0 +1,25 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 16 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"...............",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"XX..XXXXXXX..XX",
+"......XXX......"
+};

diff --git a/lib/images/math/psi2.xpm b/lib/images/math/psi2.xpm
new file mode 100644 (file)
index 0000000..0172f92
--- /dev/null
+++ b/lib/images/math/psi2.xpm
@@ -0,0 +1,25 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 16 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXX........XXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"...XXXX..XXXX...",
+"X..XXXX..XXXX..X",
+"XX..XXX..XXX..XX",
+"XX..XXX..XXX..XX",
+"XX..XXX..XXX..XX",
+"XX..XXX..XXX..XX",
+"XX..XXX..XXX..XX",
+"XXX..XX..XX..XXX",
+"XXXX..X..X..XXXX",
+"XXXXX......XXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXX........XXXX"
+};

diff --git a/lib/images/math/rbrace.xpm b/lib/images/math/rbrace.xpm
new file mode 100644 (file)
index 0000000..158ae91
--- /dev/null
+++ b/lib/images/math/rbrace.xpm
@@ -0,0 +1,32 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"7 23 3 1",
+"  c black",
+". c black",
+"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"
+};

diff --git a/lib/images/math/rightarrow2.xpm b/lib/images/math/rightarrow2.xpm
new file mode 100644 (file)
index 0000000..822aff5
--- /dev/null
+++ b/lib/images/math/rightarrow2.xpm
@@ -0,0 +1,22 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"21 13 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXX..XXXXXXX",
+"XXXXXXXXXXXXX.XXXXXXX",
+"XXXXXXXXXXXXXX.XXXXXX",
+"XXXXXXXXXXXXXX..XXXXX",
+".................XXXX",
+"XXXXXXXXXXXXXXXX..XXX",
+"XXXXXXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXXXXXX...",
+"XXXXXXXXXXXXXXXX..XXX",
+".................XXXX",
+"XXXXXXXXXXXXXX.XXXXXX",
+"XXXXXXXXXXXXX.XXXXXXX",
+"XXXXXXXXXXXX..XXXXXXX"
+};

diff --git a/lib/images/math/rparen.xpm b/lib/images/math/rparen.xpm
new file mode 100644 (file)
index 0000000..b9717bf
--- /dev/null
+++ b/lib/images/math/rparen.xpm
@@ -0,0 +1,32 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"5 23 3 1",
+"  c black",
+". c black",
+"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"
+};

diff --git a/lib/images/math/sigma2.xpm b/lib/images/math/sigma2.xpm
new file mode 100644 (file)
index 0000000..73390bf
--- /dev/null
+++ b/lib/images/math/sigma2.xpm
@@ -0,0 +1,25 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"14 16 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+".............X",
+"X..XXXXXXXX...",
+"X...XXXXXXXXX.",
+"XX..XXXXXXXXX.",
+"XXX..XXXXXXXX.",
+"XXX...XXXXXXXX",
+"XXXX..XXXXXXXX",
+"XXXXX..XXXXXXX",
+"XXXXX..XXXXXXX",
+"XXXXX.XXXXXXXX",
+"XXXX.XXXXXXXXX",
+"XXXX.XXXXXXXX.",
+"XXX.XXXXXXXXX.",
+"XX.XXXXXXXXXX.",
+"X.XXXXXXXXX...",
+".............X"
+};

diff --git a/lib/images/math/subset2.xpm b/lib/images/math/subset2.xpm
new file mode 100644 (file)
index 0000000..2338f6a
--- /dev/null
+++ b/lib/images/math/subset2.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"17 17 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXX............",
+"XXXX.XXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXX",
+".XXXXX...........",
+".XXXX.XXXXXXXXXXX",
+".XXX.XXXXXXXXXXXX",
+".XXX.XXXXXXXXXXXX",
+".XXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXX",
+".XXXXX.XXXXXXXXXX",
+"X.XXXXX..........",
+"XX.XXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXX",
+"XXXXX............"
+};

diff --git a/lib/images/math/supset2.xpm b/lib/images/math/supset2.xpm
new file mode 100644 (file)
index 0000000..4df6a2d
--- /dev/null
+++ b/lib/images/math/supset2.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 17 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+".............XXXXX",
+"XXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXX.X",
+"X...........XXXXX.",
+"XXXXXXXXXXXX.XXXX.",
+"XXXXXXXXXXXXX.XXX.",
+"XXXXXXXXXXXXX.XXX.",
+"XXXXXXXXXXXXX.XXX.",
+"XXXXXXXXXXXX.XXXX.",
+"XXXXXXXXXXX.XXXXX.",
+"...........XXXXX.X",
+"XXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXX.XXXX",
+".............XXXXX"
+};

diff --git a/lib/images/math/theta2.xpm b/lib/images/math/theta2.xpm
new file mode 100644 (file)
index 0000000..42b4a1f
--- /dev/null
+++ b/lib/images/math/theta2.xpm
@@ -0,0 +1,25 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 16 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXX......XXXXX",
+"XXXX.XXXXXX..XXX",
+"XX..XXXXXXXXX.XX",
+"XX.XXXXXXXXXX..X",
+"X..XXXXXXXXXXX.X",
+"X..XXXXXXXXXXX..",
+"....XXXXXXXX.X..",
+"..XX.........X..",
+"..XX.........X..",
+"....XXXXXXXX.X..",
+"X..XXXXXXXXXXX..",
+"X..XXXXXXXXXX..X",
+"X...XXXXXXXXX..X",
+"XX..XXXXXXXX..XX",
+"XXX...XXXX...XXX",
+"XXXXX......XXXXX"
+};

diff --git a/lib/images/math/uparrow2.xpm b/lib/images/math/uparrow2.xpm
new file mode 100644 (file)
index 0000000..d68cf73
--- /dev/null
+++ b/lib/images/math/uparrow2.xpm
@@ -0,0 +1,31 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 22 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXX.XXXXXX",
+"XXXXXX..XXXXX",
+"XXXXXX..XXXXX",
+"XXXXX.XX.XXXX",
+"XXXX.XXX.XXXX",
+"XXX..XXXX.XXX",
+"XX...XXXX..XX",
+"X.XX.XXXX.X..",
+".XXX.XXXX.XX.",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX"
+};

diff --git a/lib/images/math/updownarrow2.xpm b/lib/images/math/updownarrow2.xpm
new file mode 100644 (file)
index 0000000..9aa8251
--- /dev/null
+++ b/lib/images/math/updownarrow2.xpm
@@ -0,0 +1,35 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 26 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XXXXXX..XXXXX",
+"XXXXXX..XXXXX",
+"XXXXX....XXXX",
+"XXXX..XX.XXXX",
+"XXX..XXXX.XXX",
+"XX...XXXX...X",
+"..XX.XXXX.X..",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+"XXXX.XXXX.XXX",
+".XXX.XXXX.XX.",
+"X..X.XXXX.X.X",
+"XXX..XXXX..XX",
+"XXXX.XXXX.XXX",
+"XXXXX.XX.XXXX",
+"XXXXXX..XXXXX",
+"XXXXXX..XXXXX",
+"XXXXXX.XXXXXX"
+};

diff --git a/lib/images/math/upsilon2.xpm b/lib/images/math/upsilon2.xpm
new file mode 100644 (file)
index 0000000..ca8f17c
--- /dev/null
+++ b/lib/images/math/upsilon2.xpm
@@ -0,0 +1,25 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 16 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"XX...XXXXXX...XX",
+"X.....XXXX.....X",
+"..XXX..XX..XXX.X",
+".XXXXX.XX.XXXXX.",
+"XXXXXX....XXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXX........XXXX"
+};

diff --git a/lib/images/math/vDash.xpm b/lib/images/math/vDash.xpm
deleted file mode 100644 (file)
index 2810e43..0000000
--- a/lib/images/math/vDash.xpm
+++ /dev/null
@@ -1,29 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"14 20 3 1",
-"  c black",
-". c black",
-"X c None",
-/* pixels */
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-"..............",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-"..............",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX",
-".XXXXXXXXXXXXX"
-};

diff --git a/lib/images/math/vdash2.xpm b/lib/images/math/vdash2.xpm
new file mode 100644 (file)
index 0000000..2810e43
--- /dev/null
+++ b/lib/images/math/vdash2.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"14 20 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+"..............",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+"..............",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+".XXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/vdash3.xpm b/lib/images/math/vdash3.xpm
new file mode 100644 (file)
index 0000000..d63bef7
--- /dev/null
+++ b/lib/images/math/vdash3.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 20 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.............",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX",
+".XXXX.XXXXXXXXXXXX"
+};

diff --git a/lib/images/math/xi2.xpm b/lib/images/math/xi2.xpm
new file mode 100644 (file)
index 0000000..ab9752b
--- /dev/null
+++ b/lib/images/math/xi2.xpm
@@ -0,0 +1,25 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"14 16 3 1",
+"  c black",
+". c black",
+"X c None",
+/* pixels */
+"..............",
+"..............",
+".XXXXXXXXXXXX.",
+".XXXXXXXXXXXX.",
+"XXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXX",
+"XX.XXXXXXXX.XX",
+"XX..........XX",
+"XX..........XX",
+"XX.XXXXXXXX.XX",
+"XXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXX",
+".XXXXXXXXXXXX.",
+".XXXXXXXXXXXX.",
+"..............",
+".............."
+};

diff --git a/lib/images/math/{.xpm b/lib/images/math/{.xpm
deleted file mode 100644 (file)
index f712714..0000000
--- a/lib/images/math/{.xpm
+++ /dev/null
@@ -1,32 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"7 23 3 1",
-"  c black",
-". c black",
-"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.."
-};

diff --git a/lib/images/math/|.xpm b/lib/images/math/|.xpm
deleted file mode 100644 (file)
index fd51ba9..0000000
--- a/lib/images/math/|.xpm
+++ /dev/null
@@ -1,32 +0,0 @@
-/* XPM */
-static char * bar_xpm[] = {
-"16 27 2 1",
-"      c None",
-".     c black",
-"++++++++++++++++",
-"++++++++++++++++",
-"++++++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"+++.++++++++++++",
-"++++++++++++++++"};

diff --git a/lib/images/math/}.xpm b/lib/images/math/}.xpm
deleted file mode 100644 (file)
index 158ae91..0000000
--- a/lib/images/math/}.xpm
+++ /dev/null
@@ -1,32 +0,0 @@
-/* XPM */
-static char *a[] = {
-/* columns rows colors chars-per-pixel */
-"7 23 3 1",
-"  c black",
-". c black",
-"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"
-};