in printing, = double dagger [via Latin from Greek diesis a quarter tone in music; the symbol was orig used in musical notation]