Enrico Forestieri 5a80f7bb6a Add support for the doublestroke package ... This commit adds the mathed command \mathds that selects a font more appropriate than \mathbb for typesetting the mathematical symbols for the natural (N), whole numbers (Z), rational numbers (Q), real numbers (R), complex numbers (C), and some others. As in the \mathbb case, only capital letters are supported, but in addition one can also typeset a symbol often used for representing the indicator function (\mathds{1}) and the letters a, h, k. Fixes bug #11887.		2020-06-11 16:42:31 +02:00
..
oxygen
AC.svgz
acute.svgz
adots.svgz
agemO.svgz
aleph.svgz
alpha.svgz	More fixes for #9897 (wrong inset-icon size in PDF)	2016-05-29 17:55:43 -04:00
amalg.svgz
ams_arrows.png
ams_misc.png
ams_nrel.png
ams_ops.png
ams_rel.png
angle.svgz
APLbox.svgz
APLcomment.svgz
APLdown.svgz
APLdownarrowbox.svgz
APLinput.svgz
APLinv.svgz
APLleftarrowbox.svgz
APLlog.svgz
APLrightarrowbox.svgz
APLstar.svgz
APLup.svgz
APLuparrowbox.svgz
apprge.svgz
apprle.svgz
approx.svgz
approxeq.svgz
aquarius.svgz
aries.svgz
arrownot2.svgz
arrownot.svgz
arrows.png
arrowvert2.svgz
arrowvert.svgz
ascnode.svgz
ast.svgz
astrosun.svgz
asymp.svgz
ataribox.svgz
backepsilon.svgz
backprime.svgz
backsim.svgz
backsimeq.svgz
backslash.svgz
bar.svgz
baro.svgz
bars.svgz
barwedge.svgz
Bbbk.svgz
bbslash.svgz
bcancel.svgz
because.svgz
bell.svgz
beta.svgz
beth.svgz
between.svgz
bigbox.svgz
bigcap.svgz
bigcirc.svgz
bigcup.svgz
bigcurlyvee.svgz
bigcurlywedge.svgz
biginterleave.svgz
bignplus.svgz
bigodot.svgz
bigoplus.svgz
bigotimes.svgz
bigparallel.svgz
bigsqcap.svgz
bigsqcup.svgz
bigstar.svgz
bigtriangledown.svgz
bigtriangleup.svgz
biguplus.svgz
bigvee.svgz
bigwedge.svgz
binampersand.svgz
bindnasrepma.svgz	Fix bindnasrepma.svgz	2016-02-26 16:11:00 +00:00
blacklozenge.svgz
blacksmiley.svgz
blacksquare.svgz
blacktriangle.svgz
blacktriangledown.svgz
blacktriangleleft.svgz
blacktriangleright.svgz
boldsymbol.svgz
bop.png
bot.svgz
bowtie2.svgz
bowtie.svgz
box2.svgz
boxast.svgz
boxbar.svgz
boxbox.svgz
boxbslash.svgz
boxcircle.svgz
boxdot.svgz
boxempty.svgz
boxminus.svgz
boxplus.svgz
boxslash.svgz
boxtimes.svgz
brel.png
breve.svgz
brokenvert.svgz
bullet.svgz
bumpeq2.svgz
bumpeq.svgz
cancel.svgz
cancelto.svgz
cancer.svgz
cap2.svgz
cap.svgz
capricornus.svgz
cases.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
cdot.svgz
cdotp.svgz
cdots.svgz
cent.svgz
centerdot.svgz
check.svgz
checked.svgz
checkedbox2.svgz
checkmark.svgz
chi.svgz
circ.svgz
circeq.svgz
circle2.svgz
circle3.svgz
circlearrowleft.svgz
circlearrowright.svgz
circledast.svgz
circledcirc.svgz
circleddash.svgz
circledR.svgz
circledS.svgz
clock.svgz
clubsuit.svgz
colon.svgz
colonapprox2.svgz
colonapprox.svgz
coloneq2.svgz
coloneq.svgz
coloneqq2.svgz
coloneqq.svgz
colonsim2.svgz
colonsim.svgz
complement.svgz
cong.svgz
conjunction.svgz
coprod.svgz
cup2.svgz
cup.svgz
curlyeqprec.svgz
curlyeqsucc.svgz
curlyvee.svgz
curlyveedownarrow.svgz
curlyveeuparrow.svgz
curlywedge.svgz
curlywedgedownarrow.svgz
curlywedgeuparrow.svgz
currency.svgz
curvearrowleft.svgz
curvearrowright.svgz
dagger.svgz
daleth.svgz
dasharrow.svgz
dashleftarrow.svgz
dashrightarrow.svgz
dashv.svgz
davidsstar.svgz
dblcolon.svgz
ddagger.svgz
ddddot.svgz
dddot.svgz
ddot.svgz
ddots.svgz
deco.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
delim0.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
delim1.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
delim.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
delta2.svgz
delta.svgz
descnode.svgz
diagdown.svgz
diagup.svgz
diameter.svgz
diamond2.svgz
diamond.svgz
diamondsuit.svgz
digamma.svgz	More fixes for #9897 (wrong inset-icon size in PDF)	2016-05-29 17:55:43 -04:00
div.svgz
divideontimes.svgz
dot.svgz
doteq2.svgz
doteq.svgz
doteqdot.svgz
dotplus.svgz
dots.svgz
dotsb.svgz
dotsc.svgz
dotsi.svgz
dotsint.svgz
dotsintop.svgz
dotsm.svgz
dotso.svgz
doublebarwedge.svgz
doublecap.svgz
doublecup.svgz
downarrow2.svgz
downarrow3.svgz
downarrow.svgz
downdownarrows.svgz
downharpoonleft.svgz
downharpoonright.svgz
earth.svgz
eighthnote.svgz
ell.svgz
empty.svgz
emptyset.svgz
epsilon.svgz
eqcirc.svgz
eqcolon2.svgz
eqcolon.svgz
eqqcolon2.svgz
eqqcolon.svgz
eqsim.svgz
eqslantgtr.svgz
eqslantless.svgz
equation.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
equiv.svgz
eta.svgz
eth.svgz
exists.svgz
export-others.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
fallingdotseq.svgz
fatbslash.svgz
fatsemi.svgz
fatslash.svgz
female.svgz
fint.svgz
fintop.svgz
Finv.svgz
flat.svgz
font.svgz
forall.svgz
frac-square.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
frac.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
frown.svgz
frownie.svgz
fullmoon.svgz
fullnote.svgz
functions.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
Game.svgz
gamma2.svgz
gamma.svgz
ge.svgz
gemini.svgz
geq.svgz
geqq.svgz
geqslant.svgz
gets.svgz
gg.svgz
ggg.svgz
gggtr.svgz
gimel.svgz
gluon.svgz
gnapprox.svgz
gneq.svgz
gneqq.svgz
gnsim.svgz
grave.svgz
greek.png
gtrapprox.svgz
gtrdot.svgz
gtreqless.svgz
gtreqqless.svgz
gtrless.svgz
gtrsim.svgz
gvertneqq.svgz
halfnote.svgz
hat.svgz
hbar.svgz
heartsuit.svgz
hexagon.svgz
hexstar.svgz
HF.svgz
hookleftarrow.svgz
hookrightarrow.svgz
hphantom.svgz
hslash.svgz
iddots.svgz
idotsint.svgz
iff.svgz
iiiint.svgz
iiiintop.svgz
iiint.svgz
iiintop.svgz
iint.svgz
iintop.svgz
Im.svgz
imath.svgz
impliedby.svgz
implies.svgz
in.svgz
infty.svgz
inplus.svgz
int.svgz
intercal.svgz
interleave.svgz
intop.svgz	More fixes for #9897 (wrong inset-icon size in PDF)	2016-05-29 17:55:43 -04:00
invdiameter.svgz
inve.svgz
invneg.svgz
iota.svgz
jmath.svgz
join2.svgz
jupiter.svgz
kappa.svgz
kreuz.svgz
lambda2.svgz
lambda.svgz
land.svgz
landdownint.svgz
landdownintop.svgz
landupint.svgz
landupintop.svgz
langle.svgz
lbag2.svgz
lbag.svgz
lbrace_rbrace.svgz
lbrace.svgz
lbracket_rbracket.svgz
lbracket.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
lceil_rceil.svgz
lceil.svgz
ldotp.svgz
ldots.svgz
le.svgz
leadsto.svgz
leftarrow2.svgz
leftarrow3.svgz
leftarrow.svgz
leftarrowtail.svgz
leftarrowtriangle.svgz
leftcircle2.svgz
leftcircle3.svgz
leftcircle4.svgz
leftharpoondown.svgz
leftharpoonup.svgz
leftleftarrows.svgz
leftmoon.svgz
leftrightarrow2.svgz
leftrightarrow.svgz
leftrightarroweq.svgz
leftrightarrows.svgz
leftrightarrowtriangle.svgz
leftrightharpoons.svgz
leftrightsquigarrow.svgz
leftslice.svgz
leftthreetimes.svgz
leftturn.svgz
leo.svgz
leq.svgz	More fixes for #9897 (wrong inset-icon size in PDF)	2016-05-29 17:55:43 -04:00
leqq.svgz	More fixes for #9897 (wrong inset-icon size in PDF)	2016-05-29 17:55:43 -04:00
leqslant.svgz
lessapprox.svgz
lessdot.svgz
lesseqgtr.svgz
lesseqqgtr.svgz
lessgtr.svgz
lesssim.svgz
lfloor_rfloor.svgz
lfloor.svgz
lhd2.svgz
lhd.svgz
lhook.svgz
libra.svgz
lightning.svgz
ll.svgz
llbracket.svgz
llceil.svgz
llcorner.svgz
Lleftarrow.svgz
llfloor.svgz
lll.svgz
llless.svgz
llparenthesis.svgz
lnapprox.svgz
lneq.svgz
lneqq.svgz
lnot.svgz
lnsim.svgz
logof.svgz
longarrownot2.svgz
longarrownot.svgz
longleftarrow2.svgz
longleftarrow.svgz
longleftrightarrow2.svgz
longleftrightarrow.svgz
longmapsfrom2.svgz
longmapsfrom.svgz
longmapsto2.svgz
longmapsto.svgz
longrightarrow2.svgz
longrightarrow.svgz
looparrowleft.svgz
looparrowright.svgz
lor.svgz
lozenge.svgz
lparen_rparen.svgz
lparen.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
lrcorner.svgz
Lsh.svgz
ltimes.svgz
lvertneqq.svgz
male.svgz
maltese.svgz
mapsfrom2.svgz
mapsfrom.svgz
mapsfromchar2.svgz
mapsfromchar.svgz
mapsto2.svgz
mapsto.svgz
mapstochar2.svgz
mapstochar.svgz
mars.svgz
mathbb_C.svgz
mathbb_H.svgz
mathbb_N.svgz
mathbb_Q.svgz
mathbb_R.svgz
mathbb_Z.svgz
mathbb.svgz
mathbf.svgz
mathbin.svgz	Add \math{rel,bin,op,ord} to the math toolbar	2017-01-31 22:54:59 +01:00
mathcal_F.svgz
mathcal_H.svgz
mathcal_L.svgz
mathcal_O.svgz
mathcal.svgz
mathcircumflex.svgz
mathclap.svgz
mathdollar.svgz
mathds.svgz	Add support for the doublestroke package	2020-06-11 16:42:31 +02:00
mathfrak.svgz
mathit.svgz
mathllap.svgz
mathop.svgz	Add \math{rel,bin,op,ord} to the math toolbar	2017-01-31 22:54:59 +01:00
mathord.svgz	Add \math{rel,bin,op,ord} to the math toolbar	2017-01-31 22:54:59 +01:00
mathparagraph.svgz
mathrel.svgz	Add \math{rel,bin,op,ord} to the math toolbar	2017-01-31 22:54:59 +01:00
mathring.svgz
mathrlap.svgz
mathrm_T.svgz
mathrm.svgz
mathscr.svgz
mathsection.svgz
mathsf.svgz
mathtt.svgz
matrix.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
measuredangle.svgz
mercury.svgz
merge.svgz
mho.svgz
mid.svgz
minuso.svgz
misc.png
models.svgz
moo.svgz
mp.svgz
mu.svgz
multimap.svgz
nabla.svgz	More fixes for #9897 (wrong inset-icon size in PDF)	2016-05-29 17:55:43 -04:00
natural.svgz
ncong.svgz
ne.svgz
nearrow.svgz
neg.svgz
neptune.svgz
neq.svgz
newmoon.svgz
nexists.svgz
ngeq.svgz
ngeqq.svgz
ngeqslant.svgz
ngtr.svgz
ni.svgz
niplus.svgz
nleftarrow2.svgz
nleftarrow.svgz
nleftrightarrow2.svgz
nleftrightarrow.svgz
nleq.svgz
nleqq.svgz
nleqslant.svgz
nless.svgz
nmid.svgz
nnearrow.svgz
nnwarrow.svgz
not.svgz
notin.svgz
nparallel.svgz
nplus.svgz
nprec.svgz
npreceq.svgz
nrightarrow2.svgz
nrightarrow.svgz
nshortmid.svgz
nshortparallel.svgz
nsim.svgz
nsubseteq.svgz
nsubseteqq.svgz
nsucc.svgz
nsucceq.svgz
nsupseteq.svgz
nsupseteqq.svgz
ntriangleleft.svgz
ntrianglelefteq.svgz
ntrianglelefteqslant.svgz
ntriangleright.svgz
ntrianglerighteq.svgz
ntrianglerighteqslant.svgz
nu.svgz
nvdash2.svgz
nvdash3.svgz
nvdash4.svgz
nvdash.svgz
nwarrow.svgz
obar.svgz
oblong.svgz
obslash.svgz
ocircle.svgz
octagon.svgz
odot.svgz
ogreaterthan.svgz
oiint.svgz
oiintop.svgz
oint.svgz
ointclockwise.svgz
ointclockwiseop.svgz
ointctrclockwise.svgz
ointctrclockwiseop.svgz
ointop.svgz
olessthan.svgz
omega2.svgz
omega.svgz
ominus.svgz
openo.svgz
oplus.svgz
opposition.svgz
oslash.svgz
otimes.svgz
ovee.svgz
overbrace.svgz
overleftarrow.svgz
overleftrightarrow.svgz
overline.svgz
overrightarrow.svgz
overset.svgz
owedge.svgz
owns.svgz
parallel.svgz
partial.svgz
pentagon.svgz
permil.svgz
perp.svgz
phantom.svgz
phi2.svgz
phi.svgz
phone.svgz
photon.svgz
pi2.svgz
pi.svgz
pisces.svgz
pitchfork.svgz
pluto.svgz
pm.svgz	More fixes for #9897 (wrong inset-icon size in PDF)	2016-05-29 17:55:43 -04:00
pointer.svgz
prec.svgz
precapprox.svgz
preccurlyeq.svgz
preceq.svgz
precnapprox.svgz
precneqq.svgz
precnsim.svgz
precsim.svgz
prime.svgz
prod.svgz
propto.svgz
psi2.svgz
psi.svgz
quarternote.svgz
rangle.svgz
rbag2.svgz
rbag.svgz
rbrace.svgz
rbracket.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
rceil.svgz
Re.svgz
recorder.svgz
restriction.svgz
rfloor.svgz
rhd2.svgz
rhd.svgz
rho.svgz
rhook.svgz
rightarrow2.svgz
rightarrow3.svgz
rightarrow.svgz
rightarrowtail.svgz
rightarrowtriangle.svgz
rightcircle2.svgz
rightcircle3.svgz
rightcircle4.svgz
rightharpoondown.svgz
rightharpoonup.svgz
rightleftarrows.svgz
rightleftharpoons.svgz
rightmoon.svgz
rightrightarrows.svgz
rightslice.svgz
rightsquigarrow.svgz
rightthreetimes.svgz
rightturn.svgz
risingdotseq.svgz
root.svgz
rparen.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
rrbracket.svgz
rrceil.svgz
rrfloor.svgz
Rrightarrow.svgz
rrparenthesis.svgz
Rsh.svgz
rtimes.svgz
sagittarius.svgz
saturn.svgz
scorpio.svgz
searrow.svgz
setminus.svgz
sharp.svgz
shortdownarrow.svgz
shortleftarrow.svgz
shortmid.svgz
shortparallel.svgz
shortrightarrow.svgz
shortuparrow.svgz
sideset.svgz
sidesetl.svgz
sidesetn.svgz
sidesetr.svgz
sigma2.svgz
sigma.svgz
sim.svgz
simeq.svgz
slash.svgz
smallfrown.svgz
smallint.svgz
smallsetminus.svgz
smallsmile.svgz
smash.svgz
smashb.svgz
smasht.svgz
smile.svgz
smiley.svgz
space.svgz
spadesuit.svgz
sphericalangle.svgz
sqcap.svgz
sqcup.svgz
sqiint.svgz
sqiintop.svgz
sqint.svgz
sqintop.svgz
sqrt-square.svgz
sqrt.svgz
sqsubset.svgz
sqsubseteq.svgz
sqsupset.svgz
sqsupseteq.svgz
square2.svgz
square.svgz
ssearrow.svgz
sslash.svgz
sswarrow.svgz
stackrel.svgz
stackrelthree.svgz
star.svgz
style.svgz
sub.svgz	Cleanup some icons	2017-09-26 21:01:47 +02:00
subset2.svgz
subset.svgz
subseteq.svgz
subseteqq.svgz
subsetneq.svgz
subsetneqq.svgz
subsetplus.svgz
subsetpluseq.svgz
succ.svgz
succapprox.svgz
succcurlyeq.svgz
succeq.svgz
succnapprox.svgz
succneqq.svgz
succnsim.svgz
succsim.svgz
sum.svgz
sun.svgz
super.svgz
supset2.svgz
supset.svgz
supseteq.svgz
supseteqq.svgz
supsetneq.svgz
supsetneqq.svgz
supsetplus.svgz
supsetpluseq.svgz
surd.svgz
swarrow.svgz
talloblong.svgz
tau.svgz
taurus.svgz
textdegree.svgz
textrm_AA.svgz
textrm_O.svgz
textrm.svgz
therefore.svgz
theta2.svgz
theta.svgz
thickapprox.svgz
thicksim.svgz
thorn2.svgz
thorn.svgz
tilde.svgz
times.svgz
to.svgz
top.svgz
triangle.svgz
triangledown.svgz
triangleleft.svgz
trianglelefteq.svgz
trianglelefteqslant.svgz
triangleq.svgz
triangleright.svgz
trianglerighteq.svgz
trianglerighteqslant.svgz
twoheadleftarrow.svgz
twoheadrightarrow.svgz
twonotes.svgz
ulcorner.svgz
underbar.svgz
underbrace.svgz
underleftarrow.svgz
underleftrightarrow.svgz
underline.svgz
underrightarrow.svgz
underscore.svgz
underset.svgz
undertilde.svgz
unlhd.svgz
unrhd.svgz
uparrow2.svgz
uparrow3.svgz
uparrow.svgz
updownarrow2.svgz
updownarrow.svgz
upharpoonleft.svgz
upharpoonright.svgz
uplus.svgz
upsilon2.svgz
upsilon.svgz
upuparrows.svgz
uranus.svgz
urcorner.svgz
utilde.svgz
varangle.svgz
varbigcirc.svgz
varcopyright.svgz
varcurlyvee.svgz
varcurlywedge.svgz
vardelta2.svgz
varepsilon.svgz
vargamma2.svgz
varhexagon.svgz
varhexstar.svgz
variiint.svgz
variiintop.svgz
variint.svgz
variintop.svgz
varint.svgz
varintop.svgz
varkappa.svgz
varlambda2.svgz
varnothing.svgz
varoast.svgz
varobar.svgz
varobslash.svgz
varocircle.svgz
varodot.svgz
varogreaterthan.svgz
varoiint.svgz
varoiintop.svgz
varoint.svgz
varointclockwise.svgz
varointclockwiseop.svgz
varointctrclockwise.svgz
varointctrclockwiseop.svgz
varointop.svgz
varolessthan.svgz
varomega2.svgz
varominus.svgz
varoplus.svgz
varoslash.svgz
varotimes.svgz
varovee.svgz
varowedge.svgz
varphi2.svgz
varphi.svgz
varpi2.svgz
varpi.svgz
varpropto.svgz
varpsi2.svgz
varrho.svgz
varsigma2.svgz
varsigma.svgz
varsubsetneq.svgz
varsubsetneqq.svgz
varsupsetneq.svgz
varsupsetneqq.svgz
varsz.png
vartheta2.svgz
vartheta.svgz
vartimes.svgz
vartriangle.svgz
vartriangleleft.svgz
vartriangleright.svgz
varupsilon2.svgz
varxi2.svgz
vcentcolon.svgz
vdash2.svgz
vdash3.svgz
vdash.svgz
vdots.svgz
vec.svgz
vee.svgz
veebar.svgz
venus.svgz
vernal.svgz
vert2.svgz
vert.svgz
VHF.svgz
virgo.svgz
vphantom.svgz
Vvdash.svgz
wasylozenge.svgz
wasypropto.svgz
wasytherefore.svgz
wedge.svgz
widehat.svgz
widetilde.svgz
wp.svgz
wr.svgz
xbox3.svgz
xcancel.svgz
xi2.svgz
xi.svgz
xleftarrow.svgz
xrightarrow.svgz
Ydown.svgz
yen.svgz
Yleft.svgz
Yright.svgz
Yup.svgz
zeta.svgz