http://www.w3.org/ns/prov#value | - the shuffle font is defined in the package only from size 5pt; for whatever reason, svmono seems to want a smaller size. but why it should hang up without even trying to set the symbol is a mystery to me. there is also questionable code in shuffle.sty -- the symbols are given hex locations of 001 and 002, whereas i would expect 01 and 02 -- but i do not think that would cause this sort of proble
|