lyx_mirror/lib/images/math
Enrico Forestieri a09371153e Use same image as in branch.
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@20127 a592a061-630c-0410-9148-cb99ea01b6c8
2007-09-07 15:55:55 +00:00
..
acute.png xpm -> png 2007-08-30 20:09:12 +00:00
aleph.png xpm -> png 2007-08-30 20:09:12 +00:00
alpha.png xpm -> png 2007-08-30 20:09:12 +00:00
amalg.png xpm -> png 2007-08-30 20:09:12 +00:00
ams_arrows.png xpm -> png 2007-08-30 20:09:12 +00:00
ams_misc.png xpm -> png 2007-08-30 20:09:12 +00:00
ams_nrel.png xpm -> png 2007-08-30 20:09:12 +00:00
ams_ops.png xpm -> png 2007-08-30 20:09:12 +00:00
ams_rel.png xpm -> png 2007-08-30 20:09:12 +00:00
angle.png xpm -> png 2007-08-30 20:09:12 +00:00
approx.png xpm -> png 2007-08-30 20:09:12 +00:00
approxeq.png xpm -> png 2007-08-30 20:09:12 +00:00
arrows.png xpm -> png 2007-08-30 20:09:12 +00:00
asymp.png xpm -> png 2007-08-30 20:09:12 +00:00
backepsilon.png xpm -> png 2007-08-30 20:09:12 +00:00
backprime.png xpm -> png 2007-08-30 20:09:12 +00:00
backsim.png xpm -> png 2007-08-30 20:09:12 +00:00
backsimeq.png xpm -> png 2007-08-30 20:09:12 +00:00
backslash.png xpm -> png 2007-08-30 20:09:12 +00:00
bar.png xpm -> png 2007-08-30 20:09:12 +00:00
bars.png Restore some other corrupted images. 2007-09-04 23:00:58 +00:00
barwedge.png xpm -> png 2007-08-30 20:09:12 +00:00
Bbbk.png xpm -> png 2007-08-30 20:09:12 +00:00
because.png xpm -> png 2007-08-30 20:09:12 +00:00
beta.png xpm -> png 2007-08-30 20:09:12 +00:00
beth.png xpm -> png 2007-08-30 20:09:12 +00:00
between.png xpm -> png 2007-08-30 20:09:12 +00:00
bigcap.png xpm -> png 2007-08-30 20:09:12 +00:00
bigcirc.png xpm -> png 2007-08-30 20:09:12 +00:00
bigcup.png xpm -> png 2007-08-30 20:09:12 +00:00
bigodot.png xpm -> png 2007-08-30 20:09:12 +00:00
bigoplus.png xpm -> png 2007-08-30 20:09:12 +00:00
bigotimes.png xpm -> png 2007-08-30 20:09:12 +00:00
bigsqcup.png xpm -> png 2007-08-30 20:09:12 +00:00
bigstar.png xpm -> png 2007-08-30 20:09:12 +00:00
bigtriangledown.png xpm -> png 2007-08-30 20:09:12 +00:00
bigtriangleup.png xpm -> png 2007-08-30 20:09:12 +00:00
biguplus.png xpm -> png 2007-08-30 20:09:12 +00:00
bigvee.png xpm -> png 2007-08-30 20:09:12 +00:00
bigwedge.png xpm -> png 2007-08-30 20:09:12 +00:00
blacklozenge.png xpm -> png 2007-08-30 20:09:12 +00:00
blacksquare.png xpm -> png 2007-08-30 20:09:12 +00:00
blacktriangle.png xpm -> png 2007-08-30 20:09:12 +00:00
blacktriangledown.png xpm -> png 2007-08-30 20:09:12 +00:00
blacktriangleleft.png xpm -> png 2007-08-30 20:09:12 +00:00
blacktriangleright.png xpm -> png 2007-08-30 20:09:12 +00:00
bop.png xpm -> png 2007-08-30 20:09:12 +00:00
bot.png xpm -> png 2007-08-30 20:09:12 +00:00
bowtie.png xpm -> png 2007-08-30 20:09:12 +00:00
boxdot.png xpm -> png 2007-08-30 20:09:12 +00:00
boxminus.png xpm -> png 2007-08-30 20:09:12 +00:00
boxplus.png xpm -> png 2007-08-30 20:09:12 +00:00
boxtimes.png xpm -> png 2007-08-30 20:09:12 +00:00
brel.png xpm -> png 2007-08-30 20:09:12 +00:00
breve.png xpm -> png 2007-08-30 20:09:12 +00:00
bullet.png xpm -> png 2007-08-30 20:09:12 +00:00
bumpeq2.png xpm -> png 2007-08-30 20:09:12 +00:00
bumpeq.png xpm -> png 2007-08-30 20:09:12 +00:00
cap2.png xpm -> png 2007-08-30 20:09:12 +00:00
cap.png xpm -> png 2007-08-30 20:09:12 +00:00
cases.png Use same image as in branch. 2007-09-07 15:55:55 +00:00
cdot.png xpm -> png 2007-08-30 20:09:12 +00:00
cdots.png xpm -> png 2007-08-30 20:09:12 +00:00
centerdot.png xpm -> png 2007-08-30 20:09:12 +00:00
check.png xpm -> png 2007-08-30 20:09:12 +00:00
chi.png xpm -> png 2007-08-30 20:09:12 +00:00
circ.png xpm -> png 2007-08-30 20:09:12 +00:00
circeq.png xpm -> png 2007-08-30 20:09:12 +00:00
circlearrowleft.png xpm -> png 2007-08-30 20:09:12 +00:00
circlearrowright.png xpm -> png 2007-08-30 20:09:12 +00:00
circledast.png xpm -> png 2007-08-30 20:09:12 +00:00
circledcirc.png xpm -> png 2007-08-30 20:09:12 +00:00
circleddash.png xpm -> png 2007-08-30 20:09:12 +00:00
circledS.png xpm -> png 2007-08-30 20:09:12 +00:00
clubsuit.png xpm -> png 2007-08-30 20:09:12 +00:00
complement.png xpm -> png 2007-08-30 20:09:12 +00:00
cong.png xpm -> png 2007-08-30 20:09:12 +00:00
coprod.png xpm -> png 2007-08-30 20:09:12 +00:00
cup2.png xpm -> png 2007-08-30 20:09:12 +00:00
cup.png xpm -> png 2007-08-30 20:09:12 +00:00
curlyeqprec.png xpm -> png 2007-08-30 20:09:12 +00:00
curlyeqsucc.png xpm -> png 2007-08-30 20:09:12 +00:00
curlyvee.png xpm -> png 2007-08-30 20:09:12 +00:00
curlywedge.png xpm -> png 2007-08-30 20:09:12 +00:00
curvearrowleft.png xpm -> png 2007-08-30 20:09:12 +00:00
curvearrowright.png xpm -> png 2007-08-30 20:09:12 +00:00
dagger.png xpm -> png 2007-08-30 20:09:12 +00:00
daleth.png xpm -> png 2007-08-30 20:09:12 +00:00
dashleftarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
dashrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
dashv.png xpm -> png 2007-08-30 20:09:12 +00:00
ddagger.png xpm -> png 2007-08-30 20:09:12 +00:00
ddot.png xpm -> png 2007-08-30 20:09:12 +00:00
ddots.png xpm -> png 2007-08-30 20:09:12 +00:00
deco.png xpm -> png 2007-08-30 20:09:12 +00:00
delim0.png xpm -> png 2007-08-30 20:09:12 +00:00
delim1.png xpm -> png 2007-08-30 20:09:12 +00:00
delim.png xpm -> png 2007-08-30 20:09:12 +00:00
delta2.png xpm -> png 2007-08-30 20:09:12 +00:00
delta.png xpm -> png 2007-08-30 20:09:12 +00:00
diagdown.png xpm -> png 2007-08-30 20:09:12 +00:00
diagup.png xpm -> png 2007-08-30 20:09:12 +00:00
diamond.png xpm -> png 2007-08-30 20:09:12 +00:00
diamondsuit.png xpm -> png 2007-08-30 20:09:12 +00:00
digamma.png xpm -> png 2007-08-30 20:09:12 +00:00
div.png xpm -> png 2007-08-30 20:09:12 +00:00
divideontimes.png xpm -> png 2007-08-30 20:09:12 +00:00
dot.png xpm -> png 2007-08-30 20:09:12 +00:00
doteq.png xpm -> png 2007-08-30 20:09:12 +00:00
doteqdot.png xpm -> png 2007-08-30 20:09:12 +00:00
dotplus.png xpm -> png 2007-08-30 20:09:12 +00:00
dots.png xpm -> png 2007-08-30 20:09:12 +00:00
dotsint.png xpm -> png 2007-08-30 20:09:12 +00:00
dotsintop.png xpm -> png 2007-08-30 20:09:12 +00:00
doublebarwedge.png xpm -> png 2007-08-30 20:09:12 +00:00
downarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
downarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
downdownarrows.png xpm -> png 2007-08-30 20:09:12 +00:00
downharpoonleft.png xpm -> png 2007-08-30 20:09:12 +00:00
downharpoonright.png xpm -> png 2007-08-30 20:09:12 +00:00
ell.png xpm -> png 2007-08-30 20:09:12 +00:00
empty.png xpm -> png 2007-08-30 20:09:12 +00:00
emptyset.png xpm -> png 2007-08-30 20:09:12 +00:00
epsilon.png xpm -> png 2007-08-30 20:09:12 +00:00
eqcirc.png xpm -> png 2007-08-30 20:09:12 +00:00
eqslantgtr.png xpm -> png 2007-08-30 20:09:12 +00:00
eqslantless.png xpm -> png 2007-08-30 20:09:12 +00:00
equation.png xpm -> png 2007-08-30 20:09:12 +00:00
equiv.png xpm -> png 2007-08-30 20:09:12 +00:00
eta.png xpm -> png 2007-08-30 20:09:12 +00:00
eth.png xpm -> png 2007-08-30 20:09:12 +00:00
exists.png xpm -> png 2007-08-30 20:09:12 +00:00
fallingdotseq.png xpm -> png 2007-08-30 20:09:12 +00:00
Finv.png xpm -> png 2007-08-30 20:09:12 +00:00
flat.png xpm -> png 2007-08-30 20:09:12 +00:00
font.png Restore old images got lost in the xpm -> png change 2007-09-03 23:17:10 +00:00
forall.png xpm -> png 2007-08-30 20:09:12 +00:00
frac-square.png xpm -> png 2007-08-30 20:09:12 +00:00
frac.png xpm -> png 2007-08-30 20:09:12 +00:00
frown.png xpm -> png 2007-08-30 20:09:12 +00:00
functions.png xpm -> png 2007-08-30 20:09:12 +00:00
Game.png xpm -> png 2007-08-30 20:09:12 +00:00
gamma2.png xpm -> png 2007-08-30 20:09:12 +00:00
gamma.png xpm -> png 2007-08-30 20:09:12 +00:00
geq.png xpm -> png 2007-08-30 20:09:12 +00:00
geqq.png xpm -> png 2007-08-30 20:09:12 +00:00
geqslant.png xpm -> png 2007-08-30 20:09:12 +00:00
gg.png xpm -> png 2007-08-30 20:09:12 +00:00
ggg.png xpm -> png 2007-08-30 20:09:12 +00:00
gimel.png xpm -> png 2007-08-30 20:09:12 +00:00
gnapprox.png xpm -> png 2007-08-30 20:09:12 +00:00
gneq.png xpm -> png 2007-08-30 20:09:12 +00:00
gneqq.png xpm -> png 2007-08-30 20:09:12 +00:00
gnsim.png xpm -> png 2007-08-30 20:09:12 +00:00
grave.png xpm -> png 2007-08-30 20:09:12 +00:00
greek.png xpm -> png 2007-08-30 20:09:12 +00:00
gtrapprox.png xpm -> png 2007-08-30 20:09:12 +00:00
gtrdot.png xpm -> png 2007-08-30 20:09:12 +00:00
gtreqless.png xpm -> png 2007-08-30 20:09:12 +00:00
gtreqqless.png xpm -> png 2007-08-30 20:09:12 +00:00
gtrless.png xpm -> png 2007-08-30 20:09:12 +00:00
gtrsim.png xpm -> png 2007-08-30 20:09:12 +00:00
gvertneqq.png xpm -> png 2007-08-30 20:09:12 +00:00
hat.png xpm -> png 2007-08-30 20:09:12 +00:00
hbar.png xpm -> png 2007-08-30 20:09:12 +00:00
heartsuit.png xpm -> png 2007-08-30 20:09:12 +00:00
hookleftarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
hookrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
hphantom.png xpm -> png 2007-08-30 20:09:12 +00:00
hslash.png xpm -> png 2007-08-30 20:09:12 +00:00
iiiint.png xpm -> png 2007-08-30 20:09:12 +00:00
iiiintop.png xpm -> png 2007-08-30 20:09:12 +00:00
iiint.png xpm -> png 2007-08-30 20:09:12 +00:00
iiintop.png xpm -> png 2007-08-30 20:09:12 +00:00
iint.png xpm -> png 2007-08-30 20:09:12 +00:00
iintop.png xpm -> png 2007-08-30 20:09:12 +00:00
Im.png xpm -> png 2007-08-30 20:09:12 +00:00
imath.png xpm -> png 2007-08-30 20:09:12 +00:00
in.png xpm -> png 2007-08-30 20:09:12 +00:00
infty.png xpm -> png 2007-08-30 20:09:12 +00:00
int.png xpm -> png 2007-08-30 20:09:12 +00:00
intercal.png xpm -> png 2007-08-30 20:09:12 +00:00
intop.png xpm -> png 2007-08-30 20:09:12 +00:00
iota.png xpm -> png 2007-08-30 20:09:12 +00:00
jmath.png xpm -> png 2007-08-30 20:09:12 +00:00
kappa.png xpm -> png 2007-08-30 20:09:12 +00:00
lambda2.png xpm -> png 2007-08-30 20:09:12 +00:00
lambda.png xpm -> png 2007-08-30 20:09:12 +00:00
langle.png xpm -> png 2007-08-30 20:09:12 +00:00
lbrace_rbrace.png Restore some other corrupted images. 2007-09-04 23:00:58 +00:00
lbrace.png xpm -> png 2007-08-30 20:09:12 +00:00
lbracket_rbracket.png Restore some other corrupted images. 2007-09-04 23:00:58 +00:00
lbracket.png xpm -> png 2007-08-30 20:09:12 +00:00
lceil_rceil.png xpm -> png 2007-08-30 20:09:12 +00:00
lceil.png xpm -> png 2007-08-30 20:09:12 +00:00
ldots.png xpm -> png 2007-08-30 20:09:12 +00:00
leftarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
leftarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
leftarrowtail.png xpm -> png 2007-08-30 20:09:12 +00:00
leftharpoondown.png xpm -> png 2007-08-30 20:09:12 +00:00
leftharpoonup.png xpm -> png 2007-08-30 20:09:12 +00:00
leftleftarrows.png xpm -> png 2007-08-30 20:09:12 +00:00
leftrightarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
leftrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
leftrightarrows.png xpm -> png 2007-08-30 20:09:12 +00:00
leftrightharpoons.png xpm -> png 2007-08-30 20:09:12 +00:00
leftrightsquigarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
leftthreetimes.png xpm -> png 2007-08-30 20:09:12 +00:00
leq.png xpm -> png 2007-08-30 20:09:12 +00:00
leqq.png xpm -> png 2007-08-30 20:09:12 +00:00
leqslant.png xpm -> png 2007-08-30 20:09:12 +00:00
lessapprox.png xpm -> png 2007-08-30 20:09:12 +00:00
lessdot.png xpm -> png 2007-08-30 20:09:12 +00:00
lesseqgtr.png xpm -> png 2007-08-30 20:09:12 +00:00
lesseqqgtr.png xpm -> png 2007-08-30 20:09:12 +00:00
lessgtr.png xpm -> png 2007-08-30 20:09:12 +00:00
lesssim.png xpm -> png 2007-08-30 20:09:12 +00:00
lfloor_rfloor.png xpm -> png 2007-08-30 20:09:12 +00:00
lfloor.png xpm -> png 2007-08-30 20:09:12 +00:00
ll.png xpm -> png 2007-08-30 20:09:12 +00:00
llcorner.png xpm -> png 2007-08-30 20:09:12 +00:00
Lleftarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
lll.png xpm -> png 2007-08-30 20:09:12 +00:00
lnapprox.png xpm -> png 2007-08-30 20:09:12 +00:00
lneq.png xpm -> png 2007-08-30 20:09:12 +00:00
lneqq.png xpm -> png 2007-08-30 20:09:12 +00:00
lnsim.png xpm -> png 2007-08-30 20:09:12 +00:00
longleftarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
longleftarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
longleftrightarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
longleftrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
longmapsto.png xpm -> png 2007-08-30 20:09:12 +00:00
longrightarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
longrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
looparrowleft.png xpm -> png 2007-08-30 20:09:12 +00:00
looparrowright.png xpm -> png 2007-08-30 20:09:12 +00:00
lozenge.png xpm -> png 2007-08-30 20:09:12 +00:00
lparen_rparen.png Restore some other corrupted images. 2007-09-04 23:00:58 +00:00
lparen.png xpm -> png 2007-08-30 20:09:12 +00:00
lrcorner.png xpm -> png 2007-08-30 20:09:12 +00:00
Lsh.png xpm -> png 2007-08-30 20:09:12 +00:00
ltimes.png xpm -> png 2007-08-30 20:09:12 +00:00
lvertneqq.png xpm -> png 2007-08-30 20:09:12 +00:00
mapsto.png xpm -> png 2007-08-30 20:09:12 +00:00
mathbb_C.png xpm -> png 2007-08-30 20:09:12 +00:00
mathbb_H.png xpm -> png 2007-08-30 20:09:12 +00:00
mathbb_N.png xpm -> png 2007-08-30 20:09:12 +00:00
mathbb_Q.png xpm -> png 2007-08-30 20:09:12 +00:00
mathbb_R.png xpm -> png 2007-08-30 20:09:12 +00:00
mathbb_Z.png xpm -> png 2007-08-30 20:09:12 +00:00
mathcal_F.png xpm -> png 2007-08-30 20:09:12 +00:00
mathcal_H.png xpm -> png 2007-08-30 20:09:12 +00:00
mathcal_L.png xpm -> png 2007-08-30 20:09:12 +00:00
mathcal_O.png xpm -> png 2007-08-30 20:09:12 +00:00
mathcircumflex.png xpm -> png 2007-08-30 20:09:12 +00:00
mathrm_T.png xpm -> png 2007-08-30 20:09:12 +00:00
matrix.png xpm -> png 2007-08-30 20:09:12 +00:00
measuredangle.png xpm -> png 2007-08-30 20:09:12 +00:00
mho.png xpm -> png 2007-08-30 20:09:12 +00:00
mid.png xpm -> png 2007-08-30 20:09:12 +00:00
misc.png xpm -> png 2007-08-30 20:09:12 +00:00
models.png xpm -> png 2007-08-30 20:09:12 +00:00
mp.png xpm -> png 2007-08-30 20:09:12 +00:00
mu.png xpm -> png 2007-08-30 20:09:12 +00:00
multimap.png xpm -> png 2007-08-30 20:09:12 +00:00
nabla.png xpm -> png 2007-08-30 20:09:12 +00:00
natural.png xpm -> png 2007-08-30 20:09:12 +00:00
ncong.png xpm -> png 2007-08-30 20:09:12 +00:00
nearrow.png xpm -> png 2007-08-30 20:09:12 +00:00
neg.png xpm -> png 2007-08-30 20:09:12 +00:00
neq.png xpm -> png 2007-08-30 20:09:12 +00:00
nexists.png xpm -> png 2007-08-30 20:09:12 +00:00
ngeq.png xpm -> png 2007-08-30 20:09:12 +00:00
ngeqq.png xpm -> png 2007-08-30 20:09:12 +00:00
ngeqslant.png xpm -> png 2007-08-30 20:09:12 +00:00
ngtr.png xpm -> png 2007-08-30 20:09:12 +00:00
ni.png xpm -> png 2007-08-30 20:09:12 +00:00
nleftarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
nleftarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
nleftrightarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
nleftrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
nleq.png xpm -> png 2007-08-30 20:09:12 +00:00
nleqq.png xpm -> png 2007-08-30 20:09:12 +00:00
nleqslant.png xpm -> png 2007-08-30 20:09:12 +00:00
nless.png xpm -> png 2007-08-30 20:09:12 +00:00
nmid.png xpm -> png 2007-08-30 20:09:12 +00:00
notin.png xpm -> png 2007-08-30 20:09:12 +00:00
nparallel.png xpm -> png 2007-08-30 20:09:12 +00:00
nprec.png xpm -> png 2007-08-30 20:09:12 +00:00
npreceq.png xpm -> png 2007-08-30 20:09:12 +00:00
nrightarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
nrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
nshortmid.png xpm -> png 2007-08-30 20:09:12 +00:00
nshortparallel.png xpm -> png 2007-08-30 20:09:12 +00:00
nsim.png xpm -> png 2007-08-30 20:09:12 +00:00
nsubseteq.png xpm -> png 2007-08-30 20:09:12 +00:00
nsucc.png xpm -> png 2007-08-30 20:09:12 +00:00
nsucceq.png xpm -> png 2007-08-30 20:09:12 +00:00
nsupseteq.png xpm -> png 2007-08-30 20:09:12 +00:00
nsupseteqq.png xpm -> png 2007-08-30 20:09:12 +00:00
ntriangleleft.png xpm -> png 2007-08-30 20:09:12 +00:00
ntrianglelefteq.png xpm -> png 2007-08-30 20:09:12 +00:00
ntriangleright.png xpm -> png 2007-08-30 20:09:12 +00:00
ntrianglerighteq.png xpm -> png 2007-08-30 20:09:12 +00:00
nu.png xpm -> png 2007-08-30 20:09:12 +00:00
nvdash2.png xpm -> png 2007-08-30 20:09:12 +00:00
nvdash3.png xpm -> png 2007-08-30 20:09:12 +00:00
nvdash.png xpm -> png 2007-08-30 20:09:12 +00:00
nwarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
odot.png xpm -> png 2007-08-30 20:09:12 +00:00
oiint.png xpm -> png 2007-08-30 20:09:12 +00:00
oiintop.png xpm -> png 2007-08-30 20:09:12 +00:00
oint.png xpm -> png 2007-08-30 20:09:12 +00:00
ointclockwise.png xpm -> png 2007-08-30 20:09:12 +00:00
ointclockwiseop.png xpm -> png 2007-08-30 20:09:12 +00:00
ointctrclockwise.png xpm -> png 2007-08-30 20:09:12 +00:00
ointctrclockwiseop.png xpm -> png 2007-08-30 20:09:12 +00:00
ointop.png xpm -> png 2007-08-30 20:09:12 +00:00
omega2.png xpm -> png 2007-08-30 20:09:12 +00:00
omega.png xpm -> png 2007-08-30 20:09:12 +00:00
ominus.png xpm -> png 2007-08-30 20:09:12 +00:00
oplus.png xpm -> png 2007-08-30 20:09:12 +00:00
oslash.png xpm -> png 2007-08-30 20:09:12 +00:00
otimes.png xpm -> png 2007-08-30 20:09:12 +00:00
overbrace.png Restore images corrupted by the xpm -> png conversion. 2007-09-04 13:32:10 +00:00
overleftarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
overleftrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
overline.png xpm -> png 2007-08-30 20:09:12 +00:00
overrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
overset.png xpm -> png 2007-08-30 20:09:12 +00:00
parallel.png xpm -> png 2007-08-30 20:09:12 +00:00
partial.png xpm -> png 2007-08-30 20:09:12 +00:00
perp.png xpm -> png 2007-08-30 20:09:12 +00:00
phantom.png xpm -> png 2007-08-30 20:09:12 +00:00
phi2.png xpm -> png 2007-08-30 20:09:12 +00:00
phi.png xpm -> png 2007-08-30 20:09:12 +00:00
pi2.png xpm -> png 2007-08-30 20:09:12 +00:00
pi.png xpm -> png 2007-08-30 20:09:12 +00:00
pitchfork.png xpm -> png 2007-08-30 20:09:12 +00:00
pm.png xpm -> png 2007-08-30 20:09:12 +00:00
prec.png xpm -> png 2007-08-30 20:09:12 +00:00
precapprox.png xpm -> png 2007-08-30 20:09:12 +00:00
preccurlyeq.png xpm -> png 2007-08-30 20:09:12 +00:00
preceq.png xpm -> png 2007-08-30 20:09:12 +00:00
precnapprox.png xpm -> png 2007-08-30 20:09:12 +00:00
precnsim.png xpm -> png 2007-08-30 20:09:12 +00:00
precsim.png xpm -> png 2007-08-30 20:09:12 +00:00
prime.png xpm -> png 2007-08-30 20:09:12 +00:00
prod.png xpm -> png 2007-08-30 20:09:12 +00:00
propto.png xpm -> png 2007-08-30 20:09:12 +00:00
psi2.png xpm -> png 2007-08-30 20:09:12 +00:00
psi.png xpm -> png 2007-08-30 20:09:12 +00:00
rangle.png xpm -> png 2007-08-30 20:09:12 +00:00
rbrace.png xpm -> png 2007-08-30 20:09:12 +00:00
rbracket.png xpm -> png 2007-08-30 20:09:12 +00:00
rceil.png xpm -> png 2007-08-30 20:09:12 +00:00
Re.png xpm -> png 2007-08-30 20:09:12 +00:00
rfloor.png xpm -> png 2007-08-30 20:09:12 +00:00
rho.png xpm -> png 2007-08-30 20:09:12 +00:00
rightarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
rightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
rightarrowtail.png xpm -> png 2007-08-30 20:09:12 +00:00
rightharpoondown.png xpm -> png 2007-08-30 20:09:12 +00:00
rightharpoonup.png xpm -> png 2007-08-30 20:09:12 +00:00
rightleftarrows.png xpm -> png 2007-08-30 20:09:12 +00:00
rightleftharpoons.png xpm -> png 2007-08-30 20:09:12 +00:00
rightrightarrows.png xpm -> png 2007-08-30 20:09:12 +00:00
rightsquigarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
rightthreetimes.png xpm -> png 2007-08-30 20:09:12 +00:00
risingdotseq.png xpm -> png 2007-08-30 20:09:12 +00:00
root.png xpm -> png 2007-08-30 20:09:12 +00:00
rparen.png xpm -> png 2007-08-30 20:09:12 +00:00
Rrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
Rsh.png xpm -> png 2007-08-30 20:09:12 +00:00
rtimes.png xpm -> png 2007-08-30 20:09:12 +00:00
searrow.png xpm -> png 2007-08-30 20:09:12 +00:00
setminus.png xpm -> png 2007-08-30 20:09:12 +00:00
sharp.png xpm -> png 2007-08-30 20:09:12 +00:00
shortmid.png xpm -> png 2007-08-30 20:09:12 +00:00
shortparallel.png xpm -> png 2007-08-30 20:09:12 +00:00
sigma2.png xpm -> png 2007-08-30 20:09:12 +00:00
sigma.png xpm -> png 2007-08-30 20:09:12 +00:00
sim.png xpm -> png 2007-08-30 20:09:12 +00:00
simeq.png xpm -> png 2007-08-30 20:09:12 +00:00
slash.png xpm -> png 2007-08-30 20:09:12 +00:00
smallfrown.png xpm -> png 2007-08-30 20:09:12 +00:00
smallsetminus.png xpm -> png 2007-08-30 20:09:12 +00:00
smallsmile.png xpm -> png 2007-08-30 20:09:12 +00:00
smile.png xpm -> png 2007-08-30 20:09:12 +00:00
space.png xpm -> png 2007-08-30 20:09:12 +00:00
spadesuit.png xpm -> png 2007-08-30 20:09:12 +00:00
sphericalangle.png xpm -> png 2007-08-30 20:09:12 +00:00
sqcap.png xpm -> png 2007-08-30 20:09:12 +00:00
sqcup.png xpm -> png 2007-08-30 20:09:12 +00:00
sqiint.png xpm -> png 2007-08-30 20:09:12 +00:00
sqiintop.png xpm -> png 2007-08-30 20:09:12 +00:00
sqint.png xpm -> png 2007-08-30 20:09:12 +00:00
sqintop.png xpm -> png 2007-08-30 20:09:12 +00:00
sqrt-square.png xpm -> png 2007-08-30 20:09:12 +00:00
sqrt.png xpm -> png 2007-08-30 20:09:12 +00:00
sqsubset.png xpm -> png 2007-08-30 20:09:12 +00:00
sqsubseteq.png xpm -> png 2007-08-30 20:09:12 +00:00
sqsupset.png xpm -> png 2007-08-30 20:09:12 +00:00
sqsupseteq.png xpm -> png 2007-08-30 20:09:12 +00:00
square.png xpm -> png 2007-08-30 20:09:12 +00:00
star.png xpm -> png 2007-08-30 20:09:12 +00:00
style.png Restore old images got lost in the xpm -> png change 2007-09-03 23:17:10 +00:00
sub.png xpm -> png 2007-08-30 20:09:12 +00:00
subset2.png xpm -> png 2007-08-30 20:09:12 +00:00
subset.png xpm -> png 2007-08-30 20:09:12 +00:00
subseteq.png xpm -> png 2007-08-30 20:09:12 +00:00
subseteqq.png xpm -> png 2007-08-30 20:09:12 +00:00
subsetneq.png xpm -> png 2007-08-30 20:09:12 +00:00
subsetneqq.png xpm -> png 2007-08-30 20:09:12 +00:00
succ.png xpm -> png 2007-08-30 20:09:12 +00:00
succapprox.png xpm -> png 2007-08-30 20:09:12 +00:00
succcurlyeq.png xpm -> png 2007-08-30 20:09:12 +00:00
succeq.png xpm -> png 2007-08-30 20:09:12 +00:00
succnapprox.png xpm -> png 2007-08-30 20:09:12 +00:00
succnsim.png xpm -> png 2007-08-30 20:09:12 +00:00
succsim.png xpm -> png 2007-08-30 20:09:12 +00:00
sum.png xpm -> png 2007-08-30 20:09:12 +00:00
super.png xpm -> png 2007-08-30 20:09:12 +00:00
supset2.png xpm -> png 2007-08-30 20:09:12 +00:00
supset.png xpm -> png 2007-08-30 20:09:12 +00:00
supseteq.png xpm -> png 2007-08-30 20:09:12 +00:00
supseteqq.png xpm -> png 2007-08-30 20:09:12 +00:00
supsetneq.png xpm -> png 2007-08-30 20:09:12 +00:00
supsetneqq.png xpm -> png 2007-08-30 20:09:12 +00:00
surd.png xpm -> png 2007-08-30 20:09:12 +00:00
swarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
tau.png xpm -> png 2007-08-30 20:09:12 +00:00
textrm_AA.png xpm -> png 2007-08-30 20:09:12 +00:00
textrm_Oe.png xpm -> png 2007-08-30 20:09:12 +00:00
therefore.png xpm -> png 2007-08-30 20:09:12 +00:00
theta2.png xpm -> png 2007-08-30 20:09:12 +00:00
theta.png xpm -> png 2007-08-30 20:09:12 +00:00
thickapprox.png xpm -> png 2007-08-30 20:09:12 +00:00
thicksim.png xpm -> png 2007-08-30 20:09:12 +00:00
tilde.png Restore images corrupted by the xpm -> png conversion. 2007-09-04 13:32:10 +00:00
times.png xpm -> png 2007-08-30 20:09:12 +00:00
top.png xpm -> png 2007-08-30 20:09:12 +00:00
triangle.png xpm -> png 2007-08-30 20:09:12 +00:00
triangledown.png xpm -> png 2007-08-30 20:09:12 +00:00
triangleleft.png xpm -> png 2007-08-30 20:09:12 +00:00
trianglelefteq.png xpm -> png 2007-08-30 20:09:12 +00:00
triangleq.png xpm -> png 2007-08-30 20:09:12 +00:00
triangleright.png xpm -> png 2007-08-30 20:09:12 +00:00
trianglerighteq.png xpm -> png 2007-08-30 20:09:12 +00:00
twoheadleftarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
twoheadrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
ulcorner.png xpm -> png 2007-08-30 20:09:12 +00:00
underbrace.png xpm -> png 2007-08-30 20:09:12 +00:00
underleftarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
underleftrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
underline.png xpm -> png 2007-08-30 20:09:12 +00:00
underrightarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
underscore.png xpm -> png 2007-08-30 20:09:12 +00:00
underset.png xpm -> png 2007-08-30 20:09:12 +00:00
uparrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
uparrow.png xpm -> png 2007-08-30 20:09:12 +00:00
updownarrow2.png xpm -> png 2007-08-30 20:09:12 +00:00
updownarrow.png xpm -> png 2007-08-30 20:09:12 +00:00
upharpoonleft.png xpm -> png 2007-08-30 20:09:12 +00:00
upharpoonright.png xpm -> png 2007-08-30 20:09:12 +00:00
uplus.png xpm -> png 2007-08-30 20:09:12 +00:00
upsilon2.png xpm -> png 2007-08-30 20:09:12 +00:00
upsilon.png xpm -> png 2007-08-30 20:09:12 +00:00
upuparrows.png xpm -> png 2007-08-30 20:09:12 +00:00
urcorner.png xpm -> png 2007-08-30 20:09:12 +00:00
varepsilon.png xpm -> png 2007-08-30 20:09:12 +00:00
varkappa.png xpm -> png 2007-08-30 20:09:12 +00:00
varnothing.png xpm -> png 2007-08-30 20:09:12 +00:00
varphi.png xpm -> png 2007-08-30 20:09:12 +00:00
varpi.png xpm -> png 2007-08-30 20:09:12 +00:00
varpropto.png xpm -> png 2007-08-30 20:09:12 +00:00
varrho.png xpm -> png 2007-08-30 20:09:12 +00:00
varsigma.png xpm -> png 2007-08-30 20:09:12 +00:00
varsubsetneq.png xpm -> png 2007-08-30 20:09:12 +00:00
varsubsetneqq.png xpm -> png 2007-08-30 20:09:12 +00:00
varsupsetneq.png xpm -> png 2007-08-30 20:09:12 +00:00
varsupsetneqq.png xpm -> png 2007-08-30 20:09:12 +00:00
varsz.png xpm -> png 2007-08-30 20:09:12 +00:00
vartheta.png xpm -> png 2007-08-30 20:09:12 +00:00
vartriangle.png xpm -> png 2007-08-30 20:09:12 +00:00
vartriangleleft.png xpm -> png 2007-08-30 20:09:12 +00:00
vartriangleright.png xpm -> png 2007-08-30 20:09:12 +00:00
vdash2.png xpm -> png 2007-08-30 20:09:12 +00:00
vdash3.png xpm -> png 2007-08-30 20:09:12 +00:00
vdash.png xpm -> png 2007-08-30 20:09:12 +00:00
vdots.png xpm -> png 2007-08-30 20:09:12 +00:00
vec.png xpm -> png 2007-08-30 20:09:12 +00:00
vee.png xpm -> png 2007-08-30 20:09:12 +00:00
veebar.png xpm -> png 2007-08-30 20:09:12 +00:00
Vert.png xpm -> png 2007-08-30 20:09:12 +00:00
vphantom.png xpm -> png 2007-08-30 20:09:12 +00:00
Vvdash.png xpm -> png 2007-08-30 20:09:12 +00:00
wedge.png xpm -> png 2007-08-30 20:09:12 +00:00
widehat.png Restore images corrupted by the xpm -> png conversion. 2007-09-04 13:32:10 +00:00
widetilde.png Restore images corrupted by the xpm -> png conversion. 2007-09-04 13:32:10 +00:00
wp.png xpm -> png 2007-08-30 20:09:12 +00:00
wr.png xpm -> png 2007-08-30 20:09:12 +00:00
xi2.png xpm -> png 2007-08-30 20:09:12 +00:00
xi.png xpm -> png 2007-08-30 20:09:12 +00:00
zeta.png xpm -> png 2007-08-30 20:09:12 +00:00