i stumbled on this site with math icons: http://us.metamath.org/symbols/symbols.html
the license of these files is the creative commons public domain dedication they are uniform in style (unlike lyx's)i have added some of my own, converted the png's to xpm's, renamed where necessary
you can find them here: http://leuven.ecodip.net/lyx/newicons.zip to use, unzip in images\math\. assuming that we can use them (any lawyers around?) are these icons an improvement?
