This tag should be used for symbols introduced by the dsfont LaTeX package.