Add all AMS symbols except nrel

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

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

diff --git a/lib/images/math/Bumpeq.xpm b/lib/images/math/Bumpeq.xpm
new file mode 100644 (file)
index 0000000..0ad346c
--- /dev/null
+++ b/lib/images/math/Bumpeq.xpm
@@ -0,0 +1,21 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"21 12 3 1",
+"  c black",
+". c #5972ff",
+"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
new file mode 100644 (file)
index 0000000..dc8e8b8
--- /dev/null
+++ b/lib/images/math/Cap.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 17 3 1",
+"  c black",
+". c #5972ff",
+"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
new file mode 100644 (file)
index 0000000..44395b7
--- /dev/null
+++ b/lib/images/math/Cup.xpm
@@ -0,0 +1,27 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 18 3 1",
+"  c black",
+". c #5972ff",
+"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/Finv.xpm b/lib/images/math/Finv.xpm
new file mode 100644 (file)
index 0000000..09dbe67
--- /dev/null
+++ b/lib/images/math/Finv.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 20 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXX.........",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"XXXXXXXXXXXX.",
+"............."
+};

diff --git a/lib/images/math/Game.xpm b/lib/images/math/Game.xpm
new file mode 100644 (file)
index 0000000..38a770c
--- /dev/null
+++ b/lib/images/math/Game.xpm
@@ -0,0 +1,31 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 22 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXX.....XXXXXXX",
+"XXX.XXXX...XXXXX",
+"XXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXX.",
+"......XXXXXXXXX.",
+".XXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXX.X",
+".XXXXXXXXXXXX..X",
+".XXXXXXXXXXXX.XX",
+".XXXXXXXXXXX.XXX",
+".XXXXXXXXXXX.XXX",
+".XXXXXXXXXX.XXXX",
+"...XXXXXX..XXXXX",
+"X.........XXXXXX"
+};

diff --git a/lib/images/math/Lleftarrow.xpm b/lib/images/math/Lleftarrow.xpm
new file mode 100644 (file)
index 0000000..12fe343
--- /dev/null
+++ b/lib/images/math/Lleftarrow.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"25 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXX.XXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXXXXXXXX",
+"XXXXXXXX.XXXXXXXXXXXXXXXX",
+"XXXXXXX.XXXXXXXXXXXXXXXXX",
+"XXXXXX...................",
+"XXXXX..XXXXXXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXXXXXXXX",
+"XXX..XXXXXXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXXXXXXXX",
+"X..XXXXXXXXXXXXXXXXXXXXXX",
+".........................",
+"X..XXXXXXXXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXXXXXXXX",
+"XXX..XXXXXXXXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXXXXXXXX",
+"XXXXX..XXXXXXXXXXXXXXXXXX",
+"XXXXXX...................",
+"XXXXXXX.XXXXXXXXXXXXXXXXX",
+"XXXXXXXX.XXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXXXXXXXX"
+};

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

diff --git a/lib/images/math/MISSING b/lib/images/math/MISSING
index 6c2dea04083442316b52e4b6f7138a46774ef8d1..4420933f85ed6693a89d55c04b6ec4bbed2f067b 100644 (file)
--- a/lib/images/math/MISSING
+++ b/lib/images/math/MISSING
@@ -1,9 +1,2 @@
-Missing XPMs
-------------
 
-_.xpm (what is this ?)
-All mathbb
-All mathcal
-All mathrm
-All textrm
-All AMS
+All AMS nrel symbols are still missing (ams_nrel.xbm)

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

diff --git a/lib/images/math/Subset.xpm b/lib/images/math/Subset.xpm
new file mode 100644 (file)
index 0000000..d1ca6fe
--- /dev/null
+++ b/lib/images/math/Subset.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"17 17 3 1",
+"  c black",
+". c #5972ff",
+"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
new file mode 100644 (file)
index 0000000..8cd8a64
--- /dev/null
+++ b/lib/images/math/Supset.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 17 3 1",
+"  c black",
+". c #5972ff",
+"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/Vdash.xpm b/lib/images/math/Vdash.xpm
new file mode 100644 (file)
index 0000000..2b551b3
--- /dev/null
+++ b/lib/images/math/Vdash.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 20 3 1",
+"  c black",
+". c #5972ff",
+"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/Vvdash.xpm b/lib/images/math/Vvdash.xpm
new file mode 100644 (file)
index 0000000..a8ebb7e
--- /dev/null
+++ b/lib/images/math/Vvdash.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"24 20 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX..........X...",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX",
+".XXXX.XXXX.XXXXXXXXXXXXX"
+};

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

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

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

diff --git a/lib/images/math/backsim.xpm b/lib/images/math/backsim.xpm
new file mode 100644 (file)
index 0000000..5dad551
--- /dev/null
+++ b/lib/images/math/backsim.xpm
@@ -0,0 +1,15 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 6 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXX.....XXX",
+".XXXXXXXXX..XXXX.XX",
+"..XXXXXXX.XXXXXXX.X",
+"X.XXXXXX.XXXXXXXXX.",
+"X...XXX.XXXXXXXXXX.",
+"XXX....XXXXXXXXXXX."
+};

diff --git a/lib/images/math/backsimeq.xpm b/lib/images/math/backsimeq.xpm
new file mode 100644 (file)
index 0000000..fe35622
--- /dev/null
+++ b/lib/images/math/backsimeq.xpm
@@ -0,0 +1,19 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 10 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXX....XXX",
+".XXXXXXXXXX..XX..XX",
+".XXXXXXXXX.XXXXX..X",
+"X.XXXXXXX.XXXXXXX..",
+"XX..XXXX.XXXXXXXXX.",
+"XXX.....XXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"..................."
+};

diff --git a/lib/images/math/barwedge.xpm b/lib/images/math/barwedge.xpm
new file mode 100644 (file)
index 0000000..12d88fe
--- /dev/null
+++ b/lib/images/math/barwedge.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...............",
+"XXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXX",
+"XXXXXXX.XXXXXXX",
+"XXXXXXX.XXXXXXX",
+"XXXXXX.X.XXXXXX",
+"XXXXXX.X.XXXXXX",
+"XXXXX.XXX.XXXXX",
+"XXXXX.XXX.XXXXX",
+"XXXXX.XXX.XXXXX",
+"XXXX.XXXXX.XXXX",
+"XXXX.XXXXX.XXXX",
+"XXX.XXXXXXX.XXX",
+"XXX.XXXXXXX.XXX",
+"XXX.XXXXXXX.XXX",
+"XX.XXXXXXXXX.XX",
+"XX.XXXXXXXXX.XX",
+"X.XXXXXXXXXXX.X",
+"X.XXXXXXXXXXX.X"
+};

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

diff --git a/lib/images/math/beth.xpm b/lib/images/math/beth.xpm
new file mode 100644 (file)
index 0000000..ba32785
--- /dev/null
+++ b/lib/images/math/beth.xpm
@@ -0,0 +1,32 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"20 23 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XX.XXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXX",
+"XX...............XXX",
+"XX................XX",
+"XX................XX",
+"XXXXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XX",
+"XXX.................",
+"XX.................X",
+"X..................X",
+".................XXX"
+};

diff --git a/lib/images/math/between.xpm b/lib/images/math/between.xpm
new file mode 100644 (file)
index 0000000..0131de8
--- /dev/null
+++ b/lib/images/math/between.xpm
@@ -0,0 +1,39 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"10 30 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"X.XXXXXX.X",
+"XX.XXXX.XX",
+"XXX.XX.XXX",
+"XXXX..XXXX",
+"XXXX..XXXX",
+"XXX.XX.XXX",
+"XX.XXXX.XX",
+"X.XXXXXX.X",
+"X.XXXXXX.X",
+"X.XXXXXX.X",
+"X.XXXXXX.X",
+".XXXXXXXX.",
+".XXXXXXXX.",
+".XXXXXXXX.",
+".XXXXXXXX.",
+".XXXXXXXX.",
+".XXXXXXXX.",
+".XXXXXXXX.",
+"X.XXXXXXX.",
+"X.XXXXXX.X",
+"X.XXXXXX.X",
+"XX.XXXXX.X",
+"XXX.XXX.XX",
+"XXX.XXX.XX",
+"XXX.XX.XXX",
+"XXXX..XXXX",
+"XXXX.X.XXX",
+"XXX.XXX.XX",
+"XX.XXXXX.X",
+"X.XXXXXXX."
+};

diff --git a/lib/images/math/bigstar.xpm b/lib/images/math/bigstar.xpm
new file mode 100644 (file)
index 0000000..3c156e7
--- /dev/null
+++ b/lib/images/math/bigstar.xpm
@@ -0,0 +1,32 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"24 23 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXX.XXXXXXXXXXXX",
+"XXXXXXXXXXX.XXXXXXXXXXXX",
+"XXXXXXXXXX...XXXXXXXXXXX",
+"XXXXXXXXXX...XXXXXXXXXXX",
+"XXXXXXXXX....XXXXXXXXXXX",
+"XXXXXXXXX.....XXXXXXXXXX",
+"XXXXXXXXX.....XXXXXXXXXX",
+"........................",
+"X......................X",
+"XX....................XX",
+"XXX.................XXXX",
+"XXXX...............XXXXX",
+"XXXXX.............XXXXXX",
+"XXXXXX...........XXXXXXX",
+"XXXXXX...........XXXXXXX",
+"XXXXXX...........XXXXXXX",
+"XXXXX.............XXXXXX",
+"XXXXX......X......XXXXXX",
+"XXXX......XXX......XXXXX",
+"XXXX....XXXXXXX....XXXXX",
+"XXXX..XXXXXXXXXX...XXXXX",
+"XXX..XXXXXXXXXXXX...XXXX",
+"XXX.XXXXXXXXXXXXXXX.XXXX"
+};

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

diff --git a/lib/images/math/blacksquare.xpm b/lib/images/math/blacksquare.xpm
new file mode 100644 (file)
index 0000000..819cc8c
--- /dev/null
+++ b/lib/images/math/blacksquare.xpm
@@ -0,0 +1,27 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"20 20 1 1",
+"  c #5972ff",
+/* pixels */
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    ",
+"                    "
+};

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

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

diff --git a/lib/images/math/blacktriangleleft.xpm b/lib/images/math/blacktriangleleft.xpm
new file mode 100644 (file)
index 0000000..130502f
--- /dev/null
+++ b/lib/images/math/blacktriangleleft.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 17 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXX....",
+"XXXXXXXXXXXX......",
+"XXXXXXXXXX........",
+"XXXXXXXX..........",
+"XXXXXX............",
+"XXXX..............",
+"XX................",
+"..................",
+"XX................",
+"XXXX..............",
+"XXXXXX............",
+"XXXXXXXX..........",
+"XXXXXXXXXX........",
+"XXXXXXXXXXXX......",
+"XXXXXXXXXXXXXX....",
+"XXXXXXXXXXXXXXXX.."
+};

diff --git a/lib/images/math/blacktriangleright.xpm b/lib/images/math/blacktriangleright.xpm
new file mode 100644 (file)
index 0000000..9d99db8
--- /dev/null
+++ b/lib/images/math/blacktriangleright.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 17 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...XXXXXXXXXXXXXXX",
+".....XXXXXXXXXXXXX",
+".......XXXXXXXXXXX",
+".........XXXXXXXXX",
+"...........XXXXXXX",
+".............XXXXX",
+"...............XXX",
+".................X",
+"..................",
+".................X",
+"...............XXX",
+".............XXXXX",
+"...........XXXXXXX",
+".........XXXXXXXXX",
+".......XXXXXXXXXXX",
+".....XXXXXXXXXXXXX",
+"...XXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/boxdot.xpm b/lib/images/math/boxdot.xpm
new file mode 100644 (file)
index 0000000..53dc293
--- /dev/null
+++ b/lib/images/math/boxdot.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 20 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...................",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXX.XXXXXXXX.",
+".XXXXXXX...XXXXXXX.",
+".XXXXXXXX.XXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+"..................."
+};

diff --git a/lib/images/math/boxminus.xpm b/lib/images/math/boxminus.xpm
new file mode 100644 (file)
index 0000000..651179e
--- /dev/null
+++ b/lib/images/math/boxminus.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 20 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...................",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+"...................",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+"..................."
+};

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

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

diff --git a/lib/images/math/bumpeq.xpm b/lib/images/math/bumpeq.xpm
new file mode 100644 (file)
index 0000000..005232d
--- /dev/null
+++ b/lib/images/math/bumpeq.xpm
@@ -0,0 +1,19 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 10 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXX.....XXXXXXX",
+"XXXXXX..XXX..XXXXXX",
+"XXXXX..XXXXX..XXXXX",
+".......XXXXX.......",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"..................."
+};

diff --git a/lib/images/math/centerdot.xpm b/lib/images/math/centerdot.xpm
new file mode 100644 (file)
index 0000000..967d34d
--- /dev/null
+++ b/lib/images/math/centerdot.xpm
@@ -0,0 +1,12 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"5 5 1 1",
+"  c #5972ff",
+/* pixels */
+"     ",
+"     ",
+"     ",
+"     ",
+"     "
+};

diff --git a/lib/images/math/circeq.xpm b/lib/images/math/circeq.xpm
new file mode 100644 (file)
index 0000000..71e3d87
--- /dev/null
+++ b/lib/images/math/circeq.xpm
@@ -0,0 +1,23 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 14 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXX...XXXXXXXX",
+"XXXXXXX.XXX.XXXXXXX",
+"XXXXXX.XXXXX.XXXXXX",
+"XXXXXX.XXXXX.XXXXXX",
+"XXXXXX.XXXXX.XXXXXX",
+"XXXXXXX.XXX.XXXXXXX",
+"XXXXXXXX...XXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"...................",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"..................."
+};

diff --git a/lib/images/math/circlearrowleft.xpm b/lib/images/math/circlearrowleft.xpm
new file mode 100644 (file)
index 0000000..de141b2
--- /dev/null
+++ b/lib/images/math/circlearrowleft.xpm
@@ -0,0 +1,31 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 22 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXX..XXXX",
+"XXXXXXXXXXX...XXXXX",
+"XXXXXXXXX....XXXXXX",
+"XXXXX.XXXX....XXXXX",
+"XXXX.XXXXXX.XX.XXXX",
+"XXX.XXXXXXX..XX.XXX",
+"XX.XXXXXXXXX.XXX.XX",
+"X.XXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXX.X",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+"X.XXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXX.X",
+"XX.XXXXXXXXXXXXX.XX",
+"XXX.XXXXXXXXXXX.XXX",
+"XXXX..XXXXXXX..XXXX",
+"XXXXXX.......XXXXXX"
+};

diff --git a/lib/images/math/circlearrowright.xpm b/lib/images/math/circlearrowright.xpm
new file mode 100644 (file)
index 0000000..3670894
--- /dev/null
+++ b/lib/images/math/circlearrowright.xpm
@@ -0,0 +1,31 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 22 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXX..XXXXXXXXXXXXX",
+"XXXXXX..XXXXXXXXXXX",
+"XXXXXX....XXXXXXXXX",
+"XXXX.....XXXXX.XXXX",
+"XXX.XXX.XXXXXXX.XXX",
+"XX.XXX.XXXXXXXXX.XX",
+"X.XXX.XXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXX.X",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+"X.XXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXX.X",
+"XX.XXXXXXXXXXXXX.XX",
+"XXX.XXXXXXXXXXX..XX",
+"XXXX.XXXXXXXXX.XXXX",
+"XXXXX..XXXXX..XXXXX",
+"XXXXXXX.....XXXXXXX"
+};

diff --git a/lib/images/math/circledS.xpm b/lib/images/math/circledS.xpm
new file mode 100644 (file)
index 0000000..b50f309
--- /dev/null
+++ b/lib/images/math/circledS.xpm
@@ -0,0 +1,34 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"25 25 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXX.....XXXXXXXXXX",
+"XXXXXXX...XXXXX...XXXXXXX",
+"XXXXXX.XXXXXXXXXXX.XXXXXX",
+"XXXX..XXXXXXXXXXXXX..XXXX",
+"XXX.XXXXXXXXXXXXXXXXX.XXX",
+"XXX.XXXXX.....XX.XXXX.XXX",
+"XX.XXXXX..XXXX.X.XXXXX.XX",
+"X.XXXXX..XXXXXX..XXXXXX.X",
+"X.XXXXX.XXXXXXX..XXXXXX.X",
+"X.XXXXX.XXXXXXXX.XXXXXX.X",
+".XXXXXX..XXXXXXX.XXXXXXX.",
+".XXXXXX...XXXXXXXXXXXXXX.",
+".XXXXXXX.....XXXXXXXXXXX.",
+".XXXXXXXXXX.....XXXXXXXX.",
+".XXXXXXXXXXXXX...XXXXXXX.",
+"X.XXXXXXXXXXXXX..XXXXXX.X",
+"X.XXXXX.XXXXXXXX.XXXXXX.X",
+"X.XXXXX.XXXXXXXX.XXXXXX.X",
+"XX.XXXX..XXXXXXX.XXXXX.XX",
+"XXX.XXX.X.XXXXX.XXXXX.XXX",
+"XXX.XXX.XX.....XXXXXX.XXX",
+"XXXX..XXXXXXXXXXXXX..XXXX",
+"XXXXXX.XXXXXXXXXXX.XXXXXX",
+"XXXXXXX...XXXXX...XXXXXXX",
+"XXXXXXXXXX.....XXXXXXXXXX"
+};

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

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

diff --git a/lib/images/math/circleddash.xpm b/lib/images/math/circleddash.xpm
new file mode 100644 (file)
index 0000000..9b3ad8d
--- /dev/null
+++ b/lib/images/math/circleddash.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"21 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXX.XXXXXXXXXX",
+"XXXXXX....X....XXXXXX",
+"XXXX..XXXXXXXXX..XXXX",
+"XXX.XXXXXXXXXXXXX.XXX",
+"XX.XXXXXXXXXXXXXXX.XX",
+"XX.XXXXXXXXXXXXXXX.XX",
+"X.XXXXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXXXX.X",
+".XXXXX..........XXXX.",
+"X.XXXXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXXXXXXX.X",
+"XX.XXXXXXXXXXXXXXX.XX",
+"XX.XXXXXXXXXXXXXXX.XX",
+"XXX.XXXXXXXXXXXXX.XXX",
+"XXXX..XXXXXXXXX..XXXX",
+"XXXXXX....X....XXXXXX",
+"XXXXXXXXXX.XXXXXXXXXX"
+};

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

diff --git a/lib/images/math/curlyeqprec.xpm b/lib/images/math/curlyeqprec.xpm
new file mode 100644 (file)
index 0000000..641edc0
--- /dev/null
+++ b/lib/images/math/curlyeqprec.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXX..XXX",
+"XXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXX..XXXX.",
+"XXXXXXXXX...XXXXX.",
+"XXXXXXX...XXXXXX..",
+"X.......XXXXXXXX..",
+"XXXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXX...XX",
+"XXXXXXXXXXXX...XXX",
+"XXXXXXXX.....XXXXX",
+"...........XXXXXXX",
+"XXXXXXXX.....XXXXX",
+"XXXXXXXXXXXX...XXX",
+"XXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXX."
+};

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

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

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

diff --git a/lib/images/math/curvearrowleft.xpm b/lib/images/math/curvearrowleft.xpm
new file mode 100644 (file)
index 0000000..522d099
--- /dev/null
+++ b/lib/images/math/curvearrowleft.xpm
@@ -0,0 +1,22 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"28 13 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXX......XXXXXXXX",
+"XXXXXXXXXXX...XXXXXX...XXXXX",
+"XXXXXXXXX...XXXXXXXXXX..XXXX",
+"XXXXXXXX.XXXXXXXXXXXXXXX.XXX",
+"XXXXXXX..XXXXXXXXXXXXXXX..XX",
+"XXXXXXX.XXXXXXXXXXXXXXXXX.XX",
+"XXXXXX.XXXXXXXXXXXXXXXXXX..X",
+".XXXXX.XXX.XXXXXXXXXXXXXXX.X",
+"X.XXX.XXX.XXXXXXXXXXXXXXXX.X",
+"XX.XX.XX.XXXXXXXXXXXXXXXXX..",
+"XXX.....XXXXXXXXXXXXXXXXXXX.",
+"XXXX...XXXXXXXXXXXXXXXXXXXX.",
+"XXXXX.XXXXXXXXXXXXXXXXXXXXX."
+};

diff --git a/lib/images/math/curvearrowright.xpm b/lib/images/math/curvearrowright.xpm
new file mode 100644 (file)
index 0000000..281925d
--- /dev/null
+++ b/lib/images/math/curvearrowright.xpm
@@ -0,0 +1,22 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 13 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXX.....XXXXXXXXXXXXX",
+"XXXXXX...XXXXX...XXXXXXXXXX",
+"XXXXX.XXXXXXXXXXX..XXXXXXXX",
+"XXXX.XXXXXXXXXXXXX..XXXXXXX",
+"XXX.XXXXXXXXXXXXXXX..XXXXXX",
+"XX.XXXXXXXXXXXXXXXXX.XXXXXX",
+"X..XXXXXXXXXXXXXXXXXX.XXXXX",
+"X.XXXXXXXXXXXXXXXX.XXX.XXX.",
+"X.XXXXXXXXXXXXXXXXX.XX.XX.X",
+".XXXXXXXXXXXXXXXXXXX.X.X.XX",
+".XXXXXXXXXXXXXXXXXXXX...XXX",
+".XXXXXXXXXXXXXXXXXXXXX.XXXX",
+".XXXXXXXXXXXXXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/daleth.xpm b/lib/images/math/daleth.xpm
new file mode 100644 (file)
index 0000000..74fe88d
--- /dev/null
+++ b/lib/images/math/daleth.xpm
@@ -0,0 +1,33 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"17 24 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+"...............XX",
+"................X",
+".................",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XX"
+};

diff --git a/lib/images/math/dashleftarrow.xpm b/lib/images/math/dashleftarrow.xpm
new file mode 100644 (file)
index 0000000..3d838f1
--- /dev/null
+++ b/lib/images/math/dashleftarrow.xpm
@@ -0,0 +1,20 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"41 11 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXX...XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXX...XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XX....XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"X....XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"............XXXXX.........XXXXX..........",
+"X....XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XX....XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXX...XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXX...XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/dashrightarrow.xpm b/lib/images/math/dashrightarrow.xpm
new file mode 100644 (file)
index 0000000..4388446
--- /dev/null
+++ b/lib/images/math/dashrightarrow.xpm
@@ -0,0 +1,20 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"41 11 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..XXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX...XXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX...XXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX....XX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX....X",
+"..........XXXXXX.........XXXXX...........",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX....X",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX....XX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX...XXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX...XXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..XXXXX"
+};

diff --git a/lib/images/math/diagdown.xpm b/lib/images/math/diagdown.xpm
new file mode 100644 (file)
index 0000000..f4b6315
--- /dev/null
+++ b/lib/images/math/diagdown.xpm
@@ -0,0 +1,34 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"25 25 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXXXXXXXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXX",
+"XXXXX.XXXXXXXXXXXXXXXXXXX",
+"XXXXXX.XXXXXXXXXXXXXXXXXX",
+"XXXXXXX.XXXXXXXXXXXXXXXXX",
+"XXXXXXXX.XXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXXXXXXXX",
+"XXXXXXXXXX.XXXXXXXXXXXXXX",
+"XXXXXXXXXXX.XXXXXXXXXXXXX",
+"XXXXXXXXXXXX.XXXXXXXXXXXX",
+"XXXXXXXXXXXXX.XXXXXXXXXXX",
+"XXXXXXXXXXXXXX.XXXXXXXXXX",
+"XXXXXXXXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXX.XXXXXXXX",
+"XXXXXXXXXXXXXXXXX.XXXXXXX",
+"XXXXXXXXXXXXXXXXXX.XXXXXX",
+"XXXXXXXXXXXXXXXXXXX.XXXXX",
+"XXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXXXXXXXXX."
+};

diff --git a/lib/images/math/diagup.xpm b/lib/images/math/diagup.xpm
new file mode 100644 (file)
index 0000000..13aacd5
--- /dev/null
+++ b/lib/images/math/diagup.xpm
@@ -0,0 +1,34 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"25 25 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXXXXXX.XXXXX",
+"XXXXXXXXXXXXXXXXXX.XXXXXX",
+"XXXXXXXXXXXXXXXXX.XXXXXXX",
+"XXXXXXXXXXXXXXXX.XXXXXXXX",
+"XXXXXXXXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXX.XXXXXXXXXX",
+"XXXXXXXXXXXXX.XXXXXXXXXXX",
+"XXXXXXXXXXXX.XXXXXXXXXXXX",
+"XXXXXXXXXXX.XXXXXXXXXXXXX",
+"XXXXXXXXXX.XXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXXXXXXXX",
+"XXXXXXXX.XXXXXXXXXXXXXXXX",
+"XXXXXXX.XXXXXXXXXXXXXXXXX",
+"XXXXXX.XXXXXXXXXXXXXXXXXX",
+"XXXXX.XXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/digamma.xpm b/lib/images/math/digamma.xpm
new file mode 100644 (file)
index 0000000..00ba5a3
--- /dev/null
+++ b/lib/images/math/digamma.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"20 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXX..............",
+"XXXXX...XXXXXXXXXXXX",
+"XXXXX...XXXXXXXXXXXX",
+"XXXXX...XXXXXXXXXXXX",
+"XXXXX..XXXXXXXXXXXXX",
+"XXXXX..XXXXXXXXXXXXX",
+"XXXX...XXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXXX",
+"XXX...XXXXXXXXXXXXXX",
+"XXX..........XXXXXXX",
+"XXX...XXXXXXXXXXXXXX",
+"XXX..XXXXXXXXXXXXXXX",
+"XXX..XXXXXXXXXXXXXXX",
+"XX...XXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXXX",
+"X...XXXXXXXXXXXXXXXX",
+"X...XXXXXXXXXXXXXXXX",
+"X...XXXXXXXXXXXXXXXX",
+"...XXXXXXXXXXXXXXXXX"
+};

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

diff --git a/lib/images/math/doteqdot.xpm b/lib/images/math/doteqdot.xpm
new file mode 100644 (file)
index 0000000..b536acf
--- /dev/null
+++ b/lib/images/math/doteqdot.xpm
@@ -0,0 +1,27 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 18 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXX...XXXXXXXX",
+"XXXXXXXX...XXXXXXXX",
+"XXXXXXXX...XXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"...................",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"...................",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXX...XXXXXXXX",
+"XXXXXXXX...XXXXXXXX",
+"XXXXXXXX...XXXXXXXX"
+};

diff --git a/lib/images/math/dotplus.xpm b/lib/images/math/dotplus.xpm
new file mode 100644 (file)
index 0000000..3d592aa
--- /dev/null
+++ b/lib/images/math/dotplus.xpm
@@ -0,0 +1,35 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 26 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXX...XXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"...................",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX"
+};

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

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

diff --git a/lib/images/math/downharpoonleft.xpm b/lib/images/math/downharpoonleft.xpm
new file mode 100644 (file)
index 0000000..49c5cba
--- /dev/null
+++ b/lib/images/math/downharpoonleft.xpm
@@ -0,0 +1,35 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"6 26 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.",
+".XXXX.",
+"X.XXX.",
+"XX.XX.",
+"XXX...",
+"XXXX..",
+"XXXXX."
+};

diff --git a/lib/images/math/downharpoonright.xpm b/lib/images/math/downharpoonright.xpm
new file mode 100644 (file)
index 0000000..3549b37
--- /dev/null
+++ b/lib/images/math/downharpoonright.xpm
@@ -0,0 +1,34 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"5 25 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXX.",
+".XX.X",
+".X.XX",
+"..XXX",
+".XXXX"
+};

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

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

diff --git a/lib/images/math/eqslantless.xpm b/lib/images/math/eqslantless.xpm
new file mode 100644 (file)
index 0000000..622a04e
--- /dev/null
+++ b/lib/images/math/eqslantless.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXX..XXXX",
+"XXXXXXXXXX..XXXXXX",
+"XXXXXXXX..XXXXXX..",
+"XXXXXX..XXXXXX..XX",
+"XXXX..XXXXXX..XXXX",
+"XX..XXXXXX..XXXXXX",
+"..XXXXXX..XXXXXXXX",
+"XXXXXX..XXXXXXXXXX",
+"XXXX..XXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXX",
+"..XXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXX",
+"XXXXXX..XXXXXXXXXX",
+"XXXXXXXX..XXXXXXXX",
+"XXXXXXXXXX..XXXXXX",
+"XXXXXXXXXXXX..XXXX",
+"XXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXXXXX.."
+};

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

diff --git a/lib/images/math/fallingdotseq.xpm b/lib/images/math/fallingdotseq.xpm
new file mode 100644 (file)
index 0000000..57cfeea
--- /dev/null
+++ b/lib/images/math/fallingdotseq.xpm
@@ -0,0 +1,27 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 18 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...XXXXXXXXXXXXXXXX",
+"...XXXXXXXXXXXXXXXX",
+"...XXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"...................",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"...................",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXX...",
+"XXXXXXXXXXXXXXXX...",
+"XXXXXXXXXXXXXXXX..."
+};

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

diff --git a/lib/images/math/geqslant.xpm b/lib/images/math/geqslant.xpm
new file mode 100644 (file)
index 0000000..3c9d16a
--- /dev/null
+++ b/lib/images/math/geqslant.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXXXXXXXXXXXX",
+"X..XXXXXXXXXXXX",
+"XXX..XXXXXXXXXX",
+"XXXXX..XXXXXXXX",
+"XXXXXXX.XXXXXXX",
+"XXXXXXXX..XXXXX",
+"XXXXXXXXXX..XXX",
+"XXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX.",
+"XXXXXXXXXXXX..X",
+"XXXXXXXXXX..XXX",
+"XXXXXXXX..XXXXX",
+"XXXXXXX.XXXXXX.",
+"XXXXX..XXXXX..X",
+"XXX..XXXXX..XXX",
+"X..XXXXX..XXXXX",
+".XXXXXX.XXXXXXX",
+"XXXXX..XXXXXXXX",
+"XXX..XXXXXXXXXX",
+"X..XXXXXXXXXXXX",
+".XXXXXXXXXXXXXX"
+};

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

diff --git a/lib/images/math/gimel.xpm b/lib/images/math/gimel.xpm
new file mode 100644 (file)
index 0000000..d29eaa0
--- /dev/null
+++ b/lib/images/math/gimel.xpm
@@ -0,0 +1,33 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"12 24 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XX.XXXXXXXXX",
+"XX.XXXXXXXXX",
+"XX..........",
+"XX..........",
+"XX..........",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXXXXXXXX..X",
+"XXX........X",
+"XX.........X",
+"X..........X",
+"...........X",
+"XXXXXXXXX..X"
+};

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

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

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

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

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

diff --git a/lib/images/math/gtrsim.xpm b/lib/images/math/gtrsim.xpm
new file mode 100644 (file)
index 0000000..5721f0c
--- /dev/null
+++ b/lib/images/math/gtrsim.xpm
@@ -0,0 +1,33 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 24 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"X.XXXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXX",
+"XXXXXX..XXXXXXXXXXX",
+"XXXXXXXX..XXXXXXXXX",
+"XXXXXXXXXX..XXXXXXX",
+"XXXXXXXXXXXX..XXXXX",
+"XXXXXXXXXXXXXX...XX",
+"XXXXXXXXXXXXXX..XXX",
+"XXXXXXXXXXXX..XXXXX",
+"XXXXXXXXXX..XXXXXXX",
+"XXXXXXXX..XXXXXXXXX",
+"XXXXXX..XXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXX.....XXXXXXXXXXX",
+"XX..XXX..XXXXXXXXX.",
+"X.XXXXXXX.XXXXXXXX.",
+".XXXXXXXXX.XXXXXX..",
+".XXXXXXXXXX.XXXXX.X",
+".XXXXXXXXXXX.....XX"
+};

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

diff --git a/lib/images/math/intercal.xpm b/lib/images/math/intercal.xpm
new file mode 100644 (file)
index 0000000..81c6911
--- /dev/null
+++ b/lib/images/math/intercal.xpm
@@ -0,0 +1,27 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"12 18 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"............",
+"X..........X",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX",
+"XXXXX..XXXXX"
+};

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

diff --git a/lib/images/math/leftleftarrows.xpm b/lib/images/math/leftleftarrows.xpm
new file mode 100644 (file)
index 0000000..77208f2
--- /dev/null
+++ b/lib/images/math/leftleftarrows.xpm
@@ -0,0 +1,28 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"26 19 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXX.XXXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXXXXXXXXX",
+"..........................",
+"X.XXXXXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXXXXXXXXX",
+".........................X",
+"X.XXXXXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/leftrightarrows.xpm b/lib/images/math/leftrightarrows.xpm
new file mode 100644 (file)
index 0000000..1be4829
--- /dev/null
+++ b/lib/images/math/leftrightarrows.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXX.XXXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXXXXXXXXXX",
+"...........................",
+"X.XXXXXXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXXXX",
+"XXXXX.XXXXXXXXXXXXXXX.XXXXX",
+"XXXXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXXXXXX.X",
+"X..........................",
+"XXXXXXXXXXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXXXXXXXX.XXXXX"
+};

diff --git a/lib/images/math/leftrightharpoons.xpm b/lib/images/math/leftrightharpoons.xpm
new file mode 100644 (file)
index 0000000..c2d5ed9
--- /dev/null
+++ b/lib/images/math/leftrightharpoons.xpm
@@ -0,0 +1,24 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 15 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXX.XXXXXXXXXXXXXXXXXXXXX",
+"XXXXX.XXXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXXXX",
+"XX.........................",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"...........................",
+"XXXXXXXXXXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXXXXX.XXX"
+};

diff --git a/lib/images/math/leftrightsquigarrow.xpm b/lib/images/math/leftrightsquigarrow.xpm
new file mode 100644 (file)
index 0000000..315b8a7
--- /dev/null
+++ b/lib/images/math/leftrightsquigarrow.xpm
@@ -0,0 +1,18 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"37 9 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXX.XXXXXXXXXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.XXX",
+"XX..XXXX..XXXXXXX...XXXXXXX..XXXX..XX",
+"X..XXXX....XXXXX..X..XXXXX....XXXX..X",
+"........XXX.XXX..XXX..XXX.XXX........",
+"X..XXXXXXXX..X..XXXXX..X..XXXXXXXX..X",
+"XX..XXXXXXXX...XXXXXXX...XXXXXXXX..XX",
+"XXX.XXXXXXXXX.XXXXXXXXX.XXXXXXXXX.XXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXXXXXXXXX.XXXX"
+};

diff --git a/lib/images/math/leftthreetimes.xpm b/lib/images/math/leftthreetimes.xpm
new file mode 100644 (file)
index 0000000..c074c1a
--- /dev/null
+++ b/lib/images/math/leftthreetimes.xpm
@@ -0,0 +1,28 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 19 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXX",
+"XXXXX.XXXXXXXXXXXXX",
+"XXXXXX.XXXXXXXXXXXX",
+"XXXXXXX.XXXXXXXXXXX",
+"XXXXXXXX.XXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXX.X.XXXXXXXX",
+"XXXXXXX.XXX.XXXXXXX",
+"XXXXXX.XXXXX.XXXXXX",
+"XXXXX.XXXXXXX.XXXXX",
+"XXXX.XXXXXXXXX.XXXX",
+"XXX.XXXXXXXXXXX.XXX",
+"XX.XXXXXXXXXXXXX.XX",
+"X.XXXXXXXXXXXXXXX.X",
+".XXXXXXXXXXXXXXXXX."
+};

diff --git a/lib/images/math/leqq.xpm b/lib/images/math/leqq.xpm
new file mode 100644 (file)
index 0000000..06e880a
--- /dev/null
+++ b/lib/images/math/leqq.xpm
@@ -0,0 +1,34 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 25 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXX..XXXX",
+"XXXXXXXXXX..XXXXXX",
+"XXXXXXXX..XXXXXXXX",
+"XXXXXX..XXXXXXXXXX",
+"XXXX..XXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXX",
+"..XXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXX",
+"XXXXXX..XXXXXXXXXX",
+"XXXXXXXX..XXXXXXXX",
+"XXXXXXXXXX..XXXXXX",
+"XXXXXXXXXXXX..XXXX",
+"XXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXX",
+"..................",
+"XXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXX",
+".................."
+};

diff --git a/lib/images/math/leqslant.xpm b/lib/images/math/leqslant.xpm
new file mode 100644 (file)
index 0000000..08cba7c
--- /dev/null
+++ b/lib/images/math/leqslant.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXX..XXXX",
+"XXXXXXXXXX..XXXXXX",
+"XXXXXXXX..XXXXXXXX",
+"XXXXXX..XXXXXXXXXX",
+"XXXX..XXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXX",
+"..XXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXX",
+"XXXXXX..XXXXXXXXXX",
+"..XXXXXX..XXXXXXXX",
+"XX..XXXXXX..XXXXXX",
+"XXXX..XXXXXX..XXXX",
+"XXXXXX..XXXXXX..XX",
+"XXXXXXXX..XXXXXX..",
+"XXXXXXXXXX..XXXXXX",
+"XXXXXXXXXXXX..XXXX",
+"XXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXXXXX.."
+};

diff --git a/lib/images/math/lessapprox.xpm b/lib/images/math/lessapprox.xpm
new file mode 100644 (file)
index 0000000..6642eca
--- /dev/null
+++ b/lib/images/math/lessapprox.xpm
@@ -0,0 +1,37 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"20 28 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXXX...XX",
+"XXXXXXXXXXXXX..XXXXX",
+"XXXXXXXXXX...XXXXXXX",
+"XXXXXXX...XXXXXXXXXX",
+"XXXXX..XXXXXXXXXXXXX",
+"XX...XXXXXXXXXXXXXXX",
+"..XXXXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXXX",
+"XXXXXX...XXXXXXXXXXX",
+"XXXXXXXXX..XXXXXXXXX",
+"XXXXXXXXXXX...XXXXXX",
+"XXXXXXXXXXXXXX..XXXX",
+"XXXXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXXXXXXXX",
+"XXX.....XXXXXXXXXXXX",
+"X..XXXX..XXXXXXXXX.X",
+"X.XXXXXXX.XXXXXXX.XX",
+".XXXXXXXXX..XXXX.XXX",
+".XXXXXXXXXX.....XXXX",
+"XXXXXXXXXXXXXXXXXXXX",
+"XX......XXXXXXXXXX.X",
+"X.XXXXX...XXXXXXXX.X",
+".XXXXXXXX..XXXXXXX.X",
+".XXXXXXXXX..XXXXX.XX",
+".XXXXXXXXXXX.....XXX"
+};

diff --git a/lib/images/math/lessdot.xpm b/lib/images/math/lessdot.xpm
new file mode 100644 (file)
index 0000000..3430d65
--- /dev/null
+++ b/lib/images/math/lessdot.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 17 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXX..X",
+"XXXXXXXXXXX..XXX",
+"XXXXXXXXX..XXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXX..XXXXXXXXX",
+"XXX..XXXXXXXXXXX",
+"X..XXXXXXXXXX..X",
+".XXXXXXXXXXX....",
+"X..XXXXXXXXX....",
+"XXX..XXXXXXXX..X",
+"XXXXX..XXXXXXXXX",
+"XXXXXXX..XXXXXXX",
+"XXXXXXXXX..XXXXX",
+"XXXXXXXXXXX..XXX",
+"XXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXXXX."
+};

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

diff --git a/lib/images/math/lesseqqgtr.xpm b/lib/images/math/lesseqqgtr.xpm
new file mode 100644 (file)
index 0000000..081adae
--- /dev/null
+++ b/lib/images/math/lesseqqgtr.xpm
@@ -0,0 +1,37 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"14 28 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXX..X",
+"XXXXXXXX...XXX",
+"XXXXXX..XXXXXX",
+"XXX...XXXXXXXX",
+"X..XXXXXXXXXXX",
+".XXXXXXXXXXXXX",
+"X..XXXXXXXXXXX",
+"XXX...XXXXXXXX",
+"XXXXXX..XXXXXX",
+"XXXXXXXX...XXX",
+"XXXXXXXXXXX..X",
+"XXXXXXXXXXXXXX",
+"..............",
+"XXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXX",
+"..............",
+"XXXXXXXXXXXXXX",
+"XX..XXXXXXXXXX",
+"XXXX..XXXXXXXX",
+"XXXXXX..XXXXXX",
+"XXXXXXXX..XXXX",
+"XXXXXXXXXX..XX",
+"XXXXXXXXXXXX..",
+"XXXXXXXXXXX..X",
+"XXXXXXXXX..XXX",
+"XXXXXX...XXXXX",
+"XXXX..XXXXXXXX",
+"XX..XXXXXXXXXX"
+};

diff --git a/lib/images/math/lessgtr.xpm b/lib/images/math/lessgtr.xpm
new file mode 100644 (file)
index 0000000..f5f80b7
--- /dev/null
+++ b/lib/images/math/lessgtr.xpm
@@ -0,0 +1,37 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 28 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXX..XXXX",
+"XXXXXXXXXXX..XXXXXX",
+"XXXXXXXX...XXXXXXXX",
+"XXXXXX..XXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXX",
+"..XXXXXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXX",
+"XXXX...XXXXXXXXXXXX",
+"XXXXXXX...XXXXXXXXX",
+"XXXXXXXXXX..XXXXXXX",
+"..XXXXXXXXXX...XXXX",
+"XX..XXXXXXXXXXX..XX",
+"XXXX...XXXXXXXXXX..",
+"XXXXXXX...XXXXXXXXX",
+"XXXXXXXXXX..XXXXXXX",
+"XXXXXXXXXXXX...XXXX",
+"XXXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXX...XXXX",
+"XXXXXXXXX...XXXXXXX",
+"XXXXXXX..XXXXXXXXXX",
+"XXXX...XXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXX",
+"..XXXXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/lesssim.xpm b/lib/images/math/lesssim.xpm
new file mode 100644 (file)
index 0000000..08aea85
--- /dev/null
+++ b/lib/images/math/lesssim.xpm
@@ -0,0 +1,32 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"20 23 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXXXX..XX",
+"XXXXXXXXXXXXXX..XXXX",
+"XXXXXXXXXXX...XXXXXX",
+"XXXXXXXXX..XXXXXXXXX",
+"XXXXXX...XXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXXX",
+"XX..XXXXXXXXXXXXXXXX",
+"..XXXXXXXXXXXXXXXXXX",
+"XX...XXXXXXXXXXXXXXX",
+"XXXXX..XXXXXXXXXXXXX",
+"XXXXXXX...XXXXXXXXXX",
+"XXXXXXXXXX...XXXXXXX",
+"XXXXXXXXXXXXX..XXXXX",
+"XXXXXXXXXXXXXXX...XX",
+"XXXXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXXXXXXXX",
+"XXXX.....XXXXXXXXXXX",
+"XXX.XXXX..XXXXXXXXX.",
+"XX.XXXXXXX.XXXXXXXX.",
+"X..XXXXXXXX.XXXXXX..",
+"X.XXXXXXXXXX.XXXXX.X",
+"X.XXXXXXXXXXX.....XX"
+};

diff --git a/lib/images/math/llcorner.xpm b/lib/images/math/llcorner.xpm
new file mode 100644 (file)
index 0000000..9fe1cf6
--- /dev/null
+++ b/lib/images/math/llcorner.xpm
@@ -0,0 +1,20 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"11 11 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+"..........."
+};

diff --git a/lib/images/math/lll.xpm b/lib/images/math/lll.xpm
new file mode 100644 (file)
index 0000000..6da7aca
--- /dev/null
+++ b/lib/images/math/lll.xpm
@@ -0,0 +1,28 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"32 19 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXX.XXXXXX.XXXXXX.",
+"XXXXXXXXXXXXXXX..XXXXX..XXXXX..X",
+"XXXXXXXXXXXXX..XXXXX..XXXXX..XXX",
+"XXXXXXXXXXX..XXXXX..XXXXX..XXXXX",
+"XXXXXXXXX..XXXXX..XXXXX..XXXXXXX",
+"XXXXXXX..XXXXX..XXXXX..XXXXXXXXX",
+"XXXXX..XXXXX..XXXXX..XXXXXXXXXXX",
+"XXX..XXXXX..XXXXX..XXXXXXXXXXXXX",
+"X..XXXXX..XXXXX..XXXXXXXXXXXXXXX",
+".XXXXX..XXXXX..XXXXXXXXXXXXXXXXX",
+"X..XXXX..XXXXX..XXXXXXXXXXXXXXXX",
+"XXX..XXXX..XXXXX..XXXXXXXXXXXXXX",
+"XXXXX..XXXX..XXXXX..XXXXXXXXXXXX",
+"XXXXXXX..XXXX..XXXXX..XXXXXXXXXX",
+"XXXXXXXXX..XXXX..XXXXX..XXXXXXXX",
+"XXXXXXXXXXX..XXXX..XXXXX..XXXXXX",
+"XXXXXXXXXXXXX..XXXX..XXXXX..XXXX",
+"XXXXXXXXXXXXXXX..XXXX..XXXXX..XX",
+"XXXXXXXXXXXXXXXXX.XXXXX.XXXXXX.X"
+};

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

diff --git a/lib/images/math/looparrowright.xpm b/lib/images/math/looparrowright.xpm
new file mode 100644 (file)
index 0000000..77796f7
--- /dev/null
+++ b/lib/images/math/looparrowright.xpm
@@ -0,0 +1,27 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 18 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXX.....XXXXXXXXXXXXXXXXXXX",
+"XX.XXXXX.XXXXXXXXXXXXXXXXXX",
+"X.XXXXXX..XXXXXXXXXXXXXXXXX",
+".XXXXXXXX.XXXXXXXXXXXXXXXXX",
+".XXXXXXXX.XXXXXXXXXXXXXXXXX",
+".XXXXXXXX.XXXXXXXXXXXX.XXXX",
+".XXXXXXXX.XXXXXXXXXXXXX.XXX",
+".XXXXXXXX.XXXXXXXXXXXXXX.XX",
+"X.XXXXXXX.XXXXXXXXXXXXXX..X",
+"XX.........................",
+"XXXXXXXXX.XXXXXXXXXXXXXX..X",
+"XXXXXXXXX.XXXXXXXXXXXXXX.XX",
+"XXXXXXXXX.XXXXXXXXXXXXX.XXX",
+"XXXXXXXXX.XXXXXXXXXXXX.XXXX",
+"XXXXXXXXX.XXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXXXXXXXXXX"
+};

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

diff --git a/lib/images/math/lrcorner.xpm b/lib/images/math/lrcorner.xpm
new file mode 100644 (file)
index 0000000..abb93de
--- /dev/null
+++ b/lib/images/math/lrcorner.xpm
@@ -0,0 +1,20 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"11 11 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"..........."
+};

diff --git a/lib/images/math/ltimes.xpm b/lib/images/math/ltimes.xpm
new file mode 100644 (file)
index 0000000..2075cbc
--- /dev/null
+++ b/lib/images/math/ltimes.xpm
@@ -0,0 +1,24 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"14 15 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXXXXXXXXXX.",
+"..XXXXXXXXXX.X",
+".X.XXXXXXXX.XX",
+".XX.XXXXXX.XXX",
+".XXX.XXXX.XXXX",
+".XXXX.XX.XXXXX",
+".XXXXX..XXXXXX",
+".XXXXX..XXXXXX",
+".XXXXX..XXXXXX",
+".XXXX.XX.XXXXX",
+".XXX.XXXX.XXXX",
+".XX.XXXXXX.XXX",
+".X.XXXXXXXX.XX",
+"..XXXXXXXXXX.X",
+".XXXXXXXXXXXX."
+};

diff --git a/lib/images/math/measuredangle.xpm b/lib/images/math/measuredangle.xpm
new file mode 100644 (file)
index 0000000..32d44bb
--- /dev/null
+++ b/lib/images/math/measuredangle.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXX.XXXXX",
+"XXXXXXXXXXX.XXXXXX",
+"XXXXXXXXXX.XXXXXXX",
+"XXXXXXXXX.XXXXXXXX",
+"XXXXXXXX.XXXXXXXXX",
+"XXXXXXX..XXXXXXXXX",
+"XXXXXX.X.XXXXXXXXX",
+"XXXXX.XXX.XXXXXXXX",
+"XXXX.XXXX.XXXXXXXX",
+"XXXX.XXXXX.XXXXXXX",
+"XXX.XXXXXX.XXXXXXX",
+"XX.XXXXXXX.XXXXXXX",
+"X.XXXXXXXX.XXXXXXX",
+"..................",
+"XXXXXXXXXX.XXXXXXX"
+};

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

diff --git a/lib/images/math/multimap.xpm b/lib/images/math/multimap.xpm
new file mode 100644 (file)
index 0000000..87e52fe
--- /dev/null
+++ b/lib/images/math/multimap.xpm
@@ -0,0 +1,18 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"30 9 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXXXXXXXX...XXX",
+"XXXXXXXXXXXXXXXXXXXXXX..XXX..X",
+"XXXXXXXXXXXXXXXXXXXXXX.XXXXX.X",
+"XXXXXXXXXXXXXXXXXXXXX.XXXXXXX.",
+"......................XXXXXXX.",
+"XXXXXXXXXXXXXXXXXXXXX.XXXXXXX.",
+"XXXXXXXXXXXXXXXXXXXXXX.XXXXX.X",
+"XXXXXXXXXXXXXXXXXXXXXX..XXX..X",
+"XXXXXXXXXXXXXXXXXXXXXXXX...XXX"
+};

diff --git a/lib/images/math/nLeftarrow.xpm b/lib/images/math/nLeftarrow.xpm
new file mode 100644 (file)
index 0000000..7b6fdee
--- /dev/null
+++ b/lib/images/math/nLeftarrow.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 17 3 1",
+"  c black",
+". c #5972ff",
+"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
new file mode 100644 (file)
index 0000000..9159764
--- /dev/null
+++ b/lib/images/math/nLeftrightarrow.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 17 3 1",
+"  c black",
+". c #5972ff",
+"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
new file mode 100644 (file)
index 0000000..a44fce2
--- /dev/null
+++ b/lib/images/math/nRightarrow.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 17 3 1",
+"  c black",
+". c #5972ff",
+"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/nexists.xpm b/lib/images/math/nexists.xpm
new file mode 100644 (file)
index 0000000..d30fe24
--- /dev/null
+++ b/lib/images/math/nexists.xpm
@@ -0,0 +1,39 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 30 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXX..XXX",
+"XXXXXXXXX.XXX",
+"XXXXXXXX.XXXX",
+"XXXXXXXX.XXXX",
+"XXXXXXXX.XXXX",
+".............",
+"XXXXXXX.XXXX.",
+"XXXXXXX.XXXX.",
+"XXXXXXX.XXXX.",
+"XXXXXXX.XXXX.",
+"XXXXXX.XXXXX.",
+"XXXXXX.XXXXX.",
+"XXXXXX.XXXXX.",
+"XXXXXX.XXXXX.",
+".............",
+"XXXXX.XXXXXX.",
+"XXXXX.XXXXXX.",
+"XXXXX.XXXXXX.",
+"XXXXX.XXXXXX.",
+"XXXX.XXXXXXX.",
+"XXXX.XXXXXXX.",
+"XXXX.XXXXXXX.",
+"XXXX.XXXXXXX.",
+"XXX.XXXXXXXX.",
+".............",
+"XXX.XXXXXXXXX",
+"XXX.XXXXXXXXX",
+"XX.XXXXXXXXXX",
+"XX.XXXXXXXXXX",
+"XX.XXXXXXXXXX"
+};

diff --git a/lib/images/math/nleftarrow.xpm b/lib/images/math/nleftarrow.xpm
new file mode 100644 (file)
index 0000000..702f1b2
--- /dev/null
+++ b/lib/images/math/nleftarrow.xpm
@@ -0,0 +1,21 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"25 13 2 1",
+"  c black",
+". c None",
+/* pixels */
+"............... .........",
+"............... .........",
+".... ......... ..........",
+"... .......... ..........",
+".. .......... ...........",
+". ........... ...........",
+"                         ",
+". ......... .............",
+".. ........ .............",
+"... ...... ..............",
+".... ..... ..............",
+"......... ...............",
+"......... ..............."
+};

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

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

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

diff --git a/lib/images/math/precapprox.xpm b/lib/images/math/precapprox.xpm
new file mode 100644 (file)
index 0000000..9f57d9c
--- /dev/null
+++ b/lib/images/math/precapprox.xpm
@@ -0,0 +1,38 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 29 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXX....XXXXX",
+"X...........XXXXXXX",
+"XXXXXXXXXX....XXXXX",
+"XXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XX......XXXXXXXXXX.",
+"X..XXXX..XXXXXXXXX.",
+"..XXXXXX..XXXXXXX..",
+".XXXXXXXX..XXXXX..X",
+".XXXXXXXXX.......XX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XX......XXXXXXXXXX.",
+"X..XXXX..XXXXXXXXX.",
+"..XXXXXX..XXXXXXX..",
+".XXXXXXXX..XXXXX..X",
+".XXXXXXXXX.......XX"
+};

diff --git a/lib/images/math/preccurlyeq.xpm b/lib/images/math/preccurlyeq.xpm
new file mode 100644 (file)
index 0000000..788a806
--- /dev/null
+++ b/lib/images/math/preccurlyeq.xpm
@@ -0,0 +1,30 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 21 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXX..",
+"XXXXXXXXXXXXXXX..X",
+"XXXXXXXXXXXXX...XX",
+"XXXXXXXXXXX....XXX",
+"XXXXXXXX....XXXXXX",
+"...........XXXXXXX",
+"XXXXXXXX....XXXXXX",
+"XXXXXXXXXXX...XXXX",
+"XXXXXXXXXXXXX...XX",
+"XXXXXXXXXXXXXXX..X",
+"X.......XXXXXXXX..",
+"XXXXXX....XXXXXXX.",
+"XXXXXXXXX...XXXXX.",
+"XXXXXXXXXXX..XXXXX",
+"XXXXXXXXXXXX..XXXX",
+"XXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXX..XXX",
+"XXXXXXXXXXXXXX.XXX"
+};

diff --git a/lib/images/math/precsim.xpm b/lib/images/math/precsim.xpm
new file mode 100644 (file)
index 0000000..c5ec3ec
--- /dev/null
+++ b/lib/images/math/precsim.xpm
@@ -0,0 +1,33 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 24 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXX....XXXXX",
+"XXXXXXX.....XXXXXXX",
+"X...........XXXXXXX",
+"XXXXXXXXXX....XXXXX",
+"XXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXX....XXXXXXXXXXXX",
+"X..XXX...XXXXXXXXX.",
+"..XXXXXXX.XXXXXXXX.",
+".XXXXXXXX..XXXXXX..",
+".XXXXXXXXXX..XXX..X",
+".XXXXXXXXXXX.....XX"
+};

diff --git a/lib/images/math/rightarrowtail.xpm b/lib/images/math/rightarrowtail.xpm
new file mode 100644 (file)
index 0000000..213ac35
--- /dev/null
+++ b/lib/images/math/rightarrowtail.xpm
@@ -0,0 +1,18 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"28 9 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXXXXXXXXXXXXXXXXXXXX.XXXX",
+"X.XXXXXXXXXXXXXXXXXXXXXX.XXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXX.XXXXXXXXXXXXXXXXXXXXXX.X",
+"XXX.........................",
+"XXX.XXXXXXXXXXXXXXXXXXXXXX.X",
+"XX.XXXXXXXXXXXXXXXXXXXXXX.XX",
+"X.XXXXXXXXXXXXXXXXXXXXXX.XXX",
+".XXXXXXXXXXXXXXXXXXXXXX.XXXX"
+};

diff --git a/lib/images/math/rightleftarrows.xpm b/lib/images/math/rightleftarrows.xpm
new file mode 100644 (file)
index 0000000..e4f6e74
--- /dev/null
+++ b/lib/images/math/rightleftarrows.xpm
@@ -0,0 +1,28 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"25 19 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXXXX.X",
+".........................",
+"XXXXXXXXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXXXXXXXX",
+".........................",
+"X..XXXXXXXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/rightrightarrows.xpm b/lib/images/math/rightrightarrows.xpm
new file mode 100644 (file)
index 0000000..75fe58b
--- /dev/null
+++ b/lib/images/math/rightrightarrows.xpm
@@ -0,0 +1,28 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"25 19 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXXXX.X",
+".........................",
+"XXXXXXXXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXXXX.X",
+".........................",
+"XXXXXXXXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXX.XXXX"
+};

diff --git a/lib/images/math/rightsquigarrow.xpm b/lib/images/math/rightsquigarrow.xpm
new file mode 100644 (file)
index 0000000..fc05d29
--- /dev/null
+++ b/lib/images/math/rightsquigarrow.xpm
@@ -0,0 +1,18 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"27 9 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXXXXXXXXXXXX.XXX",
+"XX...XXXXXXXXX.XXXXXXXXX.XX",
+"X..XX.XXXXXXX.X..XXXXXXX..X",
+"..XXXX.XXXXX.XXX...........",
+"XXXXXXX.XXX.XXXXXXXXXXXX..X",
+"XXXXXXXX...XXXXXXXXXXXXX.XX",
+"XXXXXXXXX.XXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXXXXXXXXXX.XXXX"
+};

diff --git a/lib/images/math/rightthreetimes.xpm b/lib/images/math/rightthreetimes.xpm
new file mode 100644 (file)
index 0000000..980a855
--- /dev/null
+++ b/lib/images/math/rightthreetimes.xpm
@@ -0,0 +1,28 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 19 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXX.X",
+"XXXXXXXXXXXXXXXX.XX",
+"XXXXXXXXXXXXXXX.XXX",
+"XXXXXXXXXXXXXX.XXXX",
+"XXXXXXXXXXXXX.XXXXX",
+"XXXXXXXXXXXX.XXXXXX",
+"XXXXXXXXXXX.XXXXXXX",
+"XXXXXXXXXX.XXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXX.X.XXXXXXXX",
+"XXXXXXX.XXX.XXXXXXX",
+"XXXXXX.XXXXX.XXXXXX",
+"XXXXX.XXXXXXX.XXXXX",
+"XXXX.XXXXXXXXX.XXXX",
+"XXX.XXXXXXXXXXX.XXX",
+"XX.XXXXXXXXXXXXX.XX",
+"X.XXXXXXXXXXXXXXX.X",
+".XXXXXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/risingdotseq.xpm b/lib/images/math/risingdotseq.xpm
new file mode 100644 (file)
index 0000000..aebea73
--- /dev/null
+++ b/lib/images/math/risingdotseq.xpm
@@ -0,0 +1,27 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 18 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXX...",
+"XXXXXXXXXXXXXXXX...",
+"XXXXXXXXXXXXXXXX...",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"...................",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"...................",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"...XXXXXXXXXXXXXXXX",
+"...XXXXXXXXXXXXXXXX",
+"...XXXXXXXXXXXXXXXX"
+};

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

diff --git a/lib/images/math/shortmid.xpm b/lib/images/math/shortmid.xpm
new file mode 100644 (file)
index 0000000..c557419
--- /dev/null
+++ b/lib/images/math/shortmid.xpm
@@ -0,0 +1,21 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"1 14 1 1",
+"  c #5972ff",
+/* pixels */
+" ",
+" ",
+" ",
+" ",
+" ",
+" ",
+" ",
+" ",
+" ",
+" ",
+" ",
+" ",
+" ",
+" "
+};

diff --git a/lib/images/math/shortparallel.xpm b/lib/images/math/shortparallel.xpm
new file mode 100644 (file)
index 0000000..0da5ac4
--- /dev/null
+++ b/lib/images/math/shortparallel.xpm
@@ -0,0 +1,23 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"8 14 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX.",
+".XXXXXX."
+};

diff --git a/lib/images/math/smallfrown.xpm b/lib/images/math/smallfrown.xpm
new file mode 100644 (file)
index 0000000..a000463
--- /dev/null
+++ b/lib/images/math/smallfrown.xpm
@@ -0,0 +1,17 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"21 8 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXX.......XXXXXXX",
+"XXXXX...XXXXX...XXXXX",
+"XXXX..XXXXXXXXX..XXXX",
+"XXX..XXXXXXXXXXX..XXX",
+"XX..XXXXXXXXXXXXX..XX",
+"X..XXXXXXXXXXXXXXX..X",
+"..XXXXXXXXXXXXXXXXX..",
+".XXXXXXXXXXXXXXXXXXX."
+};

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

diff --git a/lib/images/math/smallsmile.xpm b/lib/images/math/smallsmile.xpm
new file mode 100644 (file)
index 0000000..faaa790
--- /dev/null
+++ b/lib/images/math/smallsmile.xpm
@@ -0,0 +1,16 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"21 7 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"..XXXXXXXXXXXXXXXXX..",
+"X..XXXXXXXXXXXXXXX..X",
+"XX..XXXXXXXXXXXXX..XX",
+"XXX..XXXXXXXXXXX..XXX",
+"XXXX..XXXXXXXXX..XXXX",
+"XXXXX...XXXXX...XXXXX",
+"XXXXXXX.......XXXXXXX"
+};

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

diff --git a/lib/images/math/sqsubset.xpm b/lib/images/math/sqsubset.xpm
new file mode 100644 (file)
index 0000000..14b61ab
--- /dev/null
+++ b/lib/images/math/sqsubset.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"17 17 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".................",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXX",
+"................."
+};

diff --git a/lib/images/math/sqsupset.xpm b/lib/images/math/sqsupset.xpm
new file mode 100644 (file)
index 0000000..bda769e
--- /dev/null
+++ b/lib/images/math/sqsupset.xpm
@@ -0,0 +1,26 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"20 17 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"....................",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"XXXXXXXXXXXXXXXXXXX.",
+"...................."
+};

diff --git a/lib/images/math/square.xpm b/lib/images/math/square.xpm
new file mode 100644 (file)
index 0000000..0302a19
--- /dev/null
+++ b/lib/images/math/square.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 20 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...................",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+".XXXXXXXXXXXXXXXXX.",
+"..................."
+};

diff --git a/lib/images/math/subseteqq.xpm b/lib/images/math/subseteqq.xpm
new file mode 100644 (file)
index 0000000..73e2da2
--- /dev/null
+++ b/lib/images/math/subseteqq.xpm
@@ -0,0 +1,35 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"18 26 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXX.............",
+"XXXX.XXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXXX",
+".XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXX",
+"XXXX.XXXXXXXXXXXXX",
+"XXXXX.............",
+"XXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXX",
+"..................",
+"XXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXX",
+".................."
+};

diff --git a/lib/images/math/succapprox.xpm b/lib/images/math/succapprox.xpm
new file mode 100644 (file)
index 0000000..7fb5d5b
--- /dev/null
+++ b/lib/images/math/succapprox.xpm
@@ -0,0 +1,38 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 29 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXX",
+"XXXXX....XXXXXXXXXX",
+"XXXXXXX...........X",
+"XXXXX....XXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XX......XXXXXXXXXX.",
+"X..XXXX..XXXXXXXXX.",
+"..XXXXXXX.XXXXXXXX.",
+".XXXXXXXXX..XXXX..X",
+".XXXXXXXXXX......XX",
+"XXXXXXXXXXXXXXXXXXX",
+"XX......XXXXXXXXXX.",
+"X..XXXX..XXXXXXXXX.",
+"..XXXXXXX.XXXXXXXX.",
+".XXXXXXXXX..XXXX..X",
+".XXXXXXXXXX......XX"
+};

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

diff --git a/lib/images/math/succsim.xpm b/lib/images/math/succsim.xpm
new file mode 100644 (file)
index 0000000..917dfcf
--- /dev/null
+++ b/lib/images/math/succsim.xpm
@@ -0,0 +1,34 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 25 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXX",
+"XXXXX....XXXXXXXXXX",
+"XXXXXXX...........X",
+"XXXXX....XXXXXXXXXX",
+"XXXX..XXXXXXXXXXXXX",
+"XXX.XXXXXXXXXXXXXXX",
+"XX.XXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"X.XXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XX.....XXXXXXXXXXX.",
+"X...XXX.XXXXXXXXXX.",
+"X.XXXXXX.XXXXXXXX..",
+"..XXXXXXX.XXXXXXX.X",
+".XXXXXXXXX.XXXXX..X",
+".XXXXXXXXXX......XX"
+};

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

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

diff --git a/lib/images/math/thickapprox.xpm b/lib/images/math/thickapprox.xpm
new file mode 100644 (file)
index 0000000..eeb68e5
--- /dev/null
+++ b/lib/images/math/thickapprox.xpm
@@ -0,0 +1,21 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 12 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXX....XXXXXXXXXXX.",
+"X.........XXXXXXXX.",
+"...XXX......XXXXX..",
+".XXXXXXXX.........X",
+".XXXXXXXXXXX.....XX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXX",
+"XXX.....XXXXXXXXXX.",
+"X.........XXXXXXXX.",
+"X.XXXXX.....XXXXX..",
+".XXXXXXXX.........X",
+"XXXXXXXXXXX.....XXX"
+};

diff --git a/lib/images/math/thicksim.xpm b/lib/images/math/thicksim.xpm
new file mode 100644 (file)
index 0000000..3598fd3
--- /dev/null
+++ b/lib/images/math/thicksim.xpm
@@ -0,0 +1,16 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 7 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXX......XXXXXXXXX.",
+"XX........XXXXXXXX.",
+"X..XXXXX...XXXXXXX.",
+"..XXXXXXX...XXXXX..",
+".XXXXXXXXX...XXX..X",
+".XXXXXXXXXX......XX",
+".XXXXXXXXXXX....XXX"
+};

diff --git a/lib/images/math/triangledown.xpm b/lib/images/math/triangledown.xpm
new file mode 100644 (file)
index 0000000..e1904f2
--- /dev/null
+++ b/lib/images/math/triangledown.xpm
@@ -0,0 +1,28 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 19 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"................",
+".XXXXXXXXXXXXXX.",
+"X.XXXXXXXXXXXX.X",
+"X.XXXXXXXXXXXX.X",
+"XX.XXXXXXXXXX.XX",
+"XX.XXXXXXXXXX.XX",
+"XX.XXXXXXXXX.XXX",
+"XXX.XXXXXXXX.XXX",
+"XXX.XXXXXXX.XXXX",
+"XXX.XXXXXXX.XXXX",
+"XXXX.XXXXXX.XXXX",
+"XXXX.XXXXX.XXXXX",
+"XXXXX.XXXX.XXXXX",
+"XXXXX.XXX.XXXXXX",
+"XXXXX.XXX.XXXXXX",
+"XXXXXX.X.XXXXXXX",
+"XXXXXX.X.XXXXXXX",
+"XXXXXXX.XXXXXXXX",
+"XXXXXXX.XXXXXXXX"
+};

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

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

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

diff --git a/lib/images/math/twoheadleftarrow.xpm b/lib/images/math/twoheadleftarrow.xpm
new file mode 100644 (file)
index 0000000..8c41f0b
--- /dev/null
+++ b/lib/images/math/twoheadleftarrow.xpm
@@ -0,0 +1,18 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"25 9 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXX.XXXX.XXXXXXXXXXXXXXXX",
+"XX.XXXX.XXXXXXXXXXXXXXXXX",
+"XX.XXXX.XXXXXXXXXXXXXXXXX",
+"X.XXXX.XXXXXXXXXXXXXXXXXX",
+".........................",
+"X.XXXX.XXXXXXXXXXXXXXXXXX",
+"XX.XXXX.XXXXXXXXXXXXXXXXX",
+"XX.XXXX.XXXXXXXXXXXXXXXXX",
+"XXX.XXXX.XXXXXXXXXXXXXXXX"
+};

diff --git a/lib/images/math/twoheadrightarrow.xpm b/lib/images/math/twoheadrightarrow.xpm
new file mode 100644 (file)
index 0000000..f47aec0
--- /dev/null
+++ b/lib/images/math/twoheadrightarrow.xpm
@@ -0,0 +1,18 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"25 9 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXX.XXXXX.XXX",
+"XXXXXXXXXXXXXXXX.XXXXX.XX",
+"XXXXXXXXXXXXXXXX.XXXXX.XX",
+"XXXXXXXXXXXXXXXXX.XXXXX.X",
+".........................",
+"XXXXXXXXXXXXXXXXX.XXXXX.X",
+"XXXXXXXXXXXXXXXX.XXXXX.XX",
+"XXXXXXXXXXXXXXXX.XXXXX.XX",
+"XXXXXXXXXXXXXXX.XXXXX.XXX"
+};

diff --git a/lib/images/math/ulcorner.xpm b/lib/images/math/ulcorner.xpm
new file mode 100644 (file)
index 0000000..6830cc2
--- /dev/null
+++ b/lib/images/math/ulcorner.xpm
@@ -0,0 +1,20 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"11 11 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...........",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX",
+".XXXXXXXXXX"
+};

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

diff --git a/lib/images/math/upharpoonright.xpm b/lib/images/math/upharpoonright.xpm
new file mode 100644 (file)
index 0000000..782731f
--- /dev/null
+++ b/lib/images/math/upharpoonright.xpm
@@ -0,0 +1,34 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"5 25 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+".XXXX",
+"..XXX",
+".X.XX",
+".XX.X",
+".XXX.",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX",
+".XXXX"
+};

diff --git a/lib/images/math/upuparrows.xpm b/lib/images/math/upuparrows.xpm
new file mode 100644 (file)
index 0000000..4500194
--- /dev/null
+++ b/lib/images/math/upuparrows.xpm
@@ -0,0 +1,35 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"21 26 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXX...XXXXXXX...XXXX",
+"XXX.....XXXXX.....XXX",
+"X...X.X...X...X.X...X",
+".XXXX.XXXX.XXXX.XXXX.",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX",
+"XXXXX.XXXXXXXXX.XXXXX"
+};

diff --git a/lib/images/math/urcorner.xpm b/lib/images/math/urcorner.xpm
new file mode 100644 (file)
index 0000000..a78550b
--- /dev/null
+++ b/lib/images/math/urcorner.xpm
@@ -0,0 +1,20 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"11 11 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"...........",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX.",
+"XXXXXXXXXX."
+};

diff --git a/lib/images/math/vDash.xpm b/lib/images/math/vDash.xpm
new file mode 100644 (file)
index 0000000..9be0010
--- /dev/null
+++ b/lib/images/math/vDash.xpm
@@ -0,0 +1,29 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"14 20 3 1",
+"  c black",
+". c #5972ff",
+"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/varkappa.xpm b/lib/images/math/varkappa.xpm
new file mode 100644 (file)
index 0000000..be9928c
--- /dev/null
+++ b/lib/images/math/varkappa.xpm
@@ -0,0 +1,22 @@
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"19 13 3 1",
+"  c black",
+". c #5972ff",
+"X c None",
+/* pixels */
+"XXXX...XXXXXXXXX...",
+"XXX....XXXXXXXX....",
+"XX...X.XXXXXXX...XX",
+"XX.XXX.XXXXXX...XXX",
+"XXXXXX.XXXX....XXXX",
+"XXXXX.XXX.....XXXXX",
+"XXXXX.XX...X.XXXXXX",
+"XXXXX.X...XX.XXXXXX",
+"XXXX.....XXX.XXXXXX",
+"XXX....XXXX.XXXXXXX",
+"XX...XXXXXX.XXXX.XX",
+"X...XXXXXXX.....XXX",
+"...XXXXXXXX....XXXX"
+};

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

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

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

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

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

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