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

Add some mathed XPMs

Browse Source 
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@5153 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
John Levon 2002-08-29 06:43:43 +00:00
parent bfefc79520
commit 546ae5e8f2
179 changed files with 4208 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
lib/images/math/Delta.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",
"XXXXXXX...XXXXXXX",
"XXXXXXX...XXXXXXX",
"XXXXXX.X...XXXXXX",
"XXXXXX.XX..XXXXXX",
"XXXXX.XXX...XXXXX",
"XXXXX.XXXX..XXXXX",
"XXXX.XXXXX...XXXX",
"XXXX.XXXXXX..XXXX",
"XXX.XXXXXXX...XXX",
"XXX.XXXXXXXX..XXX",
"XX.XXXXXXXXX..XXX",
"XX.XXXXXXXXXX..XX",
"X.XXXXXXXXXXX..XX",
"X.XXXXXXXXXXXX..X",
"X...............X",
"................."
};

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

@ -0,0 +1,31 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 22 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
".XXX.XXXX.XX.",
"X..X.XXXX.X.X",
"XXX..XXXX..XX",
"XXXX.XXXX.XXX",
"XXXXX.XX.XXXX",
"XXXXX.X.XXXXX",
"XXXXXX..XXXXX",
"XXXXXX..XXXXX",
"XXXXXX.XXXXXX"
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"............X",
"XX..XXXXXXX..",
"XX..XXXXXXXX.",
"XX..XXXXXXXX.",
"XX..XXXXXXXX.",
"XX..XXXXXXXXX",
"XX..XXXXXXXXX",
"XX..XXXXXXXXX",
"XX..XXXXXXXXX",
"XX..XXXXXXXXX",
"XX..XXXXXXXXX",
"XX..XXXXXXXXX",
"XX..XXXXXXXXX",
"XX..XXXXXXXXX",
"XX..XXXXXXXXX",
".......XXXXXX"
};

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

@ -0,0 +1,23 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 14 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX.....XXXXXX",
"X..XXX...XXXX",
".XXXXXX...XX.",
".XXXXXXXX...X",
".XXXXXXXXXXXX",
"X..XXXXXXX..X",
"XXX..XXXX.XX.",
"XXXXXXXXX.XXX",
"XXXXXXXXX.XXX",
"XXXXXXXXXX.XX",
"....XXXXXXX.X",
"XX...XXXXXX.X",
"XXXX..XXXX..X",
"XXXXX......XX"
};

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

@ -0,0 +1,26 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"15 17 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXX.XXXXXXX",
"XXXXXXX.XXXXXXX",
"XXXXXX...XXXXXX",
"XXXXXX...XXXXXX",
"XXXXX.X..XXXXXX",
"XXXXX.XX..XXXXX",
"XXXXX.XX..XXXXX",
"XXXX.XXX..XXXXX",
"XXXX.XXXX..XXXX",
"XXXX.XXXX..XXXX",
"XXX.XXXXX..XXXX",
"XXX.XXXXXX..XXX",
"XXX.XXXXXX..XXX",
"XX.XXXXXXX..XXX",
"XX.XXXXXXXX..XX",
"XX.XXXXXXXX..XX",
".....XXXX......"
};

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

@ -0,0 +1,22 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"21 13 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXX..XXXXXXXXXXXX",
"XXXXXXX.XXXXXXXXXXXXX",
"XXXXXX.XXXXXXXXXXXXXX",
"XXXXX..XXXXXXXXXXXXXX",
"XXXX.................",
"XXX..XXXXXXXXXXXXXXXX",
"X..XXXXXXXXXXXXXXXXXX",
"...XXXXXXXXXXXXXXXXXX",
"XXX..XXXXXXXXXXXXXXXX",
"XXXXX................",
"XXXXXX.XXXXXXXXXXXXXX",
"XXXXXXX.XXXXXXXXXXXXX",
"XXXXXXX..XXXXXXXXXXXX"
};

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

@ -0,0 +1,22 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"22 13 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX.XXXXXXXX.XXXXXX",
"XXXXXX.XXXXXXXX.XXXXXX",
"XXXXX.XXXXXXXXXX.XXXXX",
"XXXX..XXXXXXXXXX..XXXX",
"XXXX...............XXX",
"XX..XXXXXXXXXXXXXX..XX",
"X..XXXXXXXXXXXXXXXX..X",
"...XXXXXXXXXXXXXXXX...",
"XXX.XXXXXXXXXXXXXX..XX",
"XXXX..............XXXX",
"XXXXX.XXXXXXXXXX.XXXXX",
"XXXXXX.XXXXXXXX..XXXXX",
"XXXXXX.XXXXXXXX.XXXXXX"
};

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

@ -0,0 +1,21 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"32 12 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXX.XXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXX............................",
"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXX............................",
"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXXX.XXXXXXXXXXXXXXXXXXXXXXXX"
};

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

@ -0,0 +1,21 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"37 12 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXX.XXXXXXXXXXXXXXXXXXXXX.XXXXXXX",
"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
"XXXX.............................XXXX",
"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
"..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..",
"XX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
"XXXX.............................XXXX",
"XXXXX.XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
"XXXXXX.XXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
"XXXXXXX.XXXXXXXXXXXXXXXXXXXXX.XXXXXXX"
};

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

@ -0,0 +1,21 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"32 12 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXXXXXXXXXXXXXXXXXX.XXXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
"............................XXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX",
"............................XXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXX.XXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXX.XXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXX.XXXXXXX"
};

11
lib/images/math/MISSING Normal file
View File

@ -0,0 +1,11 @@
Missing XPMs
------------
_.xpm (what is this ?)
All mathbb
All mathcal
All mathrm
nearrow.xpm
nwarrow.xpm
All textrm
All AMS

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

@ -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 */
"XXXX.......XXXX",
"XXX..XXXXX..XXX",
"X...XXXXXXX..XX",
"X..XXXXXXXXX..X",
"...XXXXXXXXX...",
"...XXXXXXXXX...",
"...XXXXXXXXX...",
"X..XXXXXXXXX..X",
"X..XXXXXXXXX..X",
"XX.XXXXXXXX..XX",
"XXX.XXXXXXX.XXX",
"XXX.XXXXXXX.XXX",
".XXX.XXXXX.XXX.",
".XXX.XXXXX.XXX.",
".....XXXXX....X",
"X....XXXXX....X"
};

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

@ -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 */
"XXX.........XXX",
"XXXXXX..XXXXXXX",
"XXXXXX..XXXXXXX",
"XXXX......XXXXX",
"XX..XX..XX...XX",
"X..XXX..XXXX..X",
"..XXXX..XXXXX..",
"..XXXX..XXXXX..",
"..XXXX..XXXXX..",
"..XXXX..XXXXX..",
"X..XXX..XXXX..X",
"XX..XX..XXX..XX",
"XXXX.......XXXX",
"XXXXXX..XXXXXXX",
"XXXXXX..XXXXXXX",
"XXX.........XXX"
};

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

@ -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 */
"...............",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"XX..XXXXXXX..XX",
"......XXX......"
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"16 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXX........XXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"...XXXX..XXXX...",
"X..XXXX..XXXX..X",
"XX..XXX..XXX..XX",
"XX..XXX..XXX..XX",
"XX..XXX..XXX..XX",
"XX..XXX..XXX..XX",
"XX..XXX..XXX..XX",
"XXX..XX..XX..XXX",
"XXXX..X..X..XXXX",
"XXXXX......XXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXX........XXXX"
};

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

@ -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 */
"X...XXXX...XXX",
"..XX.X..XX..XX",
".XXX..XXXX..XX",
".XXXX.XXXXX..X",
"X.XXX.XXXXX...",
"XX.XX.XXXXX..X",
"XX.XX......XXX",
".X.XX.XXX.XXXX",
"..XXX.XXX.XXXX",
"XXXXX.XXX.XXXX",
"XXXXX.XXX.XXXX",
".XXXX.XXX.XXXX",
".XXX.XXXX.XX.X",
"X.XX.XXXX.....",
"XX..XXXXXX..XX"
};

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

@ -0,0 +1,22 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"21 13 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXXXXXX..XXXXXXX",
"XXXXXXXXXXXXX.XXXXXXX",
"XXXXXXXXXXXXXX.XXXXXX",
"XXXXXXXXXXXXXX..XXXXX",
".................XXXX",
"XXXXXXXXXXXXXXXX..XXX",
"XXXXXXXXXXXXXXXXXX..X",
"XXXXXXXXXXXXXXXXXX...",
"XXXXXXXXXXXXXXXX..XXX",
".................XXXX",
"XXXXXXXXXXXXXX.XXXXXX",
"XXXXXXXXXXXXX.XXXXXXX",
"XXXXXXXXXXXX..XXXXXXX"
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"14 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".............X",
"X..XXXXXXXX...",
"X...XXXXXXXXX.",
"XX..XXXXXXXXX.",
"XXX..XXXXXXXX.",
"XXX...XXXXXXXX",
"XXXX..XXXXXXXX",
"XXXXX..XXXXXXX",
"XXXXX..XXXXXXX",
"XXXXX.XXXXXXXX",
"XXXX.XXXXXXXXX",
"XXXX.XXXXXXXX.",
"XXX.XXXXXXXXX.",
"XX.XXXXXXXXXX.",
"X.XXXXXXXXX...",
".............X"
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"16 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXX......XXXXX",
"XXXX.XXXXXX..XXX",
"XX..XXXXXXXXX.XX",
"XX.XXXXXXXXXX..X",
"X..XXXXXXXXXXX.X",
"X..XXXXXXXXXXX..",
"....XXXXXXXX.X..",
"..XX.........X..",
"..XX.........X..",
"....XXXXXXXX.X..",
"X..XXXXXXXXXXX..",
"X..XXXXXXXXXX..X",
"X...XXXXXXXXX..X",
"XX..XXXXXXXX..XX",
"XXX...XXXX...XXX",
"XXXXX......XXXXX"
};

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

@ -0,0 +1,31 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 22 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX.XXXXXX",
"XXXXXX..XXXXX",
"XXXXXX..XXXXX",
"XXXXX.XX.XXXX",
"XXXX.XXX.XXXX",
"XXX..XXXX.XXX",
"XX...XXXX..XX",
"X.XX.XXXX.X..",
".XXX.XXXX.XX.",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX"
};

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

@ -0,0 +1,35 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 26 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX..XXXXX",
"XXXXXX..XXXXX",
"XXXXX....XXXX",
"XXXX..XX.XXXX",
"XXX..XXXX.XXX",
"XX...XXXX...X",
"..XX.XXXX.X..",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
"XXXX.XXXX.XXX",
".XXX.XXXX.XX.",
"X..X.XXXX.X.X",
"XXX..XXXX..XX",
"XXXX.XXXX.XXX",
"XXXXX.XX.XXXX",
"XXXXXX..XXXXX",
"XXXXXX..XXXXX",
"XXXXXX.XXXXXX"
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"16 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX...XXXXXX...XX",
"X.....XXXX.....X",
"..XXX..XX..XXX.X",
".XXXXX.XX.XXXXX.",
"XXXXXX....XXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXX........XXXX"
};

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

@ -0,0 +1,30 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"5 21 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX.",
".XXX."
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"14 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"..............",
"..............",
".XXXXXXXXXXXX.",
".XXXXXXXXXXXX.",
"XXXXXXXXXXXXXX",
"XXXXXXXXXXXXXX",
"XX.XXXXXXXX.XX",
"XX..........XX",
"XX..........XX",
"XX.XXXXXXXX.XX",
"XXXXXXXXXXXXXX",
"XXXXXXXXXXXXXX",
".XXXXXXXXXXXX.",
".XXXXXXXXXXXX.",
"..............",
".............."
};

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

@ -0,0 +1,23 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"11 14 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".XXXXXX.XXX",
".XXXXXX..XX",
"X.XXXXXX..X",
"XX.XXXXXX..",
"XX..XXXX.X.",
"XX...XXX.XX",
"X.XX..XX.XX",
"X.XXX..X.XX",
"X.XXXX...XX",
"X.XXXXX..XX",
"X..XXXXX..X",
"XX.XXXXXX.X",
"XX..XXXXXX.",
"....XXXXXX."
};

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

@ -0,0 +1,20 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 11 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXX....XXXXX",
"XXX..XXX.XXXX",
"XX..XXXXX.XX.",
"X..XXXXXX.XX.",
"X.XXXXXXX.X.X",
"..XXXXXXX..XX",
"..XXXXXXX..XX",
"..XXXXXXX.XXX",
"..XXXXXX..XXX",
"X.XXXX..X.XX.",
"XX....XXXX..X"
};

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

@ -0,0 +1,23 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"14 14 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".....XXX......",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
"XX.XXXXXXX.XXX",
".............."
};

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

@ -0,0 +1,22 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"8 13 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX.X",
"XXXXX.XX",
"XXXXX.XX",
"XXXX.XXX",
"XXXX.XXX",
"XXX.XXXX",
"XXX.XXXX",
"XX.XXXXX",
"XX.XXXXX",
"X.XXXXXX",
"X.XXXXXX",
"........",
".XXXXXXX"
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"14 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX...XXXXXXXX.",
"X.XXX..XXXXXX.",
".XXXXXX.XXXX.X",
".XXXXXXX....XX",
"XXXXXXXXXXXXXX",
"XX...XXXXXXXX.",
"X.XXX..XXXXXX.",
".XXXXXX.XXXX.X",
".XXXXXXX....XX"
};

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

@ -0,0 +1,19 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 10 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"..XXXXXXXXX..",
"XX..XXXXX..XX",
"XXXX.....XXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXX.....XXXX",
"XX..XXXXX..XX",
"X.XXXXXXXXX.X",
".XXXXXXXXXXX."
};

31
lib/images/math/beta.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 */
"XXXXXXXXX....X",
"XXXXXXXX.XXXX.",
"XXXXXXX.XXXXX.",
"XXXXXX.XXXXXX.",
"XXXXX.XXXXXXX.",
"XXXX.XXXXXXX.X",
"XXXX.XXXXXX..X",
"XXXX.XX.....XX",
"XXX.XXXXXXXX.X",
"XXX.XXXXXXXX.X",
"XXX.XXXXXXXX.X",
"XXX.XXXXXXXX.X",
"XX.XXXXXXXX..X",
"XX.XXXXXXXX.XX",
"XX.XXXXXXX.XXX",
"XX..XXXXX.XXXX",
"X.XX.XXX.XXXXX",
"X.XXX...XXXXXX",
"X.XXXXXXXXXXXX",
"X.XXXXXXXXXXXX",
".XXXXXXXXXXXXX",
".XXXXXXXXXXXXX"
};

31
lib/images/math/bigcap.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 */
"XXXXX......XXXXX",
"XXX..........XXX",
"XX....XXXX....XX",
"X...XXXXXXXX...X",
"X..XXXXXXXXXX..X",
"...XXXXXXXXXX...",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX.."
};

29
lib/images/math/bigcirc.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 */
"XXXXXXX.....XXXXXXX",
"XXXXX..XXXXX...XXXX",
"XXX..XXXXXXXXX..XXX",
"XX..XXXXXXXXXXX..XX",
"XX.XXXXXXXXXXXXX.XX",
"X.XXXXXXXXXXXXXXX.X",
"X.XXXXXXXXXXXXXXX.X",
".XXXXXXXXXXXXXXXXX.",
".XXXXXXXXXXXXXXXXX.",
".XXXXXXXXXXXXXXXXX.",
".XXXXXXXXXXXXXXXXX.",
".XXXXXXXXXXXXXXXXX.",
".XXXXXXXXXXXXXXXXX.",
"X.XXXXXXXXXXXXXXX.X",
"X.XXXXXXXXXXXXXXX.X",
"XX.XXXXXXXXXXXXX.XX",
"XX..XXXXXXXXXXX..XX",
"XXX..XXXXXXXXX..XXX",
"XXXXX..XXXXX..XXXXX",
"XXXXXXX.....XXXXXXX"
};

31
lib/images/math/bigcup.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 */
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"...XXXXXXXXXX...",
"X..XXXXXXXXXX..X",
"X...XXXXXXXX...X",
"XX....XXXX....XX",
"XXX..........XXX",
"XXXXX......XXXXX"
};

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

@ -0,0 +1,31 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"22 22 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXX......XXXXXXXX",
"XXXXX............XXXXX",
"XXXX....XXXXXX....XXXX",
"XXX...XXXXXXXXXX...XXX",
"XX...XXXXXXXXXXXX...XX",
"X...XXXXXXXXXXXXXX...X",
"X..XXXXXXXXXXXXXXXX..X",
"X..XXXXXXXXXXXXXXXX..X",
"..XXXXXXXXXXXXXXXXXX..",
"..XXXXXXXXXXXXXXXXXX..",
"..XXXXXXXX..XXXXXXXX..",
"..XXXXXXXX..XXXXXXXX..",
"..XXXXXXXXXXXXXXXXXX..",
"..XXXXXXXXXXXXXXXXXX..",
"X..XXXXXXXXXXXXXXXX..X",
"X..XXXXXXXXXXXXXXXX..X",
"X...XXXXXXXXXXXXXX...X",
"XX...XXXXXXXXXXXX...XX",
"XXX...XXXXXXXXXX...XXX",
"XXXX....XXXXXX....XXXX",
"XXXXXX...........XXXXX",
"XXXXXXXX......XXXXXXXX"
};

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

@ -0,0 +1,31 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"22 22 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXX......XXXXXXXX",
"XXXXXX..........XXXXXX",
"XXXX...XXX..XXX...XXXX",
"XXX..XXXXX..XXXXX..XXX",
"XX..XXXXXX..XXXXXX..XX",
"XX.XXXXXXX..XXXXXXX.XX",
"X..XXXXXXX..XXXXXXX..X",
"X.XXXXXXXX..XXXXXXXX.X",
"X.XXXXXXXX..XXXXXXXX.X",
"..XXXXXXXX..XXXXXXXX..",
"......................",
"......................",
"..XXXXXXXX..XXXXXXXX..",
"X.XXXXXXXX..XXXXXXXX.X",
"X.XXXXXXXX..XXXXXXXX.X",
"X..XXXXXXX..XXXXXXX..X",
"XX.XXXXXXX..XXXXXXX.XX",
"XX..XXXXXX..XXXXXX..XX",
"XXX..XXXXX..XXXXX..XXX",
"XXXX...XXX..XXX...XXXX",
"XXXXXX..........XXXXXX",
"XXXXXXXX......XXXXXXXX"
};

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

@ -0,0 +1,31 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"22 22 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXX......XXXXXXXX",
"XXXXX............XXXXX",
"XXXX....XXXXXX....XXXX",
"XXX...XXXXXXXXXX...XXX",
"XX....XXXXXXXXXX....XX",
"X......XXXXXXXX......X",
"X..XX...XXXXXX...XX..X",
"X..XXX...XXXX...XXX..X",
"..XXXXX...XX...XXXXX..",
"..XXXXXX......XXXXXX..",
"..XXXXXXX....XXXXXXX..",
"..XXXXXXX....XXXXXXX..",
"..XXXXXX......XXXXXX..",
"..XXXXX...XX...XXXXX..",
"X..XXX...XXXX...XXX..X",
"X..XX...XXXXXX...XX..X",
"X......XXXXXXXX......X",
"XX....XXXXXXXXXX....XX",
"XXX...XXXXXXXXXX...XXX",
"XXXX....XXXXXX....XXXX",
"XXXXXX...........XXXXX",
"XXXXXXXX......XXXXXXXX"
};

31
lib/images/math/bigsqcup.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 */
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"................",
"................"
};

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

@ -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 */
"...............",
".XXXXXXXXXXXXX.",
"X.XXXXXXXXXXX.X",
"X.XXXXXXXXXXX.X",
"XX.XXXXXXXXX.XX",
"XX.XXXXXXXXX.XX",
"XXX.XXXXXXX.XXX",
"XXX.XXXXXXX.XXX",
"XXXX.XXXXX.XXXX",
"XXXX.XXXXX.XXXX",
"XXXXX.XXX.XXXXX",
"XXXXX.XXX.XXXXX",
"XXXXXX.X.XXXXXX",
"XXXXXX.X.XXXXXX",
"XXXXXXX.XXXXXXX",
"XXXXXXX.XXXXXXX"
};

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

@ -0,0 +1,24 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"15 15 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXX.XXXXXXX",
"XXXXXX.X.XXXXXX",
"XXXXXX.X.XXXXXX",
"XXXXX.XXX.XXXXX",
"XXXXX.XXX.XXXXX",
"XXXX.XXXXX.XXXX",
"XXXX.XXXXX.XXXX",
"XXX.XXXXXXX.XXX",
"XXX.XXXXXXX.XXX",
"XX.XXXXXXXXX.XX",
"XX.XXXXXXXXX.XX",
"X.XXXXXXXXXXX.X",
"X.XXXXXXXXXXX.X",
".XXXXXXXXXXXXX.",
"..............."
};

31
lib/images/math/biguplus.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 */
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"..XXXXX..XXXXX..",
"..XXXXX..XXXXX..",
"..XXXXX..XXXXX..",
"..XX........XX..",
"..XX........XX..",
"..XXXXX..XXXXX..",
"..XXXXX..XXXXX..",
"..XXXXX..XXXXX..",
"..XXXXX..XXXXX..",
"..XXXXXXXXXXXX..",
"...XXXXXXXXXX...",
"X..XXXXXXXXXX..X",
"X...XXXXXXXX...X",
"XX....XXXX....XX",
"XXX..........XXX",
"XXXXX......XXXXX"
};

31
lib/images/math/bigvee.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 */
".XXXXXXXXXXXXX..",
"..XXXXXXXXXXXX..",
"X.XXXXXXXXXXXX.X",
"X..XXXXXXXXXX..X",
"X..XXXXXXXXXX..X",
"XX.XXXXXXXXXX.XX",
"XX..XXXXXXXX..XX",
"XX..XXXXXXXX..XX",
"XXX.XXXXXXXX.XXX",
"XXX..XXXXXX..XXX",
"XXX..XXXXXX..XXX",
"XXXX.XXXXXX.XXXX",
"XXXX..XXXX..XXXX",
"XXXX..XXXX..XXXX",
"XXXXX.XXXX.XXXXX",
"XXXXX..XX..XXXXX",
"XXXXXX.XX.XXXXXX",
"XXXXXX.XX.XXXXXX",
"XXXXXX....XXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX"
};

31
lib/images/math/bigwedge.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 */
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXXX..XXXXXXX",
"XXXXXX....XXXXXX",
"XXXXXX.XX.XXXXXX",
"XXXXXX.XX.XXXXXX",
"XXXXX..XX..XXXXX",
"XXXXX.XXXX.XXXXX",
"XXXX..XXXX..XXXX",
"XXXX..XXXX..XXXX",
"XXXX.XXXXXX.XXXX",
"XXX..XXXXXX..XXX",
"XXX..XXXXXX..XXX",
"XXX.XXXXXXXX.XXX",
"XX..XXXXXXXX..XX",
"XX..XXXXXXXX..XX",
"XX.XXXXXXXXXX.XX",
"X..XXXXXXXXXX..X",
"X..XXXXXXXXXX..X",
"X.XXXXXXXXXXXX.X",
"..XXXXXXXXXXXX..",
".XXXXXXXXXXXXX.."
};

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

@ -0,0 +1,23 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"14 14 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
"XXXXXXX.XXXXXX",
".............."
};

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

@ -0,0 +1,19 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"16 10 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"..XXXXXXXXXXXX..",
".X..XXXXXXXX..X.",
".XXX..XXXXX.XXX.",
".XXXXX..X..XXXX.",
".XXXXXXX.XXXXXX.",
".XXXXXX...XXXXX.",
".XXXX..XXX.XXXX.",
".XXX.XXXXXX..XX.",
".X..XXXXXXXXX.X.",
"..XXXXXXXXXXXX.."
};

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

@ -0,0 +1,17 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"7 8 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"X.....X",
"X.....X",
".......",
".......",
".......",
".......",
"X.....X",
"XX...XX"
};

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

@ -0,0 +1,22 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"12 13 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXX......XXX",
"X..XXXXXX..X",
"X.XXXXXXXX.X",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX."
};

9
lib/images/math/cdot.xpm Normal file
View File

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

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"12 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"X...XXXXXXXX",
".XX..XXXXXX.",
"XXX..XXXXX.X",
"XXXX..XXX.XX",
"XXXX..XX.XXX",
"XXXX..X.XXXX",
"XXXXX.X.XXXX",
"XXXXX..XXXXX",
"XXXXX..XXXXX",
"XXXX.X.XXXXX",
"XXXX.X.XXXXX",
"XXX.XX..XXXX",
"XX.XXX..XXXX",
"X.XXXXX.XXXX",
"X.XXXXX..X.X",
".XXXXXXX...X"
};

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

@ -0,0 +1,17 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"8 8 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX....XX",
"X.XXXX.X",
".XXXXXX.",
".XXXXXX.",
".XXXXXX.",
".XXXXXX.",
"X.XXXX.X",
"XX....XX"
};

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

@ -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 */
"XXXXX....XXXXX",
"XXXX......XXXX",
"XXXX......XXXX",
"XXXX......XXXX",
"XXXX......XXXX",
"XXXX......XXXX",
"XXXX......XXXX",
"XX..X....X..XX",
"X............X",
"..............",
"..............",
"..............",
"..............",
"X............X",
"XX...X.XX...XX",
"XXXXXX..XXXXXX",
"XXXXXX..XXXXXX",
"XXXXXX..XXXXXX"
};

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

@ -0,0 +1,20 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"15 11 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX...XXXXXXXX.X",
"X.XXX.XXXXXXX.X",
"..XXXX.XXXXX..X",
".XXXXXX..XXX.XX",
".XXXXXXXX...XXX",
"XXXXXXXXXXXXXXX",
"XX.............",
"XXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXXX",
"XX............."
};

31
lib/images/math/coprod.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 */
".......XXXXX.......",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XXX..XXXXXXXXX..XXX",
"XX...XXXXXXXXX...XX",
"...................",
"..................."
};

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

@ -0,0 +1,22 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"12 13 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
".XXXXXXXXXX.",
"X.XXXXXXXX.X",
"X..XXXXXX..X",
"XXX......XXX"
};

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

@ -0,0 +1,28 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"7 19 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
".......",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX"
};

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

@ -0,0 +1,23 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"11 14 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"...........",
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"XXXXXXXXXX.",
"XXXXXXXXXX."
};

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

@ -0,0 +1,27 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"7 18 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
".......",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXXXXXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
".......",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX",
"XXX.XXX"
};

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

@ -0,0 +1,26 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"10 17 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXX..X",
"XXXXX..XX.",
"XXXX.XXXX.",
"XXX.XXXXXX",
"XXX..XXXXX",
"XXX...XXXX",
"XXXXX..XXX",
"XXX..X..XX",
"XX.XXXX..X",
"X..XXXXX.X",
"..XXXXXX.X",
"..XXXXXX.X",
"..XXXXX.XX",
".XXXXXX.XX",
"..XXXX.XXX",
"X.XXX..XXX",
"XX....XXXX"
};

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

@ -0,0 +1,19 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"9 10 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXX.XXXX",
"XXX.X.XXX",
"XX.XXX.XX",
"X.XXXXX.X",
".XXXXXXX.",
"X.XXXXX.X",
"X.XXXXX.X",
"XX.XXX.XX",
"XXX.X.XXX",
"XXXX.XXXX"
};

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

@ -0,0 +1,27 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 18 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX.XXXXXX",
"XXXXX.X.XXXXX",
"XXXXX.X.XXXXX",
"XXXX.XXX.XXXX",
"XXXX.XXX.XXXX",
"XXX.XXXXX.XXX",
"XX.XXXXXXX.XX",
"X.XXXXXXXXX.X",
".XXXXXXXXXXX.",
".XXXXXXXXXXX.",
"X.XXXXXXXXX.X",
"XX.XXXXXXX.XX",
"XXX.XXXXX.XXX",
"XXX.XXXX.XXXX",
"XXXX.XXX.XXXX",
"XXXXX.X.XXXXX",
"XXXXX.X.XXXXX",
"XXXXXX.XXXXXX"
};

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

@ -0,0 +1,20 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"14 11 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX..XXXXXX",
"XXXXXX..XXXXXX",
"XXXXXXXXXXXXXX",
"XXXXXXXXXXXXXX",
"XXXXXXXXXXXXXX",
"..............",
"XXXXXXXXXXXXXX",
"XXXXXXXXXXXXXX",
"XXXXXXXXXXXXXX",
"XXXXXX..XXXXXX",
"XXXXXX..XXXXXX"
};

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

@ -0,0 +1,19 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 10 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX.XXXXXX",
"XXXXXX.XXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
".............",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"............."
};

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

@ -0,0 +1,31 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"9 22 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",
"XXXX.XXXX",
"XXXX.XXXX",
"XXXX.XXXX",
"XXXX.XXXX",
"XXXX.XXXX",
"XXXX.XXXX",
"XXXX.XXXX",
"..XX.XXX.",
"XX.X.X..X",
"XXX...XXX",
"XXXX.XXXX",
"XXXX.XXXX"
};

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

@ -0,0 +1,24 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"8 15 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX..",
"XXXXX.X.",
"XXXX.XX.",
"XXXX.XX.",
"XXX..X.X",
"XXX.XX.X",
"XXX.X.XX",
"XX..X.XX",
"XX...XXX",
"XX..XXXX",
"XX..XXXX",
"XX.XXXXX",
"...XXXXX",
"XX.XX..X",
"XXX..XXX"
};

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

@ -0,0 +1,27 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"8 18 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX.X",
"XX...X.X",
"X..XX..X",
"X.XXX..X",
".XXXX.X.",
".XXXX.X.",
".XXX.XX.",
".XXX.XX.",
".XXX.XX.",
".XX.XXX.",
".XX.XXX.",
".XX.XXX.",
".X.XXXX.",
".X.XXXX.",
"X..XXX.X",
"X..XX..X",
"X.X...XX",
"X.XXXXXX"
};

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

@ -0,0 +1,20 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"6 11 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXX...",
"XX.XXX",
"X..XXX",
"X.XXXX",
"..XXXX",
".....X",
".XXXXX",
".XXXXX",
".XXXXX",
"X.XXX.",
"XX...X"
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"13 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".............",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
".............",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"............."
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"10 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"X..XXX...X",
".XX.X.XXX.",
".XX..XXXX.",
".XX.XXXXX.",
"XX..XXXXX.",
"XX..XXXXX.",
"XX.XXXXX.X",
"XX.XXXXX.X",
"X..XXXXX.X",
"X..XXXXX.X",
"X.XXXXX..X",
"XXXXXXX.XX",
"XXXXXXX.XX",
"XXXXXXX.XX",
"XXXXXX..XX",
"XXXXXX..XX"
};

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

@ -0,0 +1,23 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"10 14 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"..........",
"XXXXXXXXX.",
"XXXXXXXXX.",
"XXXXXXXXX.",
"XXXXXXXXX.",
"XXXXXXXXX.",
"..........",
"XXXXXXXXX.",
"XXXXXXXXX.",
"XXXXXXXXX.",
"XXXXXXXXX.",
"XXXXXXXXX.",
"XXXXXXXXX.",
".........."
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"6 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".XXXXX",
".XXXXX",
".XXXXX",
".XXXXX",
".XXXXX",
".XXXXX",
".XXXXX",
".X...X",
"..XX..",
".XXX..",
".XXX..",
".XXX.X",
".XXX.X",
".XX.XX",
".X.XXX",
"..XXXX"
};

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

@ -0,0 +1,23 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"11 14 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".XXXXXXXXX.",
".XXXXXXXXX.",
"X.XXXXXXX.X",
"X.XXXXXXX.X",
"XX.......XX",
"XX.XXXXX.XX",
"XX.XXXXX.XX",
"XXX.XXX.XXX",
"XXX.XXX.XXX",
"XXX.XXX.XXX",
"XXXX.X.XXXX",
"XXXX.X.XXXX",
"XXXX..XXXXX",
"XXXXX.XXXXX"
};

14
lib/images/math/frown.xpm Normal file
View File

@ -0,0 +1,14 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"17 5 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXX......XXXXX",
"XXX...XXXXXX..XXX",
"XX.XXXXXXXXXXX.XX",
"X.XXXXXXXXXXXXX.X",
".XXXXXXXXXXXXXXX."
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"11 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXX...XXXX.",
"X.....XXXX.",
"X.XXX..XX.X",
".XXXXX.XX.X",
".XXXXX.X.XX",
"XXXXXXX..XX",
"XXXXXXX..XX",
"XXXXXXX.XXX",
"XXXXXXX.XXX",
"XXXXXXX.XXX",
"XXXXXXX.XXX",
"XXXXXX.XXXX",
"XXXXXX.XXXX",
"XXXXXX.XXXX",
"XXXXXX.XXXX",
"XXXXXX.XXXX"
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"12 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"..XXXXXXXXXX",
"XX..XXXXXXXX",
"XXXX..XXXXXX",
"XXXXXX..XXXX",
"XXXXXXXX..XX",
"XXXXXXXXXX..",
"XXXXXXXXX..X",
"XXXXXXX..XXX",
"XXXXX..XXXXX",
"XXX..XXXXXXX",
"X..XXXXXXXXX",
".XXXXXXXXXXX",
"XXXXXXXXXXXX",
"XXXXXXXXXXXX",
"XXXXXXXXXXXX",
"............"
};

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

@ -0,0 +1,22 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"18 13 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".XXXXX.XXXXXXXXXXX",
"X..XXXX..XXXXXXXXX",
"XXX..XXXX..XXXXXXX",
"XXXXX..XXXX..XXXXX",
"XXXXXXX.XXXXX.XXXX",
"XXXXXXXX..XXXX..XX",
"XXXXXXXXXX..XXXX..",
"XXXXXXXXX..XXXX..X",
"XXXXXXX..XXXXX.XXX",
"XXXXXX.XXXXX..XXXX",
"XXXX..XXXX..XXXXXX",
"XX..XXXX..XXXXXXXX",
"..XXXX..XXXXXXXXXX"
};

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

@ -0,0 +1,23 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"9 14 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"X...XXXXX",
"XXX.XXXXX",
".......XX",
"XX..XXXXX",
"XX.XXXXXX",
"XX.X...XX",
"XX..XX..X",
"X..XXX..X",
"X.XXXX.XX",
"X.XXXX.XX",
"X.XXXX.XX",
"..XXX..X.",
".XXXX.X.X",
".XXXX...X"
};

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

@ -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 */
"XX...XXXX...XX",
"X.XXX.XX.XXX.X",
".XXXXX..XXXXX.",
".XXXXX.XXXXXX.",
".XXXXXXXXXXXX.",
".XXXXXXXXXXXX.",
".XXXXXXXXXXXX.",
"X.XXXXXXXXXX.X",
"X.XXXXXXXXXX.X",
"XX.XXXXXXXX.XX",
"XXX.XXXXXX.XXX",
"XXXX.XXXX.XXXX",
"XXXXX.XX.XXXXX",
"XXXXXX..XXXXXX",
"XXXXXX..XXXXXX"
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"23 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXX.XXXXXXXXXXXXXX...X",
"XXX.XXXXXXXXXXXXXXXXXX.",
"XXX.XXXXXXXXXXXXXXXXXX.",
"X..XXXXXXXXXXXXXXXXXXX.",
"......................X",
"X..XXXXXXXXXXXXXXXXXXXX",
"XX.XXXXXXXXXXXXXXXXXXXX",
"XXX.XXXXXXXXXXXXXXXXXXX",
"XXX..XXXXXXXXXXXXXXXXXX"
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"26 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"X....XXXXXXXXXXXXXXXX.XXXX",
".XXXXXXXXXXXXXXXXXXXXX.XXX",
".XXXXXXXXXXXXXXXXXXXXX.XXX",
"..XXXXXXXXXXXXXXXXXXXXX..X",
"XX........................",
"XXXXXXXXXXXXXXXXXXXXXXX..X",
"XXXXXXXXXXXXXXXXXXXXXXX.XX",
"XXXXXXXXXXXXXXXXXXXXXX.XXX",
"XXXXXXXXXXXXXXXXXXXXX.XXXX"
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"4 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"...X",
"XX.X",
"XX.X",
"XX.X",
"XX.X",
"XX.X",
"XX.X",
"XX.X",
"...."
};

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

@ -0,0 +1,21 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"10 12 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXX......",
"XX..XXXXXX",
"X.XXXXXXXX",
".XXXXXXXXX",
".XXXXXXXXX",
"..........",
".XXXXXXXXX",
".XXXXXXXXX",
"X.XXXXXXXX",
"X.XXXXXXXX",
"XX..XXXXXX",
"XXXX......"
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"19 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX....XXXXXXX....XX",
"X..XX...XXX..XXX..X",
"..XXXXX..X.XXXXXX..",
".XXXXXXX...XXXXXXX.",
".XXXXXXX...XXXXXXX.",
".XXXXXXX...XXXXXXX.",
"..XXXXXX.X..XXXXX..",
"X..XXX..XXX...XX..X",
"XX....XXXXXXX....XX"
};

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

@ -0,0 +1,35 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"12 26 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXX...X",
"XXXXXXX.....",
"XXXXXXX.XXX.",
"XXXXXX..XX..",
"XXXXXX..XXXX",
"XXXXXX..XXXX",
"XXXXXX..XXXX",
"XXXXXX.XXXXX",
"XXXXXX.XXXXX",
"XXXXXX.XXXXX",
"XXXXXX.XXXXX",
"XXXXX..XXXXX",
"XXXXX..XXXXX",
"XXXXX..XXXXX",
"XXXXX..XXXXX",
"XXXXX..XXXXX",
"XXXXX..XXXXX",
"XXXXX..XXXXX",
"XXXXX.XXXXXX",
"XXXXX.XXXXXX",
"XXXXX.XXXXXX",
"XXXX..XXXXXX",
"..XX..XXXXXX",
".XXX.XXXXXXX",
".....XXXXXXX",
"X...XXXXXXXX"
};

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

@ -0,0 +1,20 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"5 11 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX.XX",
"XX.XX",
"XX.XX",
"X..XX",
"X.XXX",
"X.XXX",
"X.XXX",
"..XX.",
".XXX.",
".XX.X",
"X..XX"
};

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

@ -0,0 +1,22 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"5 13 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX...",
"XXXX.",
"XXXX.",
"XXXX.",
"XXXX.",
"XXXX.",
"XXXX.",
"XXXX.",
"XXXX.",
"XXXX.",
"XXXX.",
"..XX.",
"....X"
};

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

@ -0,0 +1,20 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"10 11 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX.XXXXXXX",
"XX.XXXX..X",
"XX.XX..X.X",
"X..X.XXXXX",
"X...XXXXXX",
"X.X....XXX",
"X.XXXX.XXX",
"X.XXXX.XX.",
"..XXXX.XX.",
".XXXXX.X.X",
".XXXXX...X"
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"10 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XX...XXXXX",
"XXXX.XXXXX",
"XXXX..XXXX",
"XXXX..XXXX",
"XXXXX.XXXX",
"XXXXX..XXX",
"XXXXX..XXX",
"XXXXXX.XXX",
"XXXXXX..XX",
"XXXXX...XX",
"XXXX.XX.XX",
"XXX.XXX.XX",
"XX..XXX..X",
"X..XXXXX.X",
"X.XXXXXX.X",
".XXXXXXX.."
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"21 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXX.XXXXXXXXXXXXXXXX",
"XXX.XXXXXXXXXXXXXXXXX",
"XXX.XXXXXXXXXXXXXXXXX",
"X..XXXXXXXXXXXXXXXXXX",
".....................",
"X..XXXXXXXXXXXXXXXXXX",
"XX.XXXXXXXXXXXXXXXXXX",
"XXX.XXXXXXXXXXXXXXXXX",
"XXX..XXXXXXXXXXXXXXXX"
};

14
lib/images/math/leftharpoondown.xpm Normal file
View File

@ -0,0 +1,14 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"22 5 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"......................",
"X..XXXXXXXXXXXXXXXXXXX",
"XX.XXXXXXXXXXXXXXXXXXX",
"XXX.XXXXXXXXXXXXXXXXXX",
"XXXX.XXXXXXXXXXXXXXXXX"
};

14
lib/images/math/leftharpoonup.xpm Normal file
View File

@ -0,0 +1,14 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"22 5 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXX.XXXXXXXXXXXXXXXXX",
"XXX.XXXXXXXXXXXXXXXXXX",
"XXX.XXXXXXXXXXXXXXXXXX",
"X..XXXXXXXXXXXXXXXXXXX",
"......................"
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"21 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXX.XXXXXXXXXXX.XXXX",
"XXX.XXXXXXXXXXXXX.XXX",
"XXX.XXXXXXXXXXXXX.XXX",
"X..XXXXXXXXXXXXXXX..X",
".....................",
"X..XXXXXXXXXXXXXXX..X",
"XX.XXXXXXXXXXXXXXX.XX",
"XXX.XXXXXXXXXXXXX.XXX",
"XXX..XXXXXXXXXXX.XXXX"
};

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

@ -0,0 +1,25 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"12 16 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXXXX..",
"XXXXXXXX..XX",
"XXXXXX..XXXX",
"XXXX..XXXXXX",
"XX..XXXXXXXX",
"..XXXXXXXXXX",
"X..XXXXXXXXX",
"XXX..XXXXXXX",
"XXXXX..XXXXX",
"XXXXXXX..XXX",
"XXXXXXXXX..X",
"XXXXXXXXXXX.",
"XXXXXXXXXXXX",
"XXXXXXXXXXXX",
"XXXXXXXXXXXX",
"............"
};

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

@ -0,0 +1,22 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"18 13 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXXXXX.XXXXX.",
"XXXXXXXXX..XXXX..X",
"XXXXXXX..XXXX..XXX",
"XXXXX..XXXX..XXXXX",
"XXXX.XXXXX.XXXXXXX",
"XX..XXXX..XXXXXXXX",
"..XXXX..XXXXXXXXXX",
"X..XXXX..XXXXXXXXX",
"XXX.XXXXX..XXXXXXX",
"XXXX..XXXXX.XXXXXX",
"XXXXXX..XXXX..XXXX",
"XXXXXXXX..XXXX..XX",
"XXXXXXXXXX..XXXX.."
};

16
lib/images/math/longleftarrow.xpm Normal file
View File

@ -0,0 +1,16 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"31 7 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXX.XXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XX.XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"X.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"...............................",
"X.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XX.XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXX.XXXXXXXXXXXXXXXXXXXXXXXXXXX"
};

16
lib/images/math/longleftrightarrow.xpm Normal file
View File

@ -0,0 +1,16 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"37 7 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXX.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.XXX",
"XX.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.XX",
"X.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.X",
".....................................",
"X.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.X",
"XX.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.XX",
"XXX.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.XXX"
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"33 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
".XXXXXXXXXXXXXXXXXXXXXXXXXXXX.XXX",
".XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.XX",
".XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.X",
".................................",
".XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.X",
".XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.XX",
".XXXXXXXXXXXXXXXXXXXXXXXXXXXX.XXX",
".XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX"
};

16
lib/images/math/longrightarrow.xpm Normal file
View File

@ -0,0 +1,16 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"32 7 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX.XXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.XX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.X",
"................................",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.X",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.XX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX.XXX"
};

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

@ -0,0 +1,18 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"23 9 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
".XXXXXXXXXXXXXXXXX.XXXX",
".XXXXXXXXXXXXXXXXXX.XXX",
".XXXXXXXXXXXXXXXXXX.XXX",
".XXXXXXXXXXXXXXXXXXX..X",
".......................",
".XXXXXXXXXXXXXXXXXXX..X",
".XXXXXXXXXXXXXXXXXXX.XX",
".XXXXXXXXXXXXXXXXXX.XXX",
".XXXXXXXXXXXXXXXXX.XXXX"
};

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

@ -0,0 +1,23 @@
/* XPM */
static char *a[] = {
/* columns rows colors chars-per-pixel */
"36 14 3 1",
" c black",
". c #5972ff",
"X c None",
/* pixels */
"X...........XXXXXXXXXXXXXXXXXXXX....",
"XX.XX.XX.XXX.XXXXXXXXXXXXXXXXXX.XX.X",
"XX.XX.XXX.XX.XXXXXXXXXXXXXXXXX.XX.XX",
"XX.XX.XXX.XX.XXXXXXXXXXXXXXXX.XXX.XX",
"XX.XX.XXX.XX.XXXXXXXXXXXXXXXX.XX.XXX",
"XX.XX.XX..XX.XXXXXXXXXXXXXXXX.XX.XXX",
"XX.XX.XX....XXXXXXXXXXXXXXXXX.XX.XXX",
"XX.XX....XXXXXXXXXXXXXXXXXXXX.XX.XXX",
"XX.XX.X.X.XXXXXXXXXXXXXXXXXXX.XX.XXX",
"XX.XX.XX.X.XXXXXXXXXXXXXXXXXX.XX.XXX",
"XX.XX.XX.XX.XXXXXXXXXXXXXXXXXX.X.XXX",
"XX.XX.XXX.XX.XXXXXXXXXXXXXXXXX.XX.XX",
"XX.XX.XXXX.XX.XXXXXXXXXXXXXXXXX.XX..",
".......XXX.....XXXXXXXXXXXXXXXXX...."
};

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

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

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