Thanks, I am not a specialist also of these symbols, but I did it once for my libraries, until I decided that this is too much of a burden. Nevertheless I am not the maintainer of this package so I can not decide to get rid of them :). Cheers Fred