anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-25 10:58:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add all AMS symbols except nrel

Browse Source 
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@5159 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
John Levon 2002-08-29 07:55:18 +00:00
parent 90ca1a7020
commit 66610bb3ac
158 changed files with 4347 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
lib/images/math/Bbbk.xpm Normal file
View File

@ -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......."
};

21
lib/images/math/Bumpeq.xpm Normal file
View File

@ -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"
};

26
lib/images/math/Cap.xpm Normal file
View File

@ -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."
};

27
lib/images/math/Cup.xpm Normal file
View File

@ -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"
};

29
lib/images/math/Finv.xpm Normal file
View File

@ -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.",
"............."
};

31
lib/images/math/Game.xpm Normal file
View File

@ -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"
};

30
lib/images/math/Lleftarrow.xpm Normal file
View File

@ -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"
};

31
lib/images/math/Lsh.xpm Normal file
View File

@ -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."
};

9
lib/images/math/MISSING
View File

@ -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)

29
lib/images/math/Rsh.xpm Normal file
View File

@ -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"
};

26
lib/images/math/Subset.xpm Normal file
View File

@ -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............"
};

26
lib/images/math/Supset.xpm Normal file
View File

@ -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"
};

29
lib/images/math/Vdash.xpm Normal file
View File

@ -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"
};

29
lib/images/math/Vvdash.xpm Normal file
View File

@ -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"
};

26
lib/images/math/approxeq.xpm Normal file
View File

@ -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",
"...................."
};

22
lib/images/math/backepsilon.xpm Normal file
View File

@ -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"
};

25
lib/images/math/backprime.xpm Normal file
View File

@ -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."
};

15
lib/images/math/backsim.xpm Normal file
View File

@ -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."
};

19
lib/images/math/backsimeq.xpm Normal file
View File

@ -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",
"..................."
};

30
lib/images/math/barwedge.xpm Normal file
View File

@ -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"
};

25
lib/images/math/because.xpm Normal file
View File

@ -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"
};

32
lib/images/math/beth.xpm Normal file
View File

@ -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"
};

39
lib/images/math/between.xpm Normal file
View File

@ -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."
};

32
lib/images/math/bigstar.xpm Normal file
View File

@ -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"
};

34
lib/images/math/blacklozenge.xpm Normal file
View File

@ -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"
};

27
lib/images/math/blacksquare.xpm Normal file
View File

@ -0,0 +1,27 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"20 20 1 1",
" c #5972ff",
/* pixels */
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" ",
" "
};

26
lib/images/math/blacktriangle.xpm Normal file
View File

@ -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",
"................."
};

26
lib/images/math/blacktriangledown.xpm Normal file
View File

@ -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"
};

26
lib/images/math/blacktriangleleft.xpm Normal file
View File

@ -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.."
};

26
lib/images/math/blacktriangleright.xpm Normal file
View File

@ -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"
};

29
lib/images/math/boxdot.xpm Normal file
View File

@ -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.",
"..................."
};

29
lib/images/math/boxminus.xpm Normal file
View File

@ -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.",
"..................."
};

29
lib/images/math/boxplus.xpm Normal file
View File

@ -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.",
"..................."
};

29
lib/images/math/boxtimes.xpm Normal file
View File

@ -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..",
"..................."
};

19
lib/images/math/bumpeq.xpm Normal file
View File

@ -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",
"..................."
};

12
lib/images/math/centerdot.xpm Normal file
View File

@ -0,0 +1,12 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"5 5 1 1",
" c #5972ff",
/* pixels */
" ",
" ",
" ",
" ",
" "
};

23
lib/images/math/circeq.xpm Normal file
View File

@ -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",
"..................."
};

31
lib/images/math/circlearrowleft.xpm Normal file
View File

@ -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"
};

31
lib/images/math/circlearrowright.xpm Normal file
View File

@ -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"
};

34
lib/images/math/circledS.xpm Normal file
View File

@ -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"
};

28
lib/images/math/circledast.xpm Normal file
View File

@ -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"
};

26
lib/images/math/circledcirc.xpm Normal file
View File

@ -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"
};

30
lib/images/math/circleddash.xpm Normal file
View File

@ -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"
};

34
lib/images/math/complement.xpm Normal file
View File

@ -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"
};

30
lib/images/math/curlyeqprec.xpm Normal file
View File

@ -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."
};

29
lib/images/math/curlyeqsucc.xpm Normal file
View File

@ -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"
};

26
lib/images/math/curlyvee.xpm Normal file
View File

@ -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"
};

26
lib/images/math/curlywedge.xpm Normal file
View File

@ -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..."
};

22
lib/images/math/curvearrowleft.xpm Normal file
View File

@ -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."
};

22
lib/images/math/curvearrowright.xpm Normal file
View File

@ -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"
};

33
lib/images/math/daleth.xpm Normal file
View File

@ -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"
};

20
lib/images/math/dashleftarrow.xpm Normal file
View File

@ -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"
};

20
lib/images/math/dashrightarrow.xpm Normal file
View File

@ -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"
};

34
lib/images/math/diagdown.xpm Normal file
View File

@ -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."
};

34
lib/images/math/diagup.xpm Normal file
View File

@ -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"
};

30
lib/images/math/digamma.xpm Normal file
View File

@ -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"
};

26
lib/images/math/divideontimes.xpm Normal file
View File

@ -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"
};

27
lib/images/math/doteqdot.xpm Normal file
View File

@ -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"
};

35
lib/images/math/dotplus.xpm Normal file
View File

@ -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"
};

36
lib/images/math/doublebarwedge.xpm Normal file
View File

@ -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"
};

35
lib/images/math/downdownarrows.xpm Normal file
View File

@ -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"
};

35
lib/images/math/downharpoonleft.xpm Normal file
View File

@ -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."
};

34
lib/images/math/downharpoonright.xpm Normal file
View File

@ -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"
};

17
lib/images/math/eqcirc.xpm Normal file
View File

@ -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"
};

31
lib/images/math/eqslantgtr.xpm Normal file
View File

@ -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"
};

30
lib/images/math/eqslantless.xpm Normal file
View File

@ -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.."
};

31
lib/images/math/eth.xpm Normal file
View File

@ -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"
};

27
lib/images/math/fallingdotseq.xpm Normal file
View File

@ -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..."
};

34
lib/images/math/geqq.xpm Normal file
View File

@ -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",
".................."
};

30
lib/images/math/geqslant.xpm Normal file
View File

@ -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"
};

25
lib/images/math/ggg.xpm Normal file
View File

@ -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"
};

33
lib/images/math/gimel.xpm Normal file
View File

@ -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"
};

36
lib/images/math/gtrapprox.xpm Normal file
View File

@ -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"
};

24
lib/images/math/gtrdot.xpm Normal file
View File

@ -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"
};

40
lib/images/math/gtreqless.xpm Normal file
View File

@ -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"
};

41
lib/images/math/gtreqqless.xpm Normal file
View File

@ -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.."
};

34
lib/images/math/gtrless.xpm Normal file
View File

@ -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.."
};

33
lib/images/math/gtrsim.xpm Normal file
View File

@ -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"
};

29
lib/images/math/hslash.xpm Normal file
View File

@ -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"
};

27
lib/images/math/intercal.xpm Normal file
View File

@ -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"
};

18
lib/images/math/leftarrowtail.xpm Normal file
View File

@ -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."
};

28
lib/images/math/leftleftarrows.xpm Normal file
View File

@ -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"
};

30
lib/images/math/leftrightarrows.xpm Normal file
View File

@ -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"
};

24
lib/images/math/leftrightharpoons.xpm Normal file
View File

@ -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"
};

18
lib/images/math/leftrightsquigarrow.xpm Normal file
View File

@ -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"
};

28
lib/images/math/leftthreetimes.xpm Normal file
View File

@ -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."
};

34
lib/images/math/leqq.xpm Normal file
View File

@ -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",
".................."
};

30
lib/images/math/leqslant.xpm Normal file
View File

@ -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.."
};

37
lib/images/math/lessapprox.xpm Normal file
View File

@ -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"
};

26
lib/images/math/lessdot.xpm Normal file
View File

@ -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."
};

35
lib/images/math/lesseqgtr.xpm Normal file
View File

@ -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"
};

37
lib/images/math/lesseqqgtr.xpm Normal file
View File

@ -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"
};

37
lib/images/math/lessgtr.xpm Normal file
View File

@ -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"
};

32
lib/images/math/lesssim.xpm Normal file
View File

@ -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"
};

20
lib/images/math/llcorner.xpm Normal file
View File

@ -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",
"..........."
};

28
lib/images/math/lll.xpm Normal file
View File

@ -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"
};

27
lib/images/math/looparrowleft.xpm Normal file
View File

@ -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"
};

27
lib/images/math/looparrowright.xpm Normal file
View File

@ -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"
};

34
lib/images/math/lozenge.xpm Normal file
View File

@ -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"
};

20
lib/images/math/lrcorner.xpm Normal file
View File

@ -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.",
"..........."
};

Some files were not shown because too many files have changed in this diff Show More