anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2025-01-23 08:44:01 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
lyx_mirror/lib/images/math
History
John Levon 5e37ac3113 icon name fixups 
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@5677 a592a061-630c-0410-9148-cb99ea01b6c8
2002-11-20 16:13:49 +00:00
..
acute.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
aleph.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
alpha.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
amalg.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
angle.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
approx.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
approxeq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
asymp.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
backepsilon.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
backprime.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
backsim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
backsimeq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
backslash.xpm
add delimiter icons
2002-09-14 23:55:01 +00:00
bar.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bars.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
barwedge.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
Bbbk.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
because.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
beta.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
beth.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
between.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigcap.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigcirc.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigcup.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigodot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigoplus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigotimes.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigsqcup.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigstar.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigtriangledown.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigtriangleup.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
biguplus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigvee.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bigwedge.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
blacklozenge.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
blacksquare.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
blacktriangle.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
blacktriangledown.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
blacktriangleleft.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
blacktriangleright.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bowtie.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
boxdot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
boxminus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
boxplus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
boxtimes.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
breve.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bullet.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
bumpeq2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
bumpeq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
cap2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
cap.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
cdot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
cdots.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
centerdot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
check.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
chi.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
circ.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
circeq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
circlearrowleft.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
circlearrowright.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
circledast.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
circledcirc.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
circleddash.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
circledS.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
clubsuit.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
complement.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
cong.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
coprod.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
cup2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
cup.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
curlyeqprec.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
curlyeqsucc.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
curlyvee.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
curlywedge.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
curvearrowleft.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
curvearrowright.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
dagger.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
daleth.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
dashleftarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
dashrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
dashv.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ddagger.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ddot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ddots.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
delta2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
delta.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
diagdown.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
diagup.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
diamond.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
diamondsuit.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
digamma.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
div.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
divideontimes.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
dot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
doteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
doteqdot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
dotplus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
doublebarwedge.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
downarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
downarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
downdownarrows.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
downharpoonleft.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
downharpoonright.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ell.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
empty.xpm
add delimiter icons
2002-09-14 23:55:01 +00:00
emptyset.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
epsilon.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
eqcirc.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
eqslantgtr.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
eqslantless.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
equiv.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
eta.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
eth.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
exists.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
fallingdotseq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
Finv.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
flat.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
forall.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
frac.xpm
more more more
2002-08-29 15:27:46 +00:00
frown.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
Game.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gamma2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
gamma.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
geq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
geqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
geqslant.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gg.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ggg.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gimel.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gnapprox.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gneq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gneqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gnsim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
grave.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gtrapprox.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gtrdot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gtreqless.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gtreqqless.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gtrless.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gtrsim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
gvertneqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
hat.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
hbar.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
heartsuit.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
hookleftarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
hookrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
hslash.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
Im.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
imath.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
in.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
infty.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
int.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
intercal.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
iota.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
jmath.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
kappa.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lambda2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
lambda.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
langle.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lbrace.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
lbracket.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
lceil.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ldots.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
leftarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftarrowtail.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftharpoondown.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftharpoonup.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftleftarrows.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftrightarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
leftrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftrightarrows.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftrightharpoons.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftrightsquigarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leftthreetimes.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
leqslant.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lessapprox.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lessdot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lesseqgtr.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lesseqqgtr.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lessgtr.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lesssim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lfloor.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ll.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
llcorner.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
Lleftarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lll.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lnapprox.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lneq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lneqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lnsim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
longleftarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
longleftarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
longleftrightarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
longleftrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
longmapsto.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
longrightarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
longrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
looparrowleft.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
looparrowright.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lozenge.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lparen.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
lrcorner.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
Lsh.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ltimes.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
lvertneqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
mapsto.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
measuredangle.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
mho.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
mid.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
models.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
mp.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
mu.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
multimap.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nabla.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
natural.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ncong.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nearrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
neg.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
neq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nexists.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ngeq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ngeqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ngeqslant.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ngtr.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ni.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nleftarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
nleftarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nleftrightarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
nleftrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nleq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nleqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nleqslant.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nless.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nmid.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
notin.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nparallel.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nprec.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
npreceq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nrightarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
nrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nshortmid.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nshortparallel.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nsim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nsubseteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nsucc.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nsucceq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nsupseteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nsupseteqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ntriangleleft.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ntrianglelefteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ntriangleright.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ntrianglerighteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nu.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nvdash2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
nvdash3.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
nvdash.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
nwarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
odot.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
oint.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
omega2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
omega.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ominus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
oplus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
oslash.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
otimes.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
overbrace.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
overleftarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
overleftrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
overline.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
overrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
parallel.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
partial.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
perp.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
phi2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
phi.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
pi2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
pi.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
pitchfork.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
pm.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
prec.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
precapprox.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
preccurlyeq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
preceq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
precnapprox.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
precnsim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
precsim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
prime.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
prod.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
propto.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
psi2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
psi.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rangle.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rbrace.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
rceil.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
Re.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rfloor.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rho.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rightarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
rightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rightarrowtail.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rightharpoondown.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rightharpoonup.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rightleftarrows.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rightleftharpoons.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rightrightarrows.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rightsquigarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rightthreetimes.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
risingdotseq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rparen.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
Rsh.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
rtimes.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
searrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
setminus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sharp.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
shortmid.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
shortparallel.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sigma2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
sigma.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
simeq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
slash.xpm
add delimiter icons
2002-09-14 23:55:01 +00:00
smallfrown.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
smallsetminus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
smallsmile.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
smile.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
spadesuit.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sphericalangle.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sqcap.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sqcup.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sqrt.xpm
more more more
2002-08-29 15:27:46 +00:00
sqsubset.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sqsubseteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sqsupset.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sqsupseteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
square.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
star.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
subset2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
subset.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
subseteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
subseteqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
subsetneq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
subsetneqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
succ.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
succapprox.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
succcurlyeq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
succeq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
succnapprox.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
succnsim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
succsim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
sum.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
supset2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
supset.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
supseteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
supseteqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
supsetneq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
supsetneqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
surd.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
swarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
tau.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
therefore.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
theta2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
theta.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
thickapprox.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
thicksim.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
tilde.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
times.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
top.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
triangle.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
triangledown.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
triangleleft.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
trianglelefteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
triangleq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
triangleright.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
trianglerighteq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
twoheadleftarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
twoheadrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
ulcorner.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
underbrace.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
underleftarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
underleftrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
underline.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
underrightarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
uparrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
uparrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
updownarrow2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
updownarrow.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
upharpoonleft.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
upharpoonright.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
uplus.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
upsilon2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
upsilon.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
upuparrows.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
urcorner.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varepsilon.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varkappa.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varnothing.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varphi.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varpi.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varpropto.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varsigma.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varsubsetneq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varsubsetneqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varsupsetneq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
varsupsetneqq.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
vartheta.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
vartriangle.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
vartriangleleft.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
vartriangleright.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
vdash2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
vdash3.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
vdash.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
vdots.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
vec.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
vee.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
veebar.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
Vert.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
Vvdash.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
wedge.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
widehat.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
widetilde.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
wp.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
wr.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
xi2.xpm
icon name fixups
2002-11-20 16:13:49 +00:00
xi.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00
zeta.xpm
Edwin's patch, colour icons in black for colour safety
2002-10-24 19:22:52 +00:00